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) 述語 p が返す値に応じて、範囲 [first, last) から要素を2つの異なる範囲にコピーします。

述語 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 に書き込み可能でない場合、プログラムは不正です。

入力範囲と2つの出力範囲の間で、いずれかの2つの範囲が重複する場合、動作は未定義です。

first, last	-	コピー元の要素のソース範囲を定義するイテレータのペア
d_first_true	-	p を満たす要素の出力範囲の開始
d_first_false	-	p を満たさない要素の出力範囲の開始
policy	-	使用する実行ポリシー
p	-	要素が d_first_true に配置されるべき場合、true を返す単項述語。式 p(v) は、型が (const の可能性もある) `VT` であるすべての引数 `v` に対して bool に変換可能でなければなりません。ここで `VT` は `InputIt` の値型であり、値カテゴリに関わらず、`v` を変更してはなりません。したがって、パラメータ型として VT& は許可されません。また、`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. 2つの出力範囲は重複する可能性がある	1. 必要ない 2. この場合の動作は未定義

[編集] 関連項目

partition	要素の範囲を2つのグループに分割する (関数テンプレート) [編集]
stable_partition	相対的な順序を維持しながら要素を2つのグループに分割する (関数テンプレート) [編集]
copycopy_if (C++11)	要素の範囲を新しい場所にコピーする (関数テンプレート) [編集]
remove_copyremove_copy_if	特定の基準を満たす要素を除外して範囲をコピーする (関数テンプレート) [編集]
ranges::partition_copy (C++20)	要素を2つのグループに分割しながら範囲をコピーする (アルゴリズム関数オブジェクト)[編集]

コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダー
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
Rangesライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
Technical specifications (技術仕様)
シンボルインデックス
外部ライブラリ

cppreference.com

名前空間

変種

表示

操作