Namespaces
Variants

std:: transform_inclusive_scan

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
transform_inclusive_scan
(C++17)

Operations on uninitialized memory
Definido en el encabezado <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) (desde C++17)
(constexpr desde 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) (desde 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) (desde C++17)
(constexpr desde 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) (desde C++17)
1) Calcula la suma de prefijo inclusiva usando op .
Para cada entero i en [ 0 , std:: distance ( first, last ) ) , realiza las siguientes operaciones en orden:
  1. Crea una secuencia formada por los valores transformados de los elementos de [ first , iter ] en orden mediante unary_op , donde iter es el siguiente iterador i -ésimo de first .
  2. Calcula la suma generalizada no conmutativa de la secuencia sobre binary_op .
  3. Asigna el resultado a * dest , donde dest es el siguiente iterador i -ésimo de d_first .
3) Igual que (1) , pero cada secuencia creada está formada por init seguido de los elementos de [ first , iter ] en orden.
2,4) Igual que (1,3) , pero ejecutado de acuerdo con la policy .
Estas sobrecargas participan en la resolución de sobrecarga solo si se satisfacen todas las siguientes condiciones:

std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> es true .

(hasta C++20)

std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> es true .

(desde C++20)

La suma generalizada no conmutativa de una secuencia de elementos sobre una operación binaria binary_op se define de la siguiente manera:

  • Si la secuencia solo tiene un elemento, la suma es el valor del elemento.
  • De lo contrario, realiza las siguientes operaciones en orden:
  1. Selecciona dos elementos adyacentes cualesquiera elem1 y elem2 de la secuencia.
  2. Calcula binary_op ( elem1, elem2 ) y reemplaza los dos elementos en la secuencia con el resultado.
  3. Repite los pasos 1 y 2 hasta que solo quede un elemento en la secuencia.


El resultado es no determinista si el binary_op no es asociativo (como la suma de punto flotante).

Para las sobrecargas (1,2) , si binary_op ( unary_op ( * first ) , unary_op ( * first ) ) no es convertible al value type de decltype ( first ) , el programa está mal formado.

Para las sobrecargas (3,4) , si alguno de los siguientes valores no es convertible a T , el programa está mal formado:

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

Si se satisface cualquiera de las siguientes condiciones, el comportamiento es indefinido:

  • Para las sobrecargas (1,2) , el tipo de valor de decltype ( first ) no es MoveConstructible .
  • Para las sobrecargas (3,4) , T no es MoveConstructible .
  • unary_op o binary_op modifica cualquier elemento de [ first , last ) .
  • unary_op o binary_op invalida cualquier iterador o subrango de [ first , last ] .

Contenidos

Parámetros

first, last - el par de iteradores que define el rango de elementos a sumar
d_first - el inicio del rango destino; puede ser igual a first
policy - la política de ejecución a utilizar
init - el valor inicial
unary_op - objeto función FunctionObject unario que será aplicado a cada elemento del rango de entrada. El tipo de retorno debe ser aceptable como entrada para binary_op .
binary_op - objeto función FunctionObject binario que será aplicado al resultado de unary_op , los resultados de otros binary_op , y init si se proporciona
Requisitos de tipo
-
InputIt debe cumplir con los requisitos de LegacyInputIterator .
-
OutputIt debe cumplir con los requisitos de LegacyOutputIterator .
-
ForwardIt1, ForwardIt2 debe cumplir con los requisitos de LegacyForwardIterator .

Valor de retorno

Iterador al elemento después del último elemento escrito.

Complejidad

Dado N como std:: distance ( first, last ) :

1-4) O(N) aplicaciones de unary_op y binary_op respectivamente.

Excepciones

Las sobrecargas con un parámetro de plantilla llamado ExecutionPolicy reportan errores de la siguiente manera:

  • Si la ejecución de una función invocada como parte del algoritmo lanza una excepción y ExecutionPolicy es uno de los standard policies , std::terminate es llamado. Para cualquier otro ExecutionPolicy , el comportamiento está definido por la implementación.
  • Si el algoritmo falla al asignar memoria, std::bad_alloc es lanzado.

Notas

unary_op nunca se aplica a init .

El parámetro init aparece al final, a diferencia de std::transform_exclusive_scan , porque es opcional para esta función.

Ejemplo

#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 << "Suma exclusiva multiplicada por 10: ";
    std::transform_exclusive_scan(data.begin(), data.end(),
                                  std::ostream_iterator<int>(std::cout, " "),
                                  0, std::plus<int>{}, times_10);
    std::cout << "\nSuma inclusiva multiplicada por 10: ";
    std::transform_inclusive_scan(data.begin(), data.end(),
                                  std::ostream_iterator<int>(std::cout, " "),
                                  std::plus<int>{}, times_10);
    std::cout << '\n';
}

Salida:

Suma exclusiva multiplicada por 10: 0 30 40 80 90 140 230 250 
Suma inclusiva multiplicada por 10: 30 40 80 90 140 230 250 310

Véase también

calcula la suma parcial de un rango de elementos
(plantilla de función)
aplica una función a un rango de elementos, almacenando resultados en un rango destino
(plantilla de función)
similar a std::partial_sum , incluye el i ésimo elemento de entrada en la i ésima suma
(plantilla de función)
aplica un invocable, luego calcula un escaneo exclusivo
(plantilla de función)