29 Numerics library [numerics]

29.8 Generalized numeric operations [numeric.ops]

29.8.10 Transform inclusive scan [transform.inclusive.scan]

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

1
#

Requires:

  • (1.1)

    Если init предусмотрено, T должно быть MoveConstructible (Таблица 23); в противном случае ForwardIterator1тип значения должен быть MoveConstructible.

  • (1.2)

    Если init предоставляется, все

    • (1.2.1)

      binary_­op(init, init),

    • (1.2.2)

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

    • (1.2.3)

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

    может быть конвертирован в T; в противном случае binary_­op(unary_­op(*first), unary_­op(*first)) должен быть преобразован в ForwardIterator1тип значения.

  • (1.3)

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

2
#

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

  • (2.1)

    GENERALIZED_­NONCOMMUTATIVE_­SUM(
        binary_­op, init,
        unary_­op(*(first + 0)), unary_­op(*(first + 1)), ..., unary_­op(*(first + K)))
    если init предоставляется, или

  • (2.2)

    GENERALIZED_­NONCOMMUTATIVE_­SUM(
        binary_­op,
        unary_­op(*(first + 0)), unary_­op(*(first + 1)), ..., unary_­op(*(first + K)))
    иначе.

3
#

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

4
#

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

5
#

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

6
#

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