29 Numerics library [numerics]

29.8 Generalized numeric operations [numeric.ops]

29.8.8 Inclusive scan [inclusive.scan]

template<class InputIterator, class OutputIterator> OutputIterator inclusive_scan(InputIterator first, InputIterator last, OutputIterator result);

1
#

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

return inclusive_scan(first, last, result, plus<>());

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

2
#

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

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

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

3
#

Requires:

  • (3.1)

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

  • (3.2)

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

  • (3.3)

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

4
#

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

  • (4.1)

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

  • (4.2)

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

5
#

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

6
#

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

7
#

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

8
#

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