std::is_partitioned
De cppreference.com
<tbody>
</tbody>
| Definido en el archivo de encabezado <algorithm>
|
||
template< class InputIt, class UnaryPred > bool is_partitioned( InputIt first, InputIt last, UnaryPred p ); |
(1) | (desde C++11) (constexpr desde C++20) |
template< class ExecutionPolicy, class ForwardIt, class UnaryPred > bool is_partitioned( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last, UnaryPred p ); |
(2) | (desde C++17) |
1) Comprueba si
[first, last) está particionado por el predicado p: todos los elementos que satisfacen p aparecen antes de todos los elementos que no lo hacen.2) Igual que (1), pero se ejecuta de acuerdo con
policy. Esta sobrecarga no participa en la resolución de sobrecarga a menos que
std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> (hasta C++20) std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> (desde C++20) sea verdadera.Parámetros
| first, last | - | El rango de los elementos a comprobar. |
| policy | - | La política de ejecución a usar. Véase política de ejecución para más detalles. |
| p | - | Predicado unario que devuelve true para los elementos que se espera encontrar al principio del rango. La expresión |
| Requisitos de tipo | ||
-InputIt debe satisfacer los requisitos de InputIterator.
| ||
-ForwardIt debe satisfacer los requisitos de ForwardIterator. y su tipo valor debe ser convertible al tipo parámetro de UnaryPred.
| ||
-UnaryPred debe satisfacer los requisitos de Predicate.
| ||
Valor de retorno
true si los elementos e de [first, last) están particionados con respecto a la expresión p(e); false en caso contrario.
Complejidad
Como máximo std::distance(first, last) aplicaciones de p.
Excepciones
La sobrecarga con un parámetro de plantilla llamado ExecutionPolicy (política de ejecución) reporta errores tales que:
- Si la ejecución de una función invocada como parte del algoritmo lanza una excepción y la política de ejecución es una de las tres políticas estándar, se llama a std::terminate. Para cualquier otra política de ejecución, el comportamiento está definido por la implementación.
- Si el algoritmo falla al asignar memoria, se lanza std::bad_alloc.
Posible implementación
template<class InputIt, class UnaryPred>
bool is_partitioned(InputIt first, InputIt last, UnaryPred p)
{
for (; first != last; ++first)
if (!p(*first))
break;
for (; first != last; ++first)
if (p(*first))
return false;
return true;
}
|
Ejemplo
Ejecuta este código
#include <algorithm>
#include <array>
#include <iostream>
int main()
{
std::array<int, 9> v {1, 2, 3, 4, 5, 6, 7, 8, 9};
auto es_par = [](int i) { return i % 2 == 0; };
std::cout.setf(std::ios_base::boolalpha);
std::cout << std::is_partitioned(v.begin(), v.end(), es_par) << ' ';
std::partition(v.begin(), v.end(), es_par);
std::cout << std::is_partitioned(v.begin(), v.end(), es_par) << ' ';
std::reverse(v.begin(), v.end());
std::cout << std::is_partitioned(v.cbegin(), v.cend(), es_par) << ' ';
std::cout << std::is_partitioned(v.crbegin(), v.crend(), es_par) << '\n';
}
Salida:
false true false true
Véase también
| Divide un rango de elementos en dos grupos. (plantilla de función) | |
(C++11) |
Ubica el punto de partición de un rango particionado. (plantilla de función) |
(C++20) |
Determina si el rango está dividido por el predicado dado. (niebloid) |