Namespaces
Variants

std::transform_inclusive_scan

С ru.cppreference.net
 
 
Алгоритмы
Ограниченные алгоритмы и алгоритмы для диапазонов (C++20)
Ограниченные алгоритмы, например ranges::copy, ranges::sort, ...
Немодифицирующие операции с последовательностями    
Пакетные операции
(C++17)
Операции поиска
Модифицирующие операции с последовательностями
Операции копирования
(C++11)
(C++11)
Операции обмена
Операции преобразования
Операции генерации
Операции удаления
Операции изменения порядка
(до C++17)(C++11)
(C++20)(C++20)
Операции выборки
(C++17)

Сортировка и связанные операции
Операции разделения
(C++11)    

Операции сортировки
Операции бинарного поиска
(на разделённых диапазонах)
Операции над множествами (на отсортированных диапазонах)
Операции слияния (на отсортированных диапазонах)
Операции с кучей
Операции поиска минимума/максимума
(C++11)
(C++17)
Операции лексикографического сравнения
Операции перестановки


Политики выполнения (C++17)
(только для демонстрации*)(C++26)

Числовые операции
(C++11)
(C++17)
(C++17)    

Специализированные <memory> алгоритмы

Специализированные <random> алгоритмы
Библиотека C









 
 
Определён в заголовочном файле <numeric>
template< class InputIt, class OutputIt,
          class BinaryOp, class UnaryOp >
OutputIt transform_inclusive_scan
    ( InputIt first, InputIt last, OutputIt d_first,
      BinaryOp binary_op, UnaryOp unary_op );
(1) (начиная с C++17)
(constexpr начиная с C++20)
template< class ExecutionPolicy,
          class ForwardIt1, class ForwardIt2,
          class BinaryOp, class UnaryOp >
ForwardIt2 transform_inclusive_scan
    ( ExecutionPolicy&& policy,
      ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first,
      BinaryOp binary_op, UnaryOp unary_op );
(2) (начиная с C++17)
template< class InputIt, class OutputIt,
          class BinaryOp, class UnaryOp, class T >
OutputIt transform_inclusive_scan
    ( InputIt first, InputIt last, OutputIt d_first,
      BinaryOp binary_op, UnaryOp unary_op, T init );
(3) (начиная с C++17)
(constexpr начиная с C++20)
template< class ExecutionPolicy,
          class ForwardIt1, class ForwardIt2,
          class BinaryOp, class UnaryOp, class T >
ForwardIt2 transform_inclusive_scan
    ( ExecutionPolicy&& policy,
      ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first,
      BinaryOp binary_op, UnaryOp unary_op, T init );
(4) (начиная с C++17)
1) Вычисляет инклюзивную префиксную сумму с помощью op.
Для каждого целого числа i в [0, std::distance(first, last)) выполняет следующие операции по порядку:
  1. Создаёт последовательность, которая образована значениями, преобразованными из элементов [first, iter] по порядку с помощью unary_op, где iter является следующим i-м итератором first.
  2. Вычисляет обобщённую некоммутативную сумму последовательности с помощью binary_op.
  3. Присваивает результат в *dest, где dest является следующим i-м итератором d_first.
3) То же, что и (1), но каждая созданная последовательность образована init, за которым следуют элементы [first, iter] по порядку.
2,4) То же, что и (1,3), но выполняется в соответствии с policy.
Эти перегрузки участвуют в разрешении перегрузки только если значение следующего выражения равно true:

std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>

(до C++20)

std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>

(начиная с C++20)

Обобщённая некоммутативная сумма последовательности элементов относительно бинарной операции binary_op определяется следующим образом:

  • Если последовательность содержит только один элемент, сумма равна значению этого элемента.
  • В противном случае выполняются следующие операции по порядку:
  1. Выбираются любые два соседних элемента elem1 и elem2 из последовательности.
  2. Вычисляется binary_op(elem1, elem2) и два элемента в последовательности заменяются результатом.
  3. Шаги 1 и 2 повторяются до тех пор, пока в последовательности не останется только один элемент.


Результат недетерминирован, если binary_op не является ассоциативной (например, сложение чисел с плавающей запятой).

Для перегрузок (1,2), если binary_op(unary_op(*first), unary_op(*first)) не преобразуется в тип значения decltype(first), программа считается некорректной.

Для перегрузок (3,4), если любое из следующих значений не преобразуется в T, программа считается некорректной:

  • binary_op(init, init)
  • binary_op(init, unary_op(*first))
  • binary_op(unary_op(*first), unary_op(*first))

Если выполняется любое из следующих условий, поведение не определено:

  • Для перегрузок (1,2), тип значения decltype(first) не является MoveConstructible.
  • Для перегрузок (3,4), T не является MoveConstructible.
  • unary_op или binary_op изменяет любой элемент [first, last).
  • unary_op или binary_op делает недействительными любой итератор или поддиапазон [first, last].

Параметры

first, last - пара итераторов, определяющих диапазон элементов для суммирования
d_first - начало целевого диапазона; может быть равен first
policy - политика выполнения для использования
init - начальное значение
unary_op - унарный FunctionObject , который будет применен к каждому элементу входного диапазона. Тип возвращаемого значения должен быть допустимым для ввода в binary_op .
binary_op - бинарный FunctionObject , который будет применен к результату unary_op , результатам других binary_op , и init , если предоставлено
Требования к типам
-
InputIt должен удовлетворять требованиям LegacyInputIterator .
-
OutputIt должен удовлетворять требованиям LegacyOutputIterator .
-
ForwardIt1, ForwardIt2 должен удовлетворять требованиям LegacyForwardIterator .

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

Итератор на элемент, следующий за последним записанным элементом.

Сложность

Дано N как std:: distance ( first, last ) :

1-4) O(N) применений unary_op и binary_op соответственно.

Исключения

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

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

Примечания

unary_op никогда не применяется к init .

Параметр init указывается последним, в отличие от std::transform_exclusive_scan , поскольку для данной функции он является опциональным.

Пример

#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

См. также

вычисляет частичную сумму диапазона элементов
(шаблон функции)
применяет функцию к диапазону элементов, сохраняя результаты в целевой диапазон
(шаблон функции & функциональный объект алгоритма)
аналогично std::partial_sum , включает i-й входной элемент в i-ю сумму
(шаблон функции)
применяет вызываемый объект, затем вычисляет эксклюзивное сканирование
(шаблон функции)