std::transform_inclusive_scan
| ヘッダー <numeric> で定義 |
||
| template< class InputIt, class OutputIt, class BinaryOp, class UnaryOp > |
(1) | (C++17以降) (C++20 以降 constexpr) |
| template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, |
(2) | (C++17以降) |
| template< class InputIt, class OutputIt, class BinaryOp, class UnaryOp, class T > |
(3) | (C++17以降) (C++20 以降 constexpr) |
| template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, |
(4) | (C++17以降) |
[0, std::distance(first, last)) の各整数 i に対して、次の操作を順に実行します。[first,iter]の要素から、iter が first から i 個目のイテレータであるようなシーケンスを、unary_op によって変換して生成します。- binary_op を通じて、シーケンスの汎化された非可換和を計算します。
- d_first の i 番目のイテレータである dest に結果を代入します。
[first, iter] の要素が続きます。|
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以降) |
二項演算 binary_op を介した要素シーケンスの一般化された非可換和は、次のように定義される。
- シーケンスに1つの要素しかない場合、合計はその要素の値です。
- そうでない場合、次の操作を順に実行します。
- シーケンスから任意の2つの隣接する要素 elem1 と elem2 を選択します。
- binary_op(elem1, elem2) を計算し、シーケンス内の2つの要素を結果で置き換えます。
- シーケンスに1つの要素だけが残るまでステップ1と2を繰り返します。
binary_op が結合法則に従わない場合 (浮動小数点数の加算など)、結果は非決定論的です。
(1,2) のオーバーロードにおいて、binary_op(unary_op(*first), unary_op(*first)) が decltype(first) の 値型に変換可能でない場合、プログラムは不定形です。
(3,4) のオーバーロードにおいて、以下のいずれかの値が T に変換可能でない場合、プログラムは不定形です。
- binary_op(init, init)
- binary_op(init, unary_op(*first))
- binary_op(unary_op(*first), unary_op(*first))
次のいずれかの条件が満たされる場合、動作は未定義です。
- (1,2) のオーバーロードにおいて、decltype(first) の値型が MoveConstructible ではない。
- (3,4) のオーバーロードにおいて、
Tが MoveConstructible ではない。 - unary_op または binary_op が、
[first,last)の要素を変更する。 - unary_op または binary_op が、
[first,last]のイテレータまたはサブレンジを無効にする。
目次 |
[編集] パラメータ
| first, last | - | 合計する要素の範囲を定義するイテレーターのペア |
| d_first | - | デスティネーション範囲の先頭。first と同じでもよい |
| policy | - | 使用する 実行ポリシー |
| init | - | 初期値 |
| unary_op | - | 入力範囲の各要素に適用される、一項の FunctionObject。戻り値の型は binary_op の入力として受け入れられる必要があります。 |
| binary_op | - | unary_op の結果、他の binary_op の結果、および提供されていれば init に適用される二項の FunctionObject。 |
| 型要件 | ||
-InputIt は LegacyInputIterator の要件を満たす必要があります。 | ||
-OutputIt は LegacyOutputIterator の要件を満たさなければなりません。 | ||
-ForwardIt1, ForwardIt2 は LegacyForwardIterator の要件を満たさなければなりません。 | ||
[編集] 戻り値
最後に書き込まれた要素の次を指すイテレータ。
[編集] 計算量
std::distance(first, last) を N とする
[編集] 例外
ExecutionPolicy というテンプレートパラメータを持つオーバーロードは、次のようにエラーを報告します。
- アルゴリズムの一部として呼び出された関数の実行が例外をスローし、
ExecutionPolicyが 標準ポリシー のいずれかである場合、std::terminate が呼び出されます。その他のExecutionPolicyの場合、動作は実装定義です。 - アルゴリズムがメモリの割り当てに失敗した場合、std::bad_alloc がスローされます。
[編集] 注意
unary_op は init には適用されません。
パラメータ init は最後に配置されます。これは std::transform_exclusive_scan とは異なり、この関数では省略可能であるためです。
[編集] 例
#include <functional> #include <iostream> #include <iterator> #include <numeric> #include <vector> int main() { std::vector data{3, 1, 4, 1, 5, 9, 2, 6}; auto times_10 = [](int x) { return x * 10; }; std::cout << "10 times exclusive sum: "; std::transform_exclusive_scan(data.begin(), data.end(), std::ostream_iterator<int>(std::cout, " "), 0, std::plus<int>{}, times_10); std::cout << "\n10 times inclusive sum: "; std::transform_inclusive_scan(data.begin(), data.end(), std::ostream_iterator<int>(std::cout, " "), std::plus<int>{}, times_10); std::cout << '\n'; }
出力
10 times exclusive sum: 0 30 40 80 90 140 230 250 10 times inclusive sum: 30 40 80 90 140 230 250 310
[編集] 関連項目
| 範囲の要素の部分和を計算する (関数テンプレート) | |
| 範囲内の要素に関数を適用し、結果を結果範囲に格納する (関数テンプレート) | |
| (C++17) |
std::partial_sum に似ているが、i 番目の入力要素を i 番目の合計に含める (関数テンプレート) |
| (C++17) |
呼び出し可能オブジェクトを適用し、エクスクルーシブスキャンを計算する (関数テンプレート) |
