std::transform_inclusive_scan
| Défini dans l'en-tête <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) | (depuis C++17) (constexpr depuis 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) | (depuis 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) | (depuis C++17) (constexpr depuis 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) | (depuis C++17) |
op.i dans [0, std::distance(first, last)), effectue les opérations suivantes dans l'ordre :
- Crée une séquence qui est formée par les valeurs transformées des éléments de
[first,iter]dans l'ordre parunary_op, oùiterest leième itérateur suivant defirst. - Calcule la somme généralisée non commutative de la séquence sur
binary_op. - Affecte le résultat à
*dest, oùdestest leième itérateur suivant ded_first.
init suivi des éléments de [first, iter] dans l'ordre.policy.true :
|
|
(jusqu'à C++20) |
|
|
(depuis C++20) |
La somme généralisée non commutative d'une séquence d'éléments sur une opération binaire binary_op est définie comme suit :
- Si la séquence n'a qu'un seul élément, la somme est la valeur de l'élément.
- Sinon, effectue les opérations suivantes dans l'ordre :
- Sélectionne deux éléments adjacents
elem1etelem2de la séquence. - Calcule
binary_op(elem1, elem2)et remplace les deux éléments de la séquence par le résultat. - Répète les étapes 1 et 2 jusqu'à ce qu'il n'y ait plus qu'un seul élément dans la séquence.
Le résultat est non déterministe si binary_op n'est pas associative (comme l'addition en virgule flottante).
Pour les surcharges (1,2), si binary_op(unary_op(*first), unary_op(*first)) n'est pas convertible en type de valeur de decltype(first), le programme est mal formé.
Pour les surcharges (3,4), si l'une des valeurs suivantes n'est pas convertible en T, le programme est mal formé :
binary_op(init, init)binary_op(init, unary_op(*first))binary_op(unary_op(*first), unary_op(*first))
Si l'une des conditions suivantes est satisfaite, le comportement est indéfini :
- Pour les surcharges (1,2), le type de valeur de
decltype(first)n'est pas MoveConstructible. - Pour les surcharges (3,4),
Tn'est pas MoveConstructible. unary_opoubinary_opmodifie tout élément de[first,last).unary_opoubinary_opinvalide tout itérateur ou sous-plage de[first,last].
Paramètres
| first, last | - | la paire d'itérateurs définissant la plage des éléments à sommer |
| d_first | - | le début de la plage de destination ; peut être égal à first |
| policy | - | la politique d'exécution à utiliser |
| init | - | la valeur initiale |
| unary_op | - | un FunctionObject unaire qui sera appliqué à chaque élément de la plage d'entrée. Le type de retour doit être acceptable en entrée pour binary_op . |
| binary_op | - | un FunctionObject binaire qui sera appliqué au résultat de unary_op , aux résultats d'autres binary_op , et à init si fourni |
| Exigences de type | ||
-
InputIt
doit satisfaire aux exigences de
LegacyInputIterator
.
|
||
-
OutputIt
doit satisfaire aux exigences de
LegacyOutputIterator
.
|
||
-
ForwardIt1, ForwardIt2
doit satisfaire aux exigences de
LegacyForwardIterator
.
|
||
Valeur de retour
Itérateur vers l'élément après le dernier élément écrit.
Complexité
Étant donné N comme std:: distance ( first, last ) :
Exceptions
Les surcharges avec un paramètre de modèle nommé
ExecutionPolicy
signalent les erreurs comme suit :
-
Si l'exécution d'une fonction invoquée dans le cadre de l'algorithme lève une exception et que
ExecutionPolicyfait partie des politiques standard , std::terminate est appelé. Pour tout autreExecutionPolicy, le comportement est défini par l'implémentation. - Si l'algorithme ne parvient pas à allouer de la mémoire, std::bad_alloc est levée.
Notes
unary_op n'est jamais appliqué à init .
Le paramètre init apparaît en dernier, différant de std::transform_exclusive_scan , car il est optionnel pour cette fonction.
Exemple
#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 << "Somme exclusive multipliée par 10 : "; std::transform_exclusive_scan(data.begin(), data.end(), std::ostream_iterator<int>(std::cout, " "), 0, std::plus<int>{}, times_10); std::cout << "\nSomme inclusive multipliée par 10 : "; std::transform_inclusive_scan(data.begin(), data.end(), std::ostream_iterator<int>(std::cout, " "), std::plus<int>{}, times_10); std::cout << '\n'; }
Sortie :
Somme exclusive multipliée par 10 : 0 30 40 80 90 140 230 250 Somme inclusive multipliée par 10 : 30 40 80 90 140 230 250 310
Voir aussi
| calcule la somme partielle d'une plage d'éléments (modèle de fonction) | |
| applique une fonction à une plage d'éléments, stockant les résultats dans une plage de destination (modèle de fonction &objet fonction d'algorithme) | |
(C++20) |
|
(C++17) |
similaire à std::partial_sum, inclut le ith élément d'entrée dans la ith somme (modèle de fonction) |
(C++17) |
applique un invocable, puis calcule le scan exclusif (modèle de fonction) |