std::exclusive_scan

template< class InputIt, class OutputIt, class T >
OutputIt exclusive_scan( InputIt first, InputIt last,
                         OutputIt d_first, T init );

template< class ExecutionPolicy,
          class ForwardIt1, class ForwardIt2, class T >
ForwardIt2 exclusive_scan( ExecutionPolicy&& policy,
                           ForwardIt1 first, ForwardIt1 last,
                           ForwardIt2 d_first, T init );

template< class InputIt, class OutputIt,
          class T, class BinaryOp >
OutputIt exclusive_scan( InputIt first, InputIt last,
                         OutputIt d_first, T init, BinaryOp op );

template< class ExecutionPolicy,
          class ForwardIt1, class ForwardIt2,
          class T, class BinaryOp >
ForwardIt2 exclusive_scan( ExecutionPolicy&& policy,
                           ForwardIt1 first, ForwardIt1 last,
                           ForwardIt2 d_first, T init, BinaryOp op );

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

• シーケンスに要素が1つしかない場合、和はその要素の値である。
• そうでない場合、以下の操作を順に実行する:

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

実際の二項演算を binary_op とすると:

• binary_op が結合的でない場合 (浮動小数点加算など)、結果は非決定的となる。

• 以下の値のいずれかが T に変換可能でない場合、プログラムは ill-formed となる:

• 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

関連項目