29 Numerics library [numerics]

29.8 Generalized numeric operations [numeric.ops]

29.8.3 Reduce [reduce]

template<class InputIterator> typename iterator_traits<InputIterator>::value_type reduce(InputIterator first, InputIterator last);

1
#

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

return reduce(first, last,
              typename iterator_traits<InputIterator>::value_type{});

template<class ExecutionPolicy, class ForwardIterator> typename iterator_traits<ForwardIterator>::value_type reduce(ExecutionPolicy&& exec, ForwardIterator first, ForwardIterator last);

2
#

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

return reduce(std::forward<ExecutionPolicy>(exec), first, last,
              typename iterator_traits<ForwardIterator>::value_type{});

template<class InputIterator, class T> T reduce(InputIterator first, InputIterator last, T init);

3
#

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

return reduce(first, last, init, plus<>());

template<class ExecutionPolicy, class ForwardIterator, class T> T reduce(ExecutionPolicy&& exec, ForwardIterator first, ForwardIterator last, T init);

4
#

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

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

template<class InputIterator, class T, class BinaryOperation> T reduce(InputIterator first, InputIterator last, T init, BinaryOperation binary_op); template<class ExecutionPolicy, class ForwardIterator, class T, class BinaryOperation> T reduce(ExecutionPolicy&& exec, ForwardIterator first, ForwardIterator last, T init, BinaryOperation binary_op);

5
#

Requires:

  • (5.1)

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

  • (5.2)

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

  • (5.3)

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

6
#

Returns: GENERALIZED_­SUM(binary_­op, init, *i, ...) за каждый i ин [first, last).

7
#

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

8
#

[  Note: Разница между reduce и accumulate заключается в том, что reduce применяется binary_­op в неопределенном порядке, что дает недетерминированный результат для неассоциативных или некоммутативных, binary_­op таких как сложение с плавающей запятой. ]  — end note