std:: transform_inclusive_scan
|
Definido en el encabezado
<numeric>
|
||
|
template
<
class
InputIt,
class
OutputIt,
class
BinaryOp,
class
UnaryOp
>
|
(1) |
(desde C++17)
(constexpr desde C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
|
(2) | (desde C++17) |
|
template
<
class
InputIt,
class
OutputIt,
class
BinaryOp,
class
UnaryOp,
class
T
>
|
(3) |
(desde C++17)
(constexpr desde C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
|
(4) | (desde C++17) |
[
0
,
std::
distance
(
first, last
)
)
, realiza las siguientes operaciones en orden:
-
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 . - Calcula la suma generalizada no conmutativa de la secuencia sobre binary_op .
- Asigna el resultado a * dest , donde dest es el siguiente iterador i -ésimo de d_first .
[
first
,
iter
]
en orden.
|
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:
- Selecciona dos elementos adyacentes cualesquiera elem1 y elem2 de la secuencia.
- Calcula binary_op ( elem1, elem2 ) y reemplaza los dos elementos en la secuencia con el resultado.
- 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)
,
Tno 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 ) :
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
ExecutionPolicyes uno de los standard policies , std::terminate es llamado. Para cualquier otroExecutionPolicy, 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) |
|
|
(C++17)
|
similar a
std::partial_sum
, incluye el
i
ésimo
elemento de entrada en la
i
ésima
suma
(plantilla de función) |
|
(C++17)
|
aplica un invocable, luego calcula un escaneo exclusivo
(plantilla de función) |