29 Numerics library [numerics]

29.8 Generalized numeric operations [numeric.ops]

29.8.7 Exclusive scan [exclusive.scan]

template<class InputIterator, class OutputIterator, class T> OutputIterator exclusive_scan(InputIterator first, InputIterator last, OutputIterator result, T init);

Effects: Эквивалентен:

return exclusive_scan(first, last, result, init, plus<>());

template<class ExecutionPolicy, class ForwardIterator1, class ForwardIterator2, class T> ForwardIterator2 exclusive_scan(ExecutionPolicy&& exec, ForwardIterator1 first, ForwardIterator1 last, ForwardIterator2 result, T init);

Effects: Эквивалентен:

return exclusive_scan(std::forward<ExecutionPolicy>(exec),
                      first, last, result, init, plus<>());

template<class InputIterator, class OutputIterator, class T, class BinaryOperation> OutputIterator exclusive_scan(InputIterator first, InputIterator last, OutputIterator result, T init, BinaryOperation binary_op); template<class ExecutionPolicy, class ForwardIterator1, class ForwardIterator2, class T, class BinaryOperation> ForwardIterator2 exclusive_scan(ExecutionPolicy&& exec, ForwardIterator1 first, ForwardIterator1 last, ForwardIterator2 result, T init, BinaryOperation binary_op);

Requires:

  • T будет MoveConstructible (таблица 23).

  • Все binary_­op(init, init), binary_­op(init, *first)и binary_­op(*first, *first) должны быть конвертированы в T.

  • binary_­op не должен ни аннулировать итераторы или поддиапазоны, ни изменять элементы в диапазонах [first, last] или [result, result + (last - first)].

Effects: Каждому целому числу K в [0, last - first) присваивается result + K значение:

GENERALIZED_NONCOMMUTATIVE_SUM(
    binary_op, init, *(first + 0), *(first + 1), ..., *(first + K - 1))

Returns: Конец результирующего диапазона, начинающийся с result.

Complexity: O(last - first) приложения binary_­op.

Remarks: result может быть равно first.

[ Note: Разница между exclusive_­scan и в inclusive_­scan том, что exclusive_­scan исключает ith входной элемент из ith суммы. Если binary_­op не является математически ассоциативным, поведение exclusive_­scan может быть недетерминированным. ] end note