Namespaces
Variants

std:: find, std:: find_if, std:: find_if_not

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
Definiert im Header <algorithm>
(1)
template < class InputIt, class T >
InputIt find ( InputIt first, InputIt last, const T & value ) ;
(constexpr seit C++20)
(bis C++26)
template < class InputIt, class T = typename std:: iterator_traits

< InputIt > :: value_type >

constexpr InputIt find ( InputIt first, InputIt last, const T & value ) ;
(seit C++26)
(2)
template < class ExecutionPolicy, class ForwardIt, class T >

ForwardIt find ( ExecutionPolicy && policy,

ForwardIt first, ForwardIt last, const T & value ) ;
(seit C++17)
(bis C++26)
template < class ExecutionPolicy,

class ForwardIt, class T = typename std:: iterator_traits
< ForwardIt > :: value_type >
ForwardIt find ( ExecutionPolicy && policy,

ForwardIt first, ForwardIt last, const T & value ) ;
(seit C++26)
template < class InputIt, class UnaryPred >
InputIt find_if ( InputIt first, InputIt last, UnaryPred p ) ;
(3) (constexpr seit C++20)
template < class ExecutionPolicy, class ForwardIt, class UnaryPred >

ForwardIt find_if ( ExecutionPolicy && policy,

ForwardIt first, ForwardIt last, UnaryPred p ) ;
(4) (seit C++17)
template < class InputIt, class UnaryPred >
InputIt find_if_not ( InputIt first, InputIt last, UnaryPred q ) ;
(5) (seit C++11)
(constexpr seit C++20)
template < class ExecutionPolicy, class ForwardIt, class UnaryPred >

ForwardIt find_if_not ( ExecutionPolicy && policy,

ForwardIt first, ForwardIt last, UnaryPred q ) ;
(6) (seit C++17)

Gibt einen Iterator auf das erste Element im Bereich [ first , last ) zurück, das bestimmte Kriterien erfüllt (oder last falls kein solcher Iterator existiert).

1) find sucht nach einem Element, das gleich value ist (unter Verwendung von operator== ).
3) find_if sucht nach einem Element, für das das Prädikat p true zurückgibt.
5) find_if_not sucht nach einem Element, für welches das Prädikat q false zurückgibt.
2,4,6) Gleich wie (1,3,5) , aber ausgeführt gemäß policy .
Diese Überladungen nehmen nur dann an der Überladungsauflösung teil, wenn alle folgenden Bedingungen erfüllt sind:

std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> ist true .

(bis C++20)

std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> ist true .

(seit C++20)

Inhaltsverzeichnis

Parameter

first, last - das Paar von Iteratoren, das den Bereich der zu untersuchenden Elemente definiert
value - Wert, mit dem die Elemente verglichen werden
policy - die zu verwendende Ausführungsrichtlinie
p - unäres Prädikat, das ​ true für das gesuchte Element zurückgibt.

Der Ausdruck p ( v ) muss für jedes Argument v vom Typ (möglicherweise const) VT , wobei VT der Werttyp von InputIt ist, unabhängig von der Wertkategorie in bool konvertierbar sein und darf v nicht modifizieren. Daher ist ein Parametertyp VT & nicht zulässig , ebenso wenig wie VT , es sei denn, für VT ist eine Verschiebung äquivalent zu einer Kopie (since C++11) . ​

q - unäres Prädikat, das ​ false für das gesuchte Element zurückgibt.

Der Ausdruck q ( v ) muss für jedes Argument v vom Typ (möglicherweise const) VT , wobei VT der Werttyp von InputIt ist, unabhängig von der Wertkategorie in bool konvertierbar sein und darf v nicht modifizieren. Daher ist ein Parametertyp VT & nicht zulässig , ebenso wenig wie VT , es sei denn, für VT ist eine Verschiebung äquivalent zu einer Kopie (since C++11) . ​

Typanforderungen
-
InputIt muss die Anforderungen von LegacyInputIterator erfüllen.
-
ForwardIt muss die Anforderungen von LegacyForwardIterator erfüllen.
-
UnaryPredicate muss die Anforderungen von Predicate erfüllen.

Rückgabewert

Der erste Iterator it in dem Bereich [ first , last ) der die folgende Bedingung erfüllt, oder last falls kein solcher Iterator existiert:

1,2) * it == value ist true .
3,4) p ( * it ) ist true .
5,6) q ( * it ) ist false .

Komplexität

Gegeben N als std:: distance ( first, last ) :

1,2) Höchstens N Vergleiche mit value unter Verwendung von operator== .
3,4) Höchstens N Anwendungen des Prädikats p .
5,6) Höchstens N Anwendungen des Prädikats q .

Ausnahmen

Die Überladungen mit einem Template-Parameter namens ExecutionPolicy melden Fehler wie folgt:

  • Wenn die Ausführung einer als Teil des Algorithmus aufgerufenen Funktion eine Exception wirft und ExecutionPolicy einer der Standard-Policies ist, wird std::terminate aufgerufen. Für jede andere ExecutionPolicy ist das Verhalten implementierungsdefiniert.
  • Wenn der Algorithmus keinen Speicher allozieren kann, wird std::bad_alloc geworfen.

Mögliche Implementierung

find (1)
template<class InputIt, class T = typename std::iterator_traits<InputIt>::value_type>
constexpr InputIt find(InputIt first, InputIt last, const T& value)
{
    for (; first != last; ++first)
        if (*first == value)
            return first;
    return last;
}
find_if (3)
template<class InputIt, class UnaryPred>
constexpr InputIt find_if(InputIt first, InputIt last, UnaryPred p)
{
    for (; first != last; ++first)
        if (p(*first))
            return first;
    return last;
}
find_if_not (5)
template<class InputIt, class UnaryPred>
constexpr InputIt find_if_not(InputIt first, InputIt last, UnaryPred q)
{
    for (; first != last; ++first)
        if (!q(*first))
            return first;
    return last;
}
**Hinweis:** Der C++-Code in den `
`-Tags wurde gemäß den Anforderungen nicht übersetzt. Die Funktionsnamen und C++-spezifischen Begriffe bleiben unverändert.

Hinweise

Wenn C++11 nicht verfügbar ist, kann ein Äquivalent zu std::find_if_not durch Verwendung von std::find_if mit dem negierten Prädikat erreicht werden.

template<class InputIt, class UnaryPred>
InputIt find_if_not(InputIt first, InputIt last, UnaryPred q)
{
    return std::find_if(first, last, std::not1(q));
}
Feature-Test Makro Wert Std Feature
__cpp_lib_algorithm_default_value_type 202403 (C++26) Listeninitialisierung für Algorithmen ( 1,2 )

Beispiel

Das folgende Beispiel findet Zahlen in gegebenen Sequenzen.

#include <algorithm>
#include <array>
#include <cassert>
#include <complex>
#include <initializer_list>
#include <iostream>
#include <vector>
bool is_even(int i)
{
    return i % 2 == 0;
}
void example_contains()
{
    const auto haystack = {1, 2, 3, 4};
    for (const int needle : {3, 5})
        if (std::find(haystack.begin(), haystack.end(), needle) == haystack.end())
            std::cout << "haystack does not contain " << needle << '\n';
        else
            std::cout << "haystack contains " << needle << '\n';
}
void example_predicate()
{
    for (const auto& haystack : {std::array{3, 1, 4}, {1, 3, 5}})
    {
        const auto it = std::find_if(haystack.begin(), haystack.end(), is_even);
        if (it != haystack.end())
            std::cout << "haystack contains an even number " << *it << '\n';
        else
            std::cout << "haystack does not contain even numbers\n";
    }
}
void example_list_init()
{
    std::vector<std::complex<double>> haystack{{4.0, 2.0}};
#ifdef __cpp_lib_algorithm_default_value_type
    // T gets deduced making list-initialization possible
    const auto it = std::find(haystack.begin(), haystack.end(), {4.0, 2.0});
#else
    const auto it = std::find(haystack.begin(), haystack.end(), std::complex{4.0, 2.0});
#endif
    assert(it == haystack.begin());  
}
int main()
{
    example_contains();
    example_predicate();
    example_list_init();
}

Ausgabe:

haystack contains 3
haystack does not contain 5
haystack contains an even number 4
haystack does not contain even numbers

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR Angewendet auf Verhalten wie veröffentlicht Korrektes Verhalten
LWG 283 C++98 T musste EqualityComparable sein, aber
der Werttyp von InputIt könnte nicht T sein
Anforderung entfernt

Siehe auch

findet die ersten zwei benachbarten Elemente, die gleich sind (oder ein gegebenes Prädikat erfüllen)
(Funktions-Template)
findet die letzte Sequenz von Elementen in einem bestimmten Bereich
(Funktions-Template)
sucht nach einem beliebigen Element aus einer Menge von Elementen
(Funktions-Template)
findet die erste Position, an der zwei Bereiche sich unterscheiden
(Funktions-Template)
sucht nach dem ersten Vorkommen eines Bereichs von Elementen
(Funktions-Template)
findet das erste Element, das bestimmte Kriterien erfüllt
(Algorithmus-Funktionsobjekt)