std:: find_first_of
|
Definido en el encabezado
<algorithm>
|
||
|
template
<
class
InputIt,
class
ForwardIt
>
InputIt find_first_of
(
InputIt first, InputIt last,
|
(1) | (constexpr desde C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2
>
ForwardIt1 find_first_of
(
ExecutionPolicy
&&
policy,
|
(2) | (desde C++17) |
|
template
<
class
InputIt,
class
ForwardIt,
class
BinaryPred
>
InputIt find_first_of
(
InputIt first, InputIt last,
|
(3) | (constexpr desde C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
BinaryPred
>
|
(4) | (desde C++17) |
Busca en el rango
[
first
,
last
)
cualquier elemento del rango
[
s_first
,
s_last
)
.
|
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 |
| s_first, s_last | - | el par de iteradores que define el rango de elementos a buscar |
| policy | - | la política de ejecución a utilizar |
| p | - |
predicado binario que retorna
true
si los elementos deben tratarse como iguales.
La firma de la función predicado debe ser equivalente a la siguiente: bool pred ( const Type1 & a, const Type2 & b ) ;
Aunque la firma no necesita tener
const
&
, la función no debe modificar los objetos pasados a ella y debe poder aceptar todos los valores de tipo (posiblemente const)
|
| Requisitos de tipo | ||
-
InputIt
debe cumplir con los requisitos de
LegacyInputIterator
.
|
||
-
ForwardIt
debe cumplir con los requisitos de
LegacyForwardIterator
.
|
||
-
ForwardIt1
debe cumplir con los requisitos de
LegacyForwardIterator
.
|
||
-
ForwardIt2
debe cumplir con los requisitos de
LegacyForwardIterator
.
|
||
-
BinaryPred
debe cumplir con los requisitos de
BinaryPredicate
.
|
||
Valor de retorno
Iterador al primer elemento en el rango
[
first
,
last
)
que es igual a un elemento del rango
[
s_first
,
s_last
)
.
Si
[
s_first
,
s_last
)
está vacío o si no se encuentra dicho elemento,
last
es devuelto.
Complejidad
Dado N como std:: distance ( first, last ) y S como std:: distance ( s_first, s_last ) :
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_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; } |
Ejemplo
El siguiente código busca cualquiera de los enteros especificados en un vector de enteros:
#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 << "No elements of v are equal to any element of "; print_sequence("t = ", t); print_sequence("v = ", v); } else { const auto pos = std::distance(v.begin(), result); std::cout << "Found a match (" << *result << ") at position " << pos; print_sequence(", where t = ", t); print_sequence("v = ", v, pos); } }; find_any_of(v, t1); find_any_of(v, t2); }
Salida:
Found a match (3) at position 2, where t = { 19, 10, 3, 4 }
v = { 0, 2, [ 3 ], 25, 5 }
No elements of v are equal to any element of t = { 1, 6, 7, 9 }
v = { 0, 2, 3, 25, 5 }
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 576 | C++98 | first y last necesitaban ser LegacyForwardIterator s |
solo necesitan ser
LegacyInputIterator s |
| LWG 1205 | C++98 |
el valor de retorno no estaba claro si
[
s_first
,
s_last
)
está vacío
|
retorna last en este caso |
Véase también
|
(C++11)
|
encuentra el primer elemento que satisface criterios específicos
(plantilla de función) |
|
(C++20)
|
busca cualquiera de un conjunto de elementos
(objeto función de algoritmo) |