Namespaces
Variants

std:: find_first_of

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)
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 InputIt, class ForwardIt >

InputIt find_first_of ( InputIt first, InputIt last,

ForwardIt s_first, ForwardIt s_last ) ;
(1) (constexpr depuis C++20)
template < class ExecutionPolicy, class ForwardIt1, class ForwardIt2 >

ForwardIt1 find_first_of ( ExecutionPolicy && policy,
ForwardIt1 first, ForwardIt1 last,

ForwardIt2 s_first, ForwardIt2 s_last ) ;
(2) (depuis C++17)
template < class InputIt, class ForwardIt, class BinaryPred >

InputIt find_first_of ( InputIt first, InputIt last,
ForwardIt s_first, ForwardIt s_last,

BinaryPred p ) ;
(3) (constexpr depuis C++20)
template < class ExecutionPolicy,

class ForwardIt1, class ForwardIt2, class BinaryPred >
ForwardIt1 find_first_of ( ExecutionPolicy && policy,
ForwardIt1 first, ForwardIt last,
ForwardIt2 s_first, ForwardIt2 s_last,

BinaryPred p ) ;
(4) (depuis C++17)

Recherche dans l'intervalle [ first , last ) l'un des éléments de l'intervalle [ s_first , s_last ) .

1) Les éléments sont comparés en utilisant operator == .
3) Les éléments sont comparés en utilisant le prédicat binaire donné p .
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)

Table des matières

Paramètres

first, last - la paire d'itérateurs définissant l' intervalle des éléments à examiner
s_first, s_last - la paire d'itérateurs définissant l' intervalle des éléments à rechercher
policy - la politique d'exécution à utiliser
p - prédicat binaire qui renvoie ​ true si les éléments doivent être traités comme égaux.

La signature de la fonction de prédicat doit être équivalente à ce qui suit :

bool pred ( 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 équivaut à une copie (depuis C++11) ).
Les types Type1 et Type2 doivent être tels que les objets de types ForwardIt1 et ForwardIt2 puissent être déréférencés puis implicitement convertis en Type1 et Type2 respectivement. ​

Exigences de type
-
InputIt doit satisfaire aux exigences de LegacyInputIterator .
-
ForwardIt doit satisfaire aux exigences de LegacyForwardIterator .
-
ForwardIt1 doit satisfaire aux exigences de LegacyForwardIterator .
-
ForwardIt2 doit satisfaire aux exigences de LegacyForwardIterator .
-
BinaryPred doit satisfaire aux exigences de BinaryPredicate .

Valeur de retour

Itérateur vers le premier élément de la plage [ first , last ) qui est égal à un élément de la plage [ s_first , s_last ) .

Si [ s_first , s_last ) est vide ou si aucun élément correspondant n'est trouvé, last est retourné.

Complexité

Soit N égal à std:: distance ( first, last ) et S égal à std:: distance ( s_first, s_last ) :

1,2) Au maximum N·S comparaisons en utilisant operator == .
3,4) Au plus N·S applications du prédicat p .

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

find_first_of (1)
template<class InputIt, class ForwardIt>
InputIt find_first_of(InputIt first, InputIt last,
                      ForwardIt s_first, ForwardIt s_last)
{
    for (; first != last; ++first)
        for (ForwardIt it = s_first; it != s_last; ++it)
            if (*first == *it)
                return first;
    return last;
}
find_first_of (3)
template<class InputIt, class ForwardIt, class BinaryPred>
InputIt find_first_of(InputIt first, InputIt last,
                      ForwardIt s_first, ForwardIt s_last,
                      BinaryPred p)
{
    for (; first != last; ++first)
        for (ForwardIt it = s_first; it != s_last; ++it)
            if (p(*first, *it))
                return first;
    return last;
}

Exemple

Le code suivant recherche l'un des entiers spécifiés dans un vecteur d'entiers :

#include <algorithm>
#include <iostream>
#include <vector>
auto print_sequence = [](const auto id, const auto& seq, int pos = -1)
{
    std::cout << id << "{ ";
    for (int i{}; auto const& e : seq)
    {
        const bool mark{i == pos};
        std::cout << (i++ ? ", " : "");
        std::cout << (mark ? "[ " : "") << e << (mark ? " ]" : "");
    }
    std::cout << " }\n";
};
int main()
{
    const std::vector<int> v{0, 2, 3, 25, 5};
    const auto t1 = {19, 10, 3, 4};
    const auto t2 = {1, 6, 7, 9};
    auto find_any_of = [](const auto& v, const auto& t)
    {
        const auto result = std::find_first_of(v.begin(), v.end(),
                                               t.begin(), t.end());
        if (result == v.end())
        {
            std::cout << "Aucun élément de v n'est égal à un élément de ";
            print_sequence("t = ", t);
            print_sequence("v = ", v);
        }
        else
        {
            const auto pos = std::distance(v.begin(), result);
            std::cout << "Correspondance trouvée (" << *result << ") à la position " << pos;
            print_sequence(", où t = ", t);
            print_sequence("v = ", v, pos);
        }
    };
    find_any_of(v, t1);
    find_any_of(v, t2);
}

Sortie :

Correspondance trouvée (3) à la position 2, où t = { 19, 10, 3, 4 }
v = { 0, 2, [ 3 ], 25, 5 }
Aucun élément de v n'est égal à un élément de t = { 1, 6, 7, 9 }
v = { 0, 2, 3, 25, 5 }

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 publié Comportement corrigé
LWG 576 C++98 first et last devaient être des LegacyForwardIterator s ils doivent seulement être des
LegacyInputIterator s
LWG 1205 C++98 la valeur de retour était ambiguë si [ s_first , s_last ) est vide retourne last dans ce cas

Voir aussi

trouve le premier élément satisfaisant des critères spécifiques
(modèle de fonction)
recherche l'un quelconque d'un ensemble d'éléments
(objet fonction algorithme)