std::partition_copy
ヘッダ <algorithm> で定義 | ||
(1) | ||
template<class InputIt, class OutputIt1, class OutputIt2, class UnaryPredicate > | (C++11以上) (C++20未満) | |
template<class InputIt, class OutputIt1, class OutputIt2, class UnaryPredicate > | (C++20以上) | |
template<class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class ForwardIt3, class UnaryPredicate > | (2) | (C++17以上) |
[first, last)
の要素を、述語 p
の返す値によって、2つの異なる範囲にコピーします。 述語 p
を満たす要素は d_first_true
から始まる範囲にコピーされます。 残りの要素は d_first_false
から始まる範囲にコピーされます。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) は |
型の要件 | ||
-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;}returnstd::pair<OutputIt1, OutputIt2>(d_first_true, d_first_false);} |
[編集]例
#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'; return0; }
出力:
true_arr: 6 7 8 9 10 false_arr: 1 2 3 4 5
[編集]関連項目
指定範囲の要素を2つのグループに分割します (関数テンプレート) | |
相対的な順序を維持しながら要素を2つのグループに分割します (関数テンプレート) | |
(C++11) | 指定範囲の要素を新しい位置にコピーします (関数テンプレート) |
指定範囲の要素から一定の基準を満たすものを除いてコピーします (関数テンプレート) |