std::partition_copy

在头文件 `<algorithm>` 中定义
template< class InputIt, class OutputIt1, class OutputIt2, class UnaryPred > std::pair<OutputIt1, OutputIt2> partition_copy( InputIt first, InputIt last, OutputIt1 d_first_true, OutputIt2 d_first_false, UnaryPred p );	(1)	(自 C++11 起) (自 C++20 起为 constexpr)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class ForwardIt3, class UnaryPred > std::pair<ForwardIt2, ForwardIt3> partition_copy( ExecutionPolicy&& policy, ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first_true, ForwardIt3 d_first_false, UnaryPred p );	(2)	(自 C++17 起)

1) 将范围 [first, last) 中的元素复制到两个不同的范围，具体取决于谓词 p 返回的值。

满足谓词 p 的元素将复制到以 d_first_true 开头的范围。
其余元素将复制到以 d_first_false 开头的范围。

2) 与 (1) 相同，但根据 policy 执行。

此重载仅当

std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> 为 true 时参与重载解析。	(直到 C++20)
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> 为 true 时。	(自 C++20 起)

如果 *first 不能写入 d_first_true 或 d_first_false，则程序格式错误。

在输入范围和两个输出范围中，如果任何两个范围重叠，则行为未定义。

[编辑] 参数

first, last	-	要从中复制元素的范围
d_first_true	-	满足 p 的元素的输出范围的开头
d_first_false	-	不满足 p 的元素的输出范围的开头
policy	-	要使用的执行策略。有关详细信息，请参阅执行策略。
p	-	如果元素应放置在 d_first_true 中，则返回 true 的一元谓词。表达式 p(v) 必须可转换为 bool，对于类型为 (可能为 const) `VT` 的每个参数 `v`，其中 `VT` 是 `InputIt` 的值类型，与值类别无关，并且不得修改 `v`。因此，不允许使用 VT& 作为参数类型，除非 `VT` 的移动等效于复制(自 C++11 起)。
类型要求
- `InputIt` 必须满足 LegacyInputIterator 的要求。
- `OutputIt1, OutputIt2` 必须满足 LegacyOutputIterator 的要求。
- `ForwardIt1, ForwardIt2, ForwardIt3` 必须满足 LegacyForwardIterator 的要求。
- `UnaryPred` 必须满足 Predicate 的要求。

[编辑] 返回值

由指向 d_first_true 范围末尾的迭代器和指向 d_first_false 范围末尾的迭代器构成的 std::pair。

[编辑] 复杂度

正好 std::distance(first, last) 次应用 p。

对于重载 (2)，如果 ForwardIt 的值类型不是 CopyConstructible，可能会存在性能损耗。

[编辑] 异常

带有名为 ExecutionPolicy 的模板参数的重载报告错误如下

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

[编辑] 可能的实现

partition_copy (1)

template<class InputIt, class OutputIt1,
         class OutputIt2, class UnaryPred>
constexpr //< since C++20
std::pair<OutputIt1, OutputIt2>
    partition_copy(InputIt first, InputIt last,
                   OutputIt1 d_first_true, OutputIt2 d_first_false,
                   UnaryPred p)
{
    for (; first != last; ++first)
    {
        if (p(*first))
        {
            *d_first_true = *first;
            ++d_first_true;
        }
        else
        {
            *d_first_false = *first;
            ++d_first_false;
        }
    }
 
    return std::pair<OutputIt1, OutputIt2>(d_first_true, d_first_false);
}

[编辑] 示例

运行此代码

#include <algorithm>
#include <iostream>
#include <utility>
 
void print(auto rem, const auto& v)
{
    for (std::cout << rem; const auto& x : v)
        std::cout << x << ' ';
    std::cout << '\n';
}
 
int main()
{
    int arr[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
    int true_arr[5] = {0};
    int false_arr[5] = {0};
 
    std::partition_copy(std::begin(arr), std::end(arr),
                        std::begin(true_arr), std::begin(false_arr),
                        [](int i) { return 4 < i; });
 
    print("true_arr:  ", true_arr);
    print("false_arr: ", false_arr);
}

输出

true_arr:  5 6 7 8 9
false_arr: 0 1 2 3 4

[编辑] 缺陷报告

以下更改行为的缺陷报告已追溯应用于之前发布的 C++ 标准。

DR	应用于	已发布的行为	正确行为
P0896R4	C++11 C++17	1. `InputIt` (C++11)/`ForwardIt1` (C++17) 的值类型需要是 CopyAssignable 2. 两个输出范围可以重叠	1. 不需要 2. 行为是在这种情况下是未定义的

[编辑] 另请参见

partition	将元素范围划分为两个组 (函数模板) [编辑]
stable_partition	将元素划分为两个组，同时保留其相对顺序 (函数模板) [编辑]
copycopy_if (C++11)	将元素范围复制到新位置 (函数模板) [编辑]
remove_copyremove_copy_if	复制元素范围，省略满足特定条件的元素 (函数模板) [编辑]
ranges::partition_copy (C++20)	复制范围，将元素划分为两个组 (niebloid)[编辑]

编译器支持
独立和托管
语言
标准库
标准库头文件
命名需求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用实用程序库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
执行支持库 (C++26)
技术规范
符号索引
外部库

cppreference.com

命名空间

变体

视图

操作