std:: set_symmetric_difference
|
Défini dans l'en-tête
<algorithm>
|
||
|
template
<
class
InputIt1,
class
InputIt2,
class
OutputIt
>
OutputIt set_symmetric_difference
|
(1) | (constexpr depuis C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
ForwardIt3
>
|
(2) | (depuis C++17) |
|
template
<
class
InputIt1,
class
InputIt2,
class
OutputIt,
class
Compare
>
|
(3) | (constexpr depuis C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
|
(4) | (depuis C++17) |
Calcule la différence symétrique de deux plages triées : les éléments qui se trouvent dans l'une ou l'autre des plages, mais pas dans les deux, sont copiés dans la plage commençant à d_first . La plage de sortie est également triée.
Si
[
first1
,
last1
)
contient
m
éléments équivalents entre eux et
[
first2
,
last2
)
contient
n
éléments qui leur sont équivalents, alors
std
::
abs
(
m
-
n
)
de ces éléments seront copiés vers la plage de sortie, en préservant l'ordre :
-
si
m
>
n
, les
m
-
n
derniers éléments de
[first1,last1). -
si
m
<
n
, les
n
-
m
derniers éléments de
[first2,last2).
[
first1
,
last1
)
ou
[
first2
,
last2
)
n'est pas
trié
par rapport à
operator
<
(jusqu'en C++20)
std::
less
{
}
(depuis C++20)
, le comportement est indéfini.
[
first1
,
last1
)
ou
[
first2
,
last2
)
n'est pas trié par rapport à
comp
, le comportement est indéfini.
|
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) |
Si la plage de sortie chevauche
[
first1
,
last1
)
ou
[
first2
,
last2
)
, le comportement est indéfini.
Table des matières |
Paramètres
| first1, last1 | - | la paire d'itérateurs définissant la première plage triée d'éléments |
| first2, last2 | - | la paire d'itérateurs définissant la deuxième plage triée d'éléments |
| d_first | - | le début de la plage de sortie |
| policy | - | la politique d'exécution à utiliser |
| comp | - |
objet fonction de comparaison (c'est-à-dire un objet qui satisfait aux exigences de
Compare
) qui renvoie
true
si le premier argument est
inférieur
à (c'est-à-dire est ordonné
avant
) le second.
La signature de la fonction de comparaison doit être équivalente à ce qui suit : bool cmp ( const Type1 & a, const Type2 & b ) ;
Bien que la signature n'ait pas besoin d'avoir
const
&
, la fonction ne doit pas modifier les objets qui lui sont passés et doit pouvoir accepter toutes les valeurs de type (éventuellement const)
|
| Exigences de type | ||
-
InputIt1, InputIt2
doivent satisfaire aux exigences de
LegacyInputIterator
.
|
||
-
OutputIt
doit satisfaire aux exigences de
LegacyOutputIterator
.
|
||
-
ForwardIt1, ForwardIt2, ForwardIt3
doivent satisfaire aux exigences de
LegacyForwardIterator
.
|
||
-
Compare
doit satisfaire aux exigences de
Compare
.
|
||
Valeur de retour
Itérateur après la fin de la plage construite.
Complexité
Soit N 1 défini comme std:: distance ( first1, last1 ) et N 2 défini comme std:: distance ( first2, last2 ) :
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é.
Implémentation possible
| set_symmetric_difference (1) |
|---|
template<class InputIt1, class InputIt2, class OutputIt> OutputIt set_symmetric_difference(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, OutputIt d_first) { while (first1 != last1) { if (first2 == last2) return std::copy(first1, last1, d_first); if (*first1 < *first2) *d_first++ = *first1++; else { if (*first2 < *first1) *d_first++ = *first2; else ++first1; ++first2; } } return std::copy(first2, last2, d_first); } |
| set_symmetric_difference (3) |
template<class InputIt1, class InputIt2, class OutputIt, class Compare> OutputIt set_symmetric_difference(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, OutputIt d_first, Compare comp) { while (first1 != last1) { if (first2 == last2) return std::copy(first1, last1, d_first); if (comp(*first1, *first2)) *d_first++ = *first1++; else { if (comp(*first2, *first1)) *d_first++ = *first2; else ++first1; ++first2; } } return std::copy(first2, last2, d_first); } |
Exemple
#include <algorithm> #include <iostream> #include <iterator> #include <vector> int main() { std::vector<int> v1{1, 2, 3, 4, 5, 6, 7, 8}; std::vector<int> v2{5, 7, 9, 10}; std::sort(v1.begin(), v1.end()); std::sort(v2.begin(), v2.end()); std::vector<int> v_symDifference; std::set_symmetric_difference(v1.begin(), v1.end(), v2.begin(), v2.end(), std::back_inserter(v_symDifference)); for (int n : v_symDifference) std::cout << n << ' '; std::cout << '\n'; }
Sortie :
1 2 3 4 6 8 9 10
Rapports de défauts
Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.
| DR | Appliqué à | Comportement tel que publié | Comportement correct |
|---|---|---|---|
| LWG 291 | C++98 | il n'était pas spécifié comment traiter les éléments équivalents dans les plages d'entrée | spécifié |
Voir aussi
|
renvoie
true
si une séquence est une sous-séquence d'une autre
(modèle de fonction) |
|
|
calcule la différence entre deux ensembles
(modèle de fonction) |
|
|
calcule l'union de deux ensembles
(modèle de fonction) |
|
|
calcule l'intersection de deux ensembles
(modèle de fonction) |
|
|
(C++20)
|
calcule la différence symétrique entre deux ensembles
(objet fonction algorithme) |