std::exclusive_scan

template< class InputIt, class OutputIt, class T >
OutputIt exclusive_scan( InputIt first, InputIt last,
                         OutputIt d_first, T init );

template< class InputIt, class OutputIt, class T >
constexpr OutputIt exclusive_scan( InputIt first, InputIt last,
                                   OutputIt d_first, T init );

template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class T >
ForwardIt2 exclusive_scan( ExecutionPolicy&& policy,
                           ForwardIt1 first, ForwardIt1 last,
                           ForwardIt2 d_first, T init );

template< class InputIt, class OutputIt,
          class T, class BinaryOperation >
OutputIt exclusive_scan( InputIt first, InputIt last,
                         OutputIt d_first, T init,
                         BinaryOperation binary_op );

template< class InputIt, class OutputIt,
          class T, class BinaryOperation >
constexpr OutputIt exclusive_scan( InputIt first, InputIt last,
                                   OutputIt d_first, T init,
                                   BinaryOperation binary_op );

template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2,
          class T, class BinaryOperation >
ForwardIt2 exclusive_scan( ExecutionPolicy&& policy,
                           ForwardIt1 first, ForwardIt1 last,
                           ForwardIt2 d_first, T init,
                           BinaryOperation binary_op );

Вычисляет операцию эксклюзивной префиксной суммы, используя binary_op (или std::plus<>() для перегрузок (1,2)) для диапазона [first, last), используя init в качестве начального значения и записывает результаты в диапазон, начинающийся в d_first. «Эксклюзивно» означает, что i-й элемент входных данных не включён в i-ю сумму.

Формально, присваивает каждому итератору i в [d_first, d_first + (last - first)) значение обобщённой некоммутативной суммы init, *j... для каждого j в [first, first + (i - d_first)) над binary_op,

где обобщённая некоммутативная сумма GNSUM(op, a₁, ..., a_N) определяется следующим образом:

• если N = 1, a₁
• если N > 1, op(GNSUM(op, a₁, ..., a_K), GNSUM(op, a_M, ..., a_N)) для любого K, где 1 < K + 1 = M ≤ N

Другими словами, операции суммирования могут выполняться в произвольном порядке, и поведение является неопределённым, если binary_op не является ассоциативной. Перегрузки

binary_op не должен делать недействительными итераторы (включая конечные итераторы) или поддиапазоны, а также не должен изменять элементы в диапазонах [first, last) или [d_first, d_first + (last - first)). В противном случае поведение является неопределённым.

Параметры

Возвращаемое значение

Итератор на элемент после последнего записанного элемента.

Сложность

O(last - first) применений бинарной операции.

Исключения

Перегрузки с параметром шаблона, названным ExecutionPolicy, сообщают об ошибках следующим образом:

• Если выполнение функции, вызванной как часть алгоритма, вызывает исключение, и ExecutionPolicy является одной из стандартных политик, вызывается std::terminate. Для любой другой ExecutionPolicy, поведение является реализационно-зависимым.
• Если алгоритм не может выделить память, выбрасывается std::bad_alloc.

Пример

#include <functional>
#include <iostream>
#include <iterator>
#include <numeric>
#include <vector>
 
int main()
{
    std::vector data {3, 1, 4, 1, 5, 9, 2, 6};
 
    std::cout << "Exclusive sum: ";
    std::exclusive_scan(data.begin(), data.end(),
                        std::ostream_iterator<int>(std::cout, " "),
                        0);
    std::cout << "\nInclusive sum: ";
    std::inclusive_scan(data.begin(), data.end(),
                        std::ostream_iterator<int>(std::cout, " "));
 
    std::cout << "\n\nExclusive product: ";
    std::exclusive_scan(data.begin(), data.end(),
                        std::ostream_iterator<int>(std::cout, " "),
                        1, std::multiplies<>{});
    std::cout << "\nInclusive product: ";
    std::inclusive_scan(data.begin(), data.end(),
                        std::ostream_iterator<int>(std::cout, " "),
                        std::multiplies<>{});
}

Exclusive sum: 0 3 4 8 9 14 23 25
Inclusive sum: 3 4 8 9 14 23 25 31
 
Exclusive product: 1 3 3 12 12 60 540 1080
Inclusive product: 3 3 12 12 60 540 1080 6480

См. также