Namespaces
Variants

std:: set_symmetric_difference

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
set_symmetric_difference

Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
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 [ 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 ) .
1) Si [ 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.
3) Si [ first1 , last1 ) ou [ first2 , last2 ) n'est pas trié par rapport à comp , le comportement est indéfini.
2,4) Identique à (1,3) , mais exécuté selon la policy .
Ces surcharges participent à la résolution de surcharge seulement si toutes les conditions suivantes sont satisfaites :

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

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)
calcule la différence symétrique entre deux ensembles
(objet fonction algorithme)