定义于头文件 

算法库提供大量用途的函数（例如查找、排序、计数、操作），它们在元素范围上操作。注意范围定义为 [first, last) ，其中 last 指代要查询或修改的最后元素的后一个元素。

复制一个范围，将各元素分为两组

std::partition_copy

1) 从范围 [first, last) 复制元素到二个不同范围，取决于谓词 p 的返回值。复制满足谓词 p 的元素到始于 d_first_true 的范围。复制剩余元素到始于 d_first_false 的范围。

若输入范围与任一输出范围重叠，则行为未定义。

2) 同 (1) ，但按照 policy 执行。此重载仅若 std::is_execution_policy_v> 为 true 才参与重载决议。

参数

返回值

从指向 d_first_true 范围结尾的迭代器和指向 d_first_false 范围结尾的迭代器构造的 std::pair 。

复杂度

准确应用 distance(first, last) 次 p 。

对于带 ExecutionPolicy 的重载，若 ForwardIt 的值类型非可复制构造 (CopyConstructible) ，则可能有性能开销。

异常

拥有名为 ExecutionPolicy 的模板形参的重载按下列方式报告错误：

• 若作为算法一部分调用的函数的执行抛出异常，且 ExecutionPolicy 为标准策略之一，则调用 std::terminate 。对于任何其他 ExecutionPolicy ，行为是实现定义的。
• 若算法无法分配内存，则抛出 std::bad_alloc 。

可能的实现

template
std::pairpartition_copy(InputIt first, InputIt last,OutputIt1 d_first_true, OutputIt2 d_first_false,UnaryPredicate p)
{while (first != last) {if (p(*first)) {*d_first_true = *first;++d_first_true;} else {*d_first_false = *first;++d_first_false;}++first;}return std::pair(d_first_true, d_first_false);
}

调用示例

#include 
#include 
#include 
#include 
#include 
#include using namespace std;struct Cell
{int x;int y;Cell &operator +=(const Cell &cell){x += cell.x;y += cell.y;return *this;}bool operator <(const Cell &cell) const{if (x == cell.x){return y < cell.y;}else{return x < cell.x;}}
};std::ostream &operator<<(std::ostream &os, const Cell &cell)
{os << "{" << cell.x << "," << cell.y << "}";return os;
}int main()
{std::cout.setf(std::ios_base::boolalpha);auto func1 = [](Cell & cell, const Cell & t){cell += t;return cell;};Cell cell{99, 100};Cell t{2, 3};auto func2 = std::bind(func1, cell, t);vector vCells(8);std::generate(vCells.begin(), vCells.end(), func2);std::cout << "vCells :              ";std::copy(vCells.begin(), vCells.end(), std::ostream_iterator(std::cout, " "));std::cout << std::endl;auto is_even = [](const Cell & cell){return cell.x % 2 == 1 && cell.y % 2 == 1;};std::cout << "is_partitioned:       " << std::is_partitioned(vCells.begin(), vCells.end(), is_even);std::cout << std::endl << std::endl;std::list lCells(vCells.size());auto vIt = std::partition_copy(vCells.begin(), vCells.end(), lCells.begin(), lCells.end(), is_even);std::cout << "lCells :              ";std::copy(lCells.begin(), lCells.end(), std::ostream_iterator(std::cout, " "));std::cout << std::endl;std::cout << "is_partitioned:       " << std::is_partitioned(vIt.first, vIt.second, is_even);std::cout << std::endl << std::endl;std::reverse(vCells.begin(), vCells.end());std::cout << "vCells :              ";std::copy(vCells.begin(), vCells.end(), std::ostream_iterator(std::cout, " "));std::cout << std::endl;std::cout << "is_partitioned:       " << std::is_partitioned(vCells.begin(), vCells.end(), is_even);std::cout << std::endl << std::endl;vIt = std::partition_copy(vCells.begin(), vCells.end(), lCells.begin(), lCells.end(), is_even);std::cout << "lCells :              ";std::copy(lCells.begin(), lCells.end(), std::ostream_iterator(std::cout, " "));std::cout << std::endl;std::cout << "is_partitioned:       " << std::is_partitioned(vIt.first, vIt.second, is_even);std::cout << std::endl << std::endl;return 0;
}

输出