Namespaces
Variants

std:: set_intersection

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_intersection
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_intersection ( 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_intersection ( 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_intersection ( 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_intersection ( ExecutionPolicy && policy,
ForwardIt1 first1, ForwardIt1 last1,
ForwardIt2 first2, ForwardIt2 last2,

ForwardIt3 d_first, Compare comp ) ;
(4) (depuis C++17)

Construit une plage triée commençant à d_first constituée des éléments présents dans les deux plages triées [ first1 , last1 ) et [ first2 , last2 ) .

Si [ first1 , last1 ) contient m éléments équivalents entre eux et [ first2 , last2 ) contient n éléments qui leur sont équivalents, les premiers std:: min ( m, n ) éléments seront copiés depuis [ first1 , last1 ) vers la plage de sortie, en préservant l'ordre.

1) Si [ first1 , last1 ) ou [ first2 , last2 ) n'est pas trié par rapport à operator < (jusqu'à 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 à examiner
first2, last2 - la paire d'itérateurs définissant la deuxième plage triée d'éléments à examiner
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 du 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 équivaut à 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 plus 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_intersection (1)
template<class InputIt1, class InputIt2, class OutputIt>
OutputIt set_intersection(InputIt1 first1, InputIt1 last1,
                          InputIt2 first2, InputIt2 last2, OutputIt d_first)
{
    while (first1 != last1 && first2 != last2)
    {
        if (*first1 < *first2)
            ++first1;
        else
        {
            if (!(*first2 < *first1))
                *d_first++ = *first1++; // *first1 et *first2 sont équivalents.
            ++first2;
        }
    }
    return d_first;
}
set_intersection (3)
template<class InputIt1, class InputIt2, class OutputIt, class Compare>
OutputIt set_intersection(InputIt1 first1, InputIt1 last1,
                          InputIt2 first2, InputIt2 last2, OutputIt d_first, Compare comp)
{
    while (first1 != last1 && first2 != last2)
    {
        if (comp(*first1, *first2))
            ++first1;
        else
        {
            if (!comp(*first2, *first1))
                *d_first++ = *first1++; // *first1 et *first2 sont équivalents.
            ++first2;
        }
    }
    return d_first;
}

Exemple

#include <algorithm>
#include <iostream>
#include <iterator>
#include <vector>
int main()
{
    std::vector<int> v1{7, 2, 3, 4, 5, 6, 7, 8};
    std::vector<int> v2{5, 7, 9, 7};
    std::sort(v1.begin(), v1.end());
    std::sort(v2.begin(), v2.end());
    std::vector<int> v_intersection;
    std::set_intersection(v1.begin(), v1.end(), v2.begin(), v2.end(),
                          std::back_inserter(v_intersection));
    for (int n : v_intersection)
        std::cout << n << ' ';
    std::cout << '\n';
}

Sortie :

5 7 7

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

calcule l'union de deux ensembles
(fonction template)
calcule l'intersection de deux ensembles
(objet fonction algorithme)