Spec-Zone.ru › C++

std::transform_inclusive_scan

Определено в заголовочном файле <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 - унарный объект-функция, применяемый к каждому элементу входного диапазона. Возвращаемый тип должен допускаться в качестве аргумента binary_op.
binary_op - бинарный объект-функция, применяемый к результату unary_op, результатам других binary_op и init, если он предоставлен
Требования к типам
-InputIt должен удовлетворять требованиям LegacyInputIterator.
-OutputIt должен удовлетворять требованиям LegacyOutputIterator.
-ForwardIt1, ForwardIt2 должен удовлетворять требованиям LegacyForwardIterator.

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

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

Сложность

Пусть \(\scriptsize N\)N — std::distance(first, last):

1-4) \(\scriptsize O(N)\)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

См. также

partial_sum
вычисляет частичную сумму диапазона элементов
(шаблон функции)
transform
применяет функцию к диапазону элементов, сохраняя результаты в целевом диапазоне
(шаблон функции и функциональный объект алгоритма)
ranges::transform
(C++20)
inclusive_scan
(C++17)
аналогично std::partial_sum, включает iй входной элемент в iю сумму
(шаблон функции)
transform_exclusive_scan
(C++17)
применяет вызываемый объект, а затем вычисляет исключительное сканирование
(шаблон функции)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/algorithm/transform_inclusive_scan

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API