std:: inclusive_scan
|
Défini dans l'en-tête
<numeric>
|
||
|
template
<
class
InputIt,
class
OutputIt
>
OutputIt inclusive_scan
(
InputIt first, InputIt last,
|
(1) |
(depuis C++17)
(constexpr depuis C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2
>
|
(2) | (depuis C++17) |
|
template
<
class
InputIt,
class
OutputIt,
class
BinaryOp
>
OutputIt inclusive_scan
(
InputIt first, InputIt last,
|
(3) |
(depuis C++17)
(constexpr depuis C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
BinaryOp
>
|
(4) | (depuis C++17) |
|
template
<
class
InputIt,
class
OutputIt,
class
BinaryOp,
class
T
>
|
(5) |
(depuis C++17)
(constexpr depuis C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
|
(6) | (depuis C++17) |
[
0
,
std::
distance
(
first, last
)
)
, effectue les opérations suivantes dans l'ordre :
-
Crée une séquence formée par les éléments de
[first,iter]dans l'ordre, où iter est le prochain i ième itérateur de first . - Calcule la somme généralisée non commutative de la séquence via op .
- Affecte le résultat à * dest , où dest est le prochain i ième itérateur de d_first .
[
first
,
iter
]
dans l'ordre.
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> est true . |
(jusqu'à C++20) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> est true . |
(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 ne contient qu'un seul élément, la somme est la valeur de cet élément.
- Sinon, effectue les opérations suivantes dans l'ordre :
- Sélectionne deux éléments adjacents quelconques elem1 et elem2 dans la séquence.
- Calcule binary_op ( elem1, elem2 ) et remplace les deux éléments dans la séquence par le résultat.
- Répète les étapes 1 et 2 jusqu'à ce qu'il ne reste qu'un seul élément dans la séquence.
Étant donné
binary_op
comme l'opération binaire réelle :
- Le résultat est non déterministe si le binary_op n'est pas associatif (comme l'addition en virgule flottante).
- Pour les surcharges (1-4) , si binary_op ( * first, * first ) n'est pas convertible vers le type de valeur de decltype ( first ) , le programme est mal formé.
-
Pour les surcharges
(5,6)
, si l'une des valeurs suivantes n'est pas convertible en
T, le programme est mal formé :
-
- binary_op ( init, * first )
- binary_op ( init, init )
- binary_op ( * first, * first )
- Si l'une des conditions suivantes est satisfaite, le comportement est indéfini :
-
- Pour les surcharges (1-4) , le type de valeur de decltype ( first ) n'est pas MoveConstructible .
-
Pour les surcharges
(5,6)
,
Tn'est pas MoveConstructible . -
binary_op
modifie tout élément de
[first,last). -
binary_op
invalide tout itérateur ou sous-intervalle de
[first,last].
Table des matières |
Paramètres
| first, last | - | la paire d'itérateurs définissant la plage source 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 |
| op | - | objet-fonction FunctionObject binaire qui sera appliqué au résultat du déréférencement des itérateurs d'entrée, aux résultats d'autres 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é.
Exemple
#include <functional> #include <iostream> #include <iterator> #include <numeric> #include <vector> int main() { std::vector data{3, 1, 4, 1, 5, 9, 2, 6}; std::cout << "Somme exclusive : "; std::exclusive_scan(data.begin(), data.end(), std::ostream_iterator<int>(std::cout, " "), 0); std::cout << "\nSomme inclusive : "; std::inclusive_scan(data.begin(), data.end(), std::ostream_iterator<int>(std::cout, " ")); std::cout << "\n\nProduit exclusif : "; std::exclusive_scan(data.begin(), data.end(), std::ostream_iterator<int>(std::cout, " "), 1, std::multiplies<>{}); std::cout << "\nProduit inclusif : "; std::inclusive_scan(data.begin(), data.end(), std::ostream_iterator<int>(std::cout, " "), std::multiplies<>{}); }
Sortie :
Somme exclusive : 0 3 4 8 9 14 23 25 Somme inclusive : 3 4 8 9 14 23 25 31 Produit exclusif : 1 3 3 12 12 60 540 1080 Produit inclusif : 3 3 12 12 60 540 1080 6480
Voir aussi
|
calcule les différences entre les éléments adjacents dans une plage
(modèle de fonction) |
|
|
additionne ou plie une plage d'éléments
(modèle de fonction) |
|
|
calcule la somme partielle d'une plage d'éléments
(modèle de fonction) |
|
|
(C++17)
|
applique un invocable, puis calcule un scan inclusif
(modèle de fonction) |
|
(C++17)
|
similaire à
std::partial_sum
, exclut le
i
ème
élément d'entrée de la
i
ème
somme
(modèle de fonction) |