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.com

名稱空間

變體

檢視

操作