Namespaces
Variants

std::transform_inclusive_scan

De es.cppreference.net
 
 
Biblioteca de algoritmos
Algoritmos restringidos y algoritmos sobre rangos (C++20)
Algoritmos restringidos, p. ej., ranges::copy, ranges::sort, ...
Operaciones de secuencia no modificadoras    
Operaciones por lotes
(C++17)
Operaciones de búsqueda
Operaciones de secuencia modificadoras
Operaciones de copia
(C++11)
(C++11)
Operaciones de intercambio
Operaciones de transformación
Operaciones de generación
Operaciones de eliminación
Operaciones de cambio de orden
(hasta C++17)(C++11)
(C++20)(C++20)
Operaciones de muestreo
(C++17)

Ordenamiento y operaciones relacionadas
Operaciones de particionamiento
(C++11)    

Operaciones de ordenamiento
Operaciones de búsqueda binaria
(en rangos particionados)
Operaciones de conjunto (en rangos ordenados)
Operaciones de fusión (en rangos ordenados)
Operaciones de montículo
Operaciones de mínimo/máximo
(C++11)
(C++17)
Operaciones de comparación lexicográfica
Operaciones de permutación


 
 
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 prefija 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 i-ésimo iterador 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 i-ésimo iterador 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 según policy.
Estas sobrecargas participan en la resolución de sobrecarga solo si el valor de la siguiente expresión es true:

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

(hasta C++20)

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

(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.
  • En caso 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 binary_op no es asociativa (como la suma de punto flotante).

Para las sobrecargas (1,2), si binary_op(unary_op(*first), unary_op(*first)) no es convertible al tipo de valor 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 alguna de las siguientes condiciones se cumple, el comportamiento no está definido:

  • 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].

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 los resultados en un rango de destino
(plantilla de función & objeto función de algoritmo)
similar a std::partial_sum, incluye el iésimo elemento de entrada en el iésimo suma
(plantilla de función)
aplica un invocable, luego calcula el escaneo exclusivo
(plantilla de función)