29 Numerics library [numerics]

29.8 Generalized numeric operations [numeric.ops]

29.8.9 Transform exclusive scan [transform.exclusive.scan]

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

Requires:

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

  • Все

    • binary_­op(init, init),

    • binary_­op(init, unary_­op(*first)), а также

    • binary_­op(unary_­op(*first), unary_­op(*first))

    конвертируется в T.

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

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

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

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

Complexity: O(last - first) приложения каждый из unary_­op и binary_­op.

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

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