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
Definido en el encabezado <algorithm>
(1)
template < class InputIt, class T >
InputIt find ( InputIt first, InputIt last, const T & value ) ;
(constexpr desde C++20)
(hasta C++26)
template < class InputIt, class T = typename std:: iterator_traits

< InputIt > :: value_type >

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

ForwardIt find ( ExecutionPolicy && policy,

ForwardIt first, ForwardIt last, const T & value ) ;
(desde C++17)
(hasta 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 ) ;
(desde C++26)
template < class InputIt, class UnaryPred >
InputIt find_if ( InputIt first, InputIt last, UnaryPred p ) ;
(3) (constexpr desde C++20)
template < class ExecutionPolicy, class ForwardIt, class UnaryPred >

ForwardIt find_if ( ExecutionPolicy && policy,

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

ForwardIt find_if_not ( ExecutionPolicy && policy,

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

Devuelve un iterador al primer elemento en el rango [ first , last ) que satisface criterios específicos (o last si no existe tal iterador).

1) find busca un elemento igual a value (utilizando operator== ).
3) find_if busca un elemento para el cual el predicado p devuelve true .
5) find_if_not busca un elemento para el cual el predicado q devuelve false .
2,4,6) Igual que (1,3,5) , pero ejecutado de acuerdo con policy .
Estas sobrecargas participan en la resolución de sobrecarga solo si se cumplen todas las siguientes condiciones:

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

(hasta C++20)

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

(desde C++20)

Contenidos

Parámetros

first, last - el par de iteradores que define el rango de elementos a examinar
value - valor contra el cual comparar los elementos
policy - la política de ejecución a utilizar
p - predicado unario que retorna ​ true para el elemento requerido.

La expresión p ( v ) debe ser convertible a bool para cada argumento v de tipo (posiblemente const) VT , donde VT es el tipo de valor de InputIt , independientemente de la categoría de valor , y no debe modificar v . Por lo tanto, no se permite un tipo de parámetro VT & , ni tampoco VT a menos que para VT un movimiento sea equivalente a una copia (since C++11) . ​

q - predicado unario que retorna ​ false para el elemento requerido.

La expresión q ( v ) debe ser convertible a bool para cada argumento v de tipo (posiblemente const) VT , donde VT es el tipo de valor de InputIt , independientemente de la categoría de valor , y no debe modificar v . Por lo tanto, no se permite un tipo de parámetro VT & , ni tampoco VT a menos que para VT un movimiento sea equivalente a una copia (since C++11) . ​

Requisitos de tipo
-
InputIt debe cumplir con los requisitos de LegacyInputIterator .
-
ForwardIt debe cumplir con los requisitos de LegacyForwardIterator .
-
UnaryPredicate debe cumplir con los requisitos de Predicate .

Valor de retorno

El primer iterador it en el rango [ first , last ) que satisface la siguiente condición o last si no existe tal iterador:

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

Complejidad

Dado N como std:: distance ( first, last ) :

1,2) Como máximo N comparaciones con value usando operator== .
3,4) Como máximo N aplicaciones del predicado p .
5,6) Como máximo N aplicaciones del predicado q .

Excepciones

Las sobrecargas con un parámetro de plantilla llamado ExecutionPolicy reportan errores de la siguiente manera:

  • Si la ejecución de una función invocada como parte del algoritmo lanza una excepción y ExecutionPolicy es uno de los standard policies , std::terminate es llamado. Para cualquier otro ExecutionPolicy , el comportamiento está definido por la implementación.
  • Si el algoritmo falla al asignar memoria, std::bad_alloc es lanzado.

Implementación posible

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;
}

Notas

Si C++11 no está disponible, un equivalente a std::find_if_not es usar std::find_if con el predicado negado.

template<class InputIt, class UnaryPred>
InputIt find_if_not(InputIt first, InputIt last, UnaryPred q)
{
    return std::find_if(first, last, std::not1(q));
}
Macro de prueba de características Valor Std Característica
__cpp_lib_algorithm_default_value_type 202403 (C++26) Inicialización por lista para algoritmos ( 1,2 )

Ejemplo

El siguiente ejemplo encuentra números en secuencias dadas.

#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();
}

Salida:

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

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

DR Aplicado a Comportamiento publicado Comportamiento correcto
LWG 283 C++98 T se requería que fuera EqualityComparable , pero
el tipo de valor de InputIt podría no ser T
se eliminó el requisito

Véase también

encuentra los dos primeros elementos adyacentes que son iguales (o satisfacen un predicado dado)
(plantilla de función)
encuentra la última secuencia de elementos en un rango determinado
(plantilla de función)
busca cualquiera de un conjunto de elementos
(plantilla de función)
encuentra la primera posición donde dos rangos difieren
(plantilla de función)
busca la primera ocurrencia de un rango de elementos
(plantilla de función)
encuentra el primer elemento que satisface criterios específicos
(objeto función de algoritmo)