std:: find, std:: find_if, std:: find_if_not
|
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
>
|
(desde C++26) | |
| (2) | ||
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
T
>
ForwardIt find
(
ExecutionPolicy
&&
policy,
|
(desde C++17)
(hasta C++26) |
|
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
T
=
typename
std::
iterator_traits
|
(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,
|
(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,
|
(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).
find
busca un elemento igual a
value
(utilizando
operator==
).
find_if
busca un elemento para el cual el predicado
p
devuelve
true
.
find_if_not
busca un elemento para el cual el predicado
q
devuelve
false
.
|
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
|
| q | - |
predicado unario que retorna
false
para el elemento requerido.
La expresión
q
(
v
)
debe ser convertible a
bool
para cada argumento
|
| 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:
Complejidad
Dado N como std:: distance ( first, last ) :
operator==
.
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
ExecutionPolicyes uno de los standard policies , std::terminate es llamado. Para cualquier otroExecutionPolicy, 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) |
|
|
(C++20)
(C++20)
(C++20)
|
encuentra el primer elemento que satisface criterios específicos
(objeto función de algoritmo) |