std::is_sorted
| Definido en el encabezado <algorithm>
|
||
template< class ForwardIt >
bool is_sorted( ForwardIt first, ForwardIt last );
|
(1) | (desde C++11) (constexpr desde C++20) |
template< class ExecutionPolicy, class ForwardIt >
bool is_sorted( ExecutionPolicy&& policy,
ForwardIt first, ForwardIt last );
|
(2) | (desde C++17) |
template< class ForwardIt, class Compare >
bool is_sorted( ForwardIt first, ForwardIt last, Compare comp );
|
(3) | (desde C++11) (constexpr desde C++20) |
template< class ExecutionPolicy, class ForwardIt, class Compare >
bool is_sorted( ExecutionPolicy&& policy,
ForwardIt first, ForwardIt last, Compare comp );
|
(4) | (desde C++17) |
Comprueba si los elementos en el rango [first, last) están ordenados en orden no descendente.
operator<(hasta C++20)std::less{}(desde C++20).comp.policy.true:
|
|
(hasta C++20) |
|
|
(desde C++20) |
Parámetros
| first, last | - | el par de iteradores que definen el rango de elementos a examinar |
| policy | - | la política de ejecución a usar |
| comp | - | objeto función de comparación (es decir, un objeto que satisface los requisitos de Compare) que devuelve true si el primer argumento es menor que (es decir, está ordenado antes) el segundo. La firma de la función de comparación debe ser equivalente a la siguiente:
Aunque la firma no necesita tener |
| Requisitos de tipo | ||
-ForwardIt debe cumplir los requisitos de LegacyForwardIterator.
| ||
-Compare debe cumplir los requisitos de Compare.
| ||
Valor de retorno
true si los elementos en el rango están ordenados en orden no descendente, false en caso contrario.
Complejidad
Dado N como std::distance(first, last):
operator<(hasta C++20)std::less{}(desde C++20).comp.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 una de las políticas estándar, se llama a std::terminate. Para cualquier otroExecutionPolicy, el comportamiento está definido por la implementación. - Si el algoritmo falla al asignar memoria, se lanza std::bad_alloc.
Posible implementación
Véase también las implementaciones en libstdc++ y libc++.
| is_sorted (1) |
|---|
template<class ForwardIt>
bool is_sorted(ForwardIt first, ForwardIt last)
{
return std::is_sorted_until(first, last) == last;
}
|
| is_sorted (3) |
template<class ForwardIt, class Compare>
bool is_sorted(ForwardIt first, ForwardIt last, Compare comp)
{
return std::is_sorted_until(first, last, comp) == last;
}
|
Notas
std::is_sorted devuelve true para rangos vacíos y rangos de longitud uno.
Ejemplo
#include <algorithm>
#include <cassert>
#include <functional>
#include <iterator>
#include <vector>
int main()
{
std::vector<int> v;
assert(std::is_sorted(v.cbegin(), v.cend()) && "an empty range is always sorted");
v.push_back(42);
assert(std::is_sorted(v.cbegin(), v.cend()) && "a range of size 1 is always sorted");
int data[] = {3, 1, 4, 1, 5};
assert(not std::is_sorted(std::begin(data), std::end(data)));
std::sort(std::begin(data), std::end(data));
assert(std::is_sorted(std::begin(data), std::end(data)));
assert(not std::is_sorted(std::begin(data), std::end(data), std::greater<>{}));
}
Véase también
(C++11) |
encuentra el subrango ordenado más grande (plantilla de función & objeto función de algoritmo) |
(C++20) |
|
(C++20) |
comprueba si un rango está ordenado (objeto función de algoritmo) |