std::partition_copy

ヘッダ `<algorithm>` で定義
	(1)
template< class InputIt, class OutputIt1, class OutputIt2, class UnaryPredicate > std::pair<OutputIt1, OutputIt2> partition_copy( InputIt first, InputIt last, OutputIt1 d_first_true, OutputIt2 d_first_false, UnaryPredicate p );			(C++11以上) (C++20未満)
template< class InputIt, class OutputIt1, class OutputIt2, class UnaryPredicate > constexpr std::pair<OutputIt1, OutputIt2> partition_copy( InputIt first, InputIt last, OutputIt1 d_first_true, OutputIt2 d_first_false, UnaryPredicate p );			(C++20以上)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class ForwardIt3, class UnaryPredicate > std::pair<ForwardIt2, ForwardIt3> partition_copy( ExecutionPolicy&& policy, ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first_true, ForwardIt3 d_first_false, UnaryPredicate p );		(2)	(C++17以上)

1) 範囲 [first, last) の要素を、述語 p の返す値によって、2つの異なる範囲にコピーします。述語 p を満たす要素は d_first_true から始まる範囲にコピーされます。残りの要素は d_first_false から始まる範囲にコピーされます。

入力範囲がいずれかの出力範囲とオーバーラップしている場合、動作は未定義です。

2) (1) と同じですが、 policy に従って実行されます。このオーバーロードは、 std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> が true である場合にのみ、オーバーロード解決に参加します。

first, last	-	コピーする要素の範囲
d_first_true	-	p を満たす要素の出力範囲の先頭
d_first_false	-	p を満たさない要素の出力範囲の先頭
policy	-	使用する実行ポリシー。詳細は実行ポリシーを参照してください
p	-	要素が d_first_true に置かれるべき場合に true を返す単項述語。式 p(v) は `VT` 型 (およびその const 修飾された型) のすべての引数 `v` について、その値カテゴリにかかわらず、 bool に変換可能でなければなりません。ただし `VT` は `InputIt` の値型です。また、 `v` を変更してはなりません。そのため、引数の型 VT& は許されません。また、 VT に対してムーブがコピーと同等でなければ VT も許されません。 (C++11以上)
型の要件
- `InputIt` は LegacyInputIterator の要件を満たさなければなりません。
- `InputIt` を逆参照した型は CopyAssignable の要件を満たさなければなりません。
- `OutputIt1, OutputIt2` は LegacyOutputIterator の要件を満たさなければなりません。
- `ForwardIt1, ForwardIt2, ForwardIt3` は LegacyForwardIterator の要件を満たさなければなりません。 ForwardIt1 の値型は CopyAssignable を満たさなければならず、 ForwardIt2 および ForwardIt3 に書き込み可能でなければならず、 UnaryPredicate の引数型に変換可能でなければなりません。
- `UnaryPredicate` は Predicate の要件を満たさなければなりません。

[編集] 戻り値

d_first_true の範囲の終端を指すイテレータと d_first_false の範囲の終端を指すイテレータから構築された std::pair。

[編集] 計算量

ちょうど distance(first, last) 回の p の適用。

ExecutionPolicy を取るオーバーロードの場合、 ForwardIt の値型が CopyConstructible でなければ性能上のコストが生じることがあります。

[編集] 例外

テンプレート引数 ExecutionPolicy を持つオーバーロードは以下のようにエラーを報告します。

アルゴリズムの一部として呼び出された関数の実行が例外を投げ、 ExecutionPolicy が標準のポリシーのいずれかの場合は、 std::terminate が呼ばれます。それ以外のあらゆる ExecutionPolicy については、動作は処理系定義です。
アルゴリズムがメモリの確保に失敗した場合は、 std::bad_alloc が投げられます。

[編集] 実装例

template<class InputIt, class OutputIt1,
         class OutputIt2, class UnaryPredicate>
std::pair<OutputIt1, OutputIt2>
    partition_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<OutputIt1, OutputIt2>(d_first_true, d_first_false);
}

[編集] 例

Run this code

#include <iostream>
#include <algorithm>
#include <utility>
 
int main()
{
    int arr [10] = {1,2,3,4,5,6,7,8,9,10};
    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 i > 5;});
 
    std::cout << "true_arr: ";
    for (int x : true_arr) {
        std::cout << x << ' ';
    }
    std::cout << '\n'; 
 
    std::cout << "false_arr: ";
    for (int x : false_arr) {
        std::cout << x << ' ';
    }
    std::cout << '\n'; 
 
    return 0;
 
}

出力:

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

[編集] 関連項目

partition	指定範囲の要素を2つのグループに分割します (関数テンプレート) [edit]
stable_partition	相対的な順序を維持しながら要素を2つのグループに分割します (関数テンプレート) [edit]
copycopy_if (C++11)	指定範囲の要素を新しい位置にコピーします (関数テンプレート) [edit]
remove_copyremove_copy_if	指定範囲の要素から一定の基準を満たすものを除いてコピーします (関数テンプレート) [edit]

言語
標準ライブラリヘッダ
フリースタンディング処理系とホスト処理系
名前付き要件
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
ユーティリティライブラリ
文字列ライブラリ
コンテナライブラリ
イテレータライブラリ
範囲ライブラリ (C++20)
アルゴリズムライブラリ
数値演算ライブラリ
入出力ライブラリ
ローカライゼーションライブラリ
正規表現ライブラリ (C++11)
アトミック操作ライブラリ (C++11)
スレッドサポートライブラリ (C++11)
ファイルシステムライブラリ (C++17)
技術仕様書

cppreference.com

検索

名前空間

変種

表示

操作