std:: all_of, std:: any_of, std:: none_of
|
Definido en el encabezado
<algorithm>
|
||
|
template
<
class
InputIt,
class
UnaryPred
>
bool all_of ( InputIt first, InputIt last, UnaryPred p ) ; |
(1) |
(desde C++11)
(constexpr desde C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
UnaryPred
>
bool
all_of
(
ExecutionPolicy
&&
policy,
|
(2) | (desde C++17) |
|
template
<
class
InputIt,
class
UnaryPred
>
bool any_of ( InputIt first, InputIt last, UnaryPred p ) ; |
(3) |
(desde C++11)
(constexpr desde C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
UnaryPred
>
bool
any_of
(
ExecutionPolicy
&&
policy,
|
(4) | (desde C++17) |
|
template
<
class
InputIt,
class
UnaryPred
>
bool none_of ( InputIt first, InputIt last, UnaryPred p ) ; |
(5) |
(desde C++11)
(constexpr desde C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
UnaryPred
>
bool
none_of
(
ExecutionPolicy
&&
policy,
|
(6) | (desde C++17) |
[
first
,
last
)
.
[
first
,
last
)
.
[
first
,
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 |
| policy | - | la política de ejecución a utilizar |
| p | - |
predicado unario .
La expresión
p
(
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
.
|
||
-
UnaryPred
debe cumplir con los requisitos de
Predicate
.
|
||
Valor de retorno
| El rango tiene algún true elemento | Sí | No | ||
|---|---|---|---|---|
| El rango tiene algún false elemento | Sí | No | Sí | No [1] |
all_of
|
false | true | false | true |
any_of
|
true | true | false | false |
none_of
|
false | false | true | true |
- ↑ El rango está vacío en este caso.
Complejidad
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
Véase también las implementaciones de
| all_of |
|---|
template<class InputIt, class UnaryPred> constexpr bool all_of(InputIt first, InputIt last, UnaryPred p) { return std::find_if_not(first, last, p) == last; } |
| any_of |
template<class InputIt, class UnaryPred> constexpr bool any_of(InputIt first, InputIt last, UnaryPred p) { return std::find_if(first, last, p) != last; } |
| none_of |
template<class InputIt, class UnaryPred> constexpr bool none_of(InputIt first, InputIt last, UnaryPred p) { return std::find_if(first, last, p) == last; } |
Ejemplo
#include <algorithm> #include <functional> #include <iostream> #include <iterator> #include <numeric> #include <vector> int main() { std::vector<int> v(10, 2); std::partial_sum(v.cbegin(), v.cend(), v.begin()); std::cout << "Entre los números: "; std::copy(v.cbegin(), v.cend(), std::ostream_iterator<int>(std::cout, " ")); std::cout << '\n'; if (std::all_of(v.cbegin(), v.cend(), [](int i) { return i % 2 == 0; })) std::cout << "Todos los números son pares\n"; if (std::none_of(v.cbegin(), v.cend(), std::bind(std::modulus<>(), std::placeholders::_1, 2))) std::cout << "Ninguno de ellos es impar\n"; struct DivisibleBy { const int d; DivisibleBy(int n) : d(n) {} bool operator()(int n) const { return n % d == 0; } }; if (std::any_of(v.cbegin(), v.cend(), DivisibleBy(7))) std::cout << "Al menos un número es divisible por 7\n"; }
Salida:
Entre los números: 2 4 6 8 10 12 14 16 18 20 Todos los números son pares Ninguno de ellos es impar Al menos un número es divisible por 7
Véase también
|
(C++20)
(C++20)
(C++20)
|
verifica si un predicado es
true
para todos, alguno o ninguno de los elementos en un rango
(objeto función algoritmo) |