Namespaces
Variants

std::set_symmetric_difference

De fr.cppreference.net
 
 
Bibliothèque d'algorithmes
Algorithmes contraints et algorithmes sur les plages (C++20)
Algorithmes contraints, ex. ranges::copy, ranges::sort, ...
Opérations de séquence non modificatrices    
Opérations par lots
(C++17)
Opérations de recherche
Opérations de séquence modificatrices
Opérations de copie
(C++11)
(C++11)
Opérations d'échange
Opérations de transformation
Opérations de génération
Opérations de suppression
Opérations de changement d'ordre
(jusqu'à C++17)(C++11)
(C++20)(C++20)
Opérations d'échantillonnage
(C++17)

Opérations de tri et connexes
Opérations de partitionnement
(C++11)    

Opérations de tri
Opérations de recherche binaire
(sur plages partitionnées)
Opérations d'ensemble (sur plages triées)
Opérations de fusion (sur plages triées)
Opérations de tas
Opérations de minimum/maximum
(C++11)
(C++17)
Opérations de comparaison lexicographique
Opérations de permutation


 
Défini dans l'en-tête <algorithm>
template< class InputIt1, class InputIt2, class OutputIt >
OutputIt set_symmetric_difference
    ( InputIt1 first1, InputIt1 last1,
      InputIt2 first2, InputIt2 last2,
      OutputIt d_first );
(1) (constexpr depuis C++20)
template< class ExecutionPolicy,
          class ForwardIt1, class ForwardIt2, class ForwardIt3 >
ForwardIt3 set_symmetric_difference
    ( ExecutionPolicy&& policy,
      ForwardIt1 first1, ForwardIt1 last1,
      ForwardIt2 first2, ForwardIt2 last2,
      ForwardIt3 d_first );
(2) (depuis C++17)
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 );
(3) (constexpr depuis C++20)
template< class ExecutionPolicy,
          class ForwardIt1, class ForwardIt2,
          class ForwardIt3, class Compare >
ForwardIt3 set_symmetric_difference
    ( ExecutionPolicy&& policy,
      ForwardIt1 first1, ForwardIt1 last1,
      ForwardIt2 first2, ForwardIt2 last2,
      ForwardIt3 d_first, Compare comp );
(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 [first1last1) contient m éléments qui sont équivalents entre eux et [first2last2) contient n éléments qui leur sont équivalents, alors std::abs(m - n) de ces éléments seront copiés dans la plage de sortie, en préservant l'ordre :

  • si m > n, les m - n derniers de ces éléments provenant de [first1last1).
  • si m < n, les n - m derniers de ces éléments provenant de [first2last2).
1) Si [first1last1) ou [first2last2) n'est pas trié par rapport à operator<(jusqu'à C++20)std::less{}(depuis C++20), le comportement est indéfini.
3) Si [first1last1) ou [first2last2) n'est pas trié par rapport à comp, le comportement est indéfini.
2,4) Identique à (1,3), mais exécutée selon policy.
Ces surcharges ne participent à la résolution de surcharge que si la valeur de l'expression suivante est true :

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

(jusqu'à C++20)

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

(depuis C++20)

Si la plage de sortie chevauche [first1last1) ou [first2last2), le comportement est indéfini.

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) Type1 et Type2 indépendamment de la catégorie de valeur (ainsi, Type1& n'est pas autorisé , pas plus que Type1 sauf si pour Type1 un déplacement est équivalent à une copie (depuis C++11) ).
Les types Type1 et Type2 doivent être tels que les objets des types InputIt1 et InputIt2 puissent être déréférencés puis implicitement convertis à la fois en Type1 et en Type2 . ​

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 ) :

1,2) Au plus 2⋅(N 1 +N 2 )-1 comparaisons en utilisant operator < (jusqu'en C++20) std:: less { } (depuis C++20) .
3,4) Au maximum 2⋅(N 1 +N 2 )-1 applications de la fonction de comparaison comp .

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 ExecutionPolicy fait partie des politiques standard , std::terminate est appelé. Pour tout autre ExecutionPolicy , 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

détermine si une séquence est une sous-séquence d'une autre
(modèle de fonction & objet fonction d'algorithme)
calcule la différence entre deux ensembles
(modèle de fonction & objet fonction d'algorithme)
calcule l'union de deux ensembles
(modèle de fonction & objet fonction d'algorithme)
calcule l'intersection de deux ensembles
(modèle de fonction & objet fonction d'algorithme)
calcule la différence symétrique entre deux ensembles
(objet fonction d'algorithme)