std::transform_exclusive_scan

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

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

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

Преобразует каждый элемент в диапазоне [first, last) с помощью unary_op, затем вычисляет операцию эксклюзивного префиксного суммирования с помощью binary_op над результирующим диапазоном, с начальным значением init, и записывает результаты в диапазон, начинающийся с d_first. «Эксклюзивное» означает, что i-й элемент входных данных не включён в i-ю сумму.

Формально, присваивает через каждый итератор i в [d_first, d_first + (last - first)) значение обобщенной некоммутативной суммы init, unary_op(*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 не является ассоциативной. Перегрузка

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

Параметры

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

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

Сложность

O(last - first) приложений каждого из binary_op и unary_op.

Исключения

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

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

Примечания

unary_op не применяется к init.

Пример

#include <functional>
#include <iostream>
#include <iterator>
#include <numeric>
#include <vector>
 
int main()
{
    std::vector data{3, 1, 4, 1, 5, 9, 2, 6};
 
    auto times_10 = [](int x) { return x * 10; };
 
    std::cout << "10 times exclusive sum: ";
    std::transform_exclusive_scan(data.begin(), data.end(),
                                  std::ostream_iterator<int>(std::cout, " "),
                                  0, std::plus<int>{}, times_10);
    std::cout << "\n10 times inclusive sum: ";
    std::transform_inclusive_scan(data.begin(), data.end(),
                                  std::ostream_iterator<int>(std::cout, " "),
                                  std::plus<int>{}, times_10);
    std::cout << '\n';
}

10 times exclusive sum: 0 30 40 80 90 140 230 250 
10 times inclusive sum: 30 40 80 90 140 230 250 310

См. также