std:: exclusive_scan

要素のシーケンスに対する二項演算 binary_op 上の 一般化非可換和 は以下のように定義されます：

• シーケンスに要素が1つしかない場合、合計はその要素の値となります。
• それ以外の場合、以下の操作を順番に実行します：

1. シーケンスから任意の2つの隣接要素 elem1 と elem2 を選択します。
2. binary_op ( elem1, elem2 ) を計算し、シーケンス内の2つの要素を結果で置き換えます。
3. シーケンスに要素が1つだけになるまで、ステップ1と2を繰り返します。

与えられた binary_op を実際の二項演算として：

• binary_op が結合的でない場合（浮動小数点の加算など）、結果は非決定的になります。

• 以下のいずれかの値が T に変換できない場合、プログラムは不適格です：

• binary_op ( init, * first )
• binary_op ( init, init )
• binary_op ( * first, * first )

• 以下のいずれかの条件が満たされる場合、動作は未定義です：

• T は MoveConstructible ではない。
• binary_op が [ first , last ) の任意の要素を変更する。
• binary_op が [ first , last ] の任意のイテレータまたは部分範囲を無効化する。

パラメータ

戻り値

書き込まれた最後の要素の次の要素を指すイテレータ。

計算量

与えられた \(\scriptsize N\) N を std:: distance ( first, last ) として：

例外

ExecutionPolicy という名前のテンプレートパラメータを持つオーバーロードは、 以下のようにエラーを報告します：

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

例

#include <functional>
#include <iostream>
#include <iterator>
#include <numeric>
#include <vector>
int main()
{
    std::vector data{3, 1, 4, 1, 5, 9, 2, 6};
    std::cout << "排他的和: ";
    std::exclusive_scan(data.begin(), data.end(),
                        std::ostream_iterator<int>(std::cout, " "),
                        0);
    std::cout << "\n包括的和: ";
    std::inclusive_scan(data.begin(), data.end(),
                        std::ostream_iterator<int>(std::cout, " "));
    std::cout << "\n\n排他的積: ";
    std::exclusive_scan(data.begin(), data.end(),
                        std::ostream_iterator<int>(std::cout, " "),
                        1, std::multiplies<>{});
    std::cout << "\n包括的積: ";
    std::inclusive_scan(data.begin(), data.end(),
                        std::ostream_iterator<int>(std::cout, " "),
                        std::multiplies<>{});
}

排他的和: 0 3 4 8 9 14 23 25
包括的和: 3 4 8 9 14 23 25 31
排他的積: 1 3 3 12 12 60 540 1080
包括的積: 3 3 12 12 60 540 1080 6480

関連項目