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。对于类型为（可能为 const）`VT` 的每个参数 `v`，表达式 p(v) 必须可转换为 bool，其中 `VT` 是 `InputIt` 的值类型，无论值类别如何，并且不得修改 `v`。因此，不允许参数类型为 VT&，除非对于 `VT` 移动等同于复制，否则也不允许 VT(C++11 起)。
类型要求
- `InputIt` 必须满足 LegacyInputIterator 的要求。
- `OutputIt1, OutputIt2` 必须满足 LegacyOutputIterator 的要求。
- `ForwardIt1, ForwardIt2, ForwardIt3` 必须满足 LegacyForwardIterator 的要求。
- `UnaryPred` 必须满足 Predicate 的要求。

[编辑] 返回值

一个 std::pair，由指向 d_first_true 范围末尾的迭代器和指向 d_first_false 范围末尾的迭代器构造。

[编辑] 复杂度

精确地应用 p std::distance(first, last) 次。

对于重载 (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++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
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)	复制一个范围，并将元素分成两组 (算法函数对象)[编辑]

编译器支持
自由（freestanding）与宿主（hosted）
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

cppreference.cn

命名空间

变体

视图

操作