Namespaces
Variants

std::is_heap_until

De es.cppreference.net
 
 
Biblioteca de algoritmos
Algoritmos restringidos y algoritmos sobre rangos (C++20)
Algoritmos restringidos, ej. ranges::copy, ranges::sort, ...
Operaciones de secuencia no modificadoras    
Operaciones por lotes
(C++17)
Operaciones de búsqueda
Operaciones de secuencia modificadoras
Operaciones de copia
(C++11)
(C++11)
Operaciones de intercambio
Operaciones de transformación
Operaciones de generación
Operaciones de eliminación
Operaciones de cambio de orden
(hasta C++17)(C++11)
(C++20)(C++20)
Operaciones de muestreo
(C++17)

Operaciones de ordenación y relacionadas
Operaciones de particionamiento
(C++11)    

Operaciones de ordenación
Operaciones de búsqueda binaria
(en rangos particionados)
Operaciones de conjuntos (en rangos ordenados)
Operaciones de mezcla (en rangos ordenados)
Operaciones de montículo
Operaciones de mínimo/máximo
(C++11)
(C++17)
Operaciones de comparación lexicográfica
Operaciones de permutación


 
Definido en el encabezado <algorithm>
template< class RandomIt >
RandomIt is_heap_until( RandomIt first, RandomIt last );
(1) (desde C++11)
(constexpr desde C++20)
template< class ExecutionPolicy, class RandomIt >
RandomIt is_heap_until( ExecutionPolicy&& policy,
                        RandomIt first, RandomIt last );
(2) (desde C++17)
template< class RandomIt, class Compare >
RandomIt is_heap_until( RandomIt first, RandomIt last, Compare comp );
(3) (desde C++11)
(constexpr desde C++20)
template< class ExecutionPolicy, class RandomIt, class Compare >
RandomIt is_heap_until( ExecutionPolicy&& policy,
                        RandomIt first, RandomIt last, Compare comp );
(4) (desde C++17)

Examina el rango [first, last) y encuentra el rango más grande que comienza en first el cual es un montículo.

1) La propiedad del montículo a verificar es con respecto a operator<(hasta C++20)std::less{}(desde C++20).
3) La propiedad del montículo a verificar es con respecto a comp.
2,4) Igual que (1,3), pero ejecutado de acuerdo con policy.
Estas sobrecargas participan en la resolución de sobrecarga solo si el valor de la siguiente expresión es true:

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)

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 el segundo.

La firma de la función de comparación debe ser equivalente a:

bool cmp(const Type1& a, const Type2& b);

Aunque la firma no necesita tener const&, la función no debe modificar los objetos que se le pasan y debe poder aceptar todos los valores de tipo (posiblemente const) Type1 y Type2 independientemente de la categoría de valor (por lo tanto, Type1& no está permitido, ni Type1 a menos que para Type1 un movimiento sea equivalente a una copia(desde C++11)).
Los tipos Type1 y Type2 deben ser tales que un objeto de tipo RandomIt pueda ser desreferenciado y luego convertido implícitamente a ambos.

Requisitos de tipo
-
RandomIt debe cumplir los requisitos de LegacyRandomAccessIterator.
-
Compare debe cumplir los requisitos de Compare.

Valor de retorno

El último iterador it para el cual el rango [first, it) es un montículo.

Complejidad

Dado N como std::distance(first, last):

1,2) O(N) comparaciones usando operator<(hasta C++20)std::less{}(desde C++20).
3,4) O(N) aplicaciones de la función de comparación 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 ExecutionPolicy es una de las políticas estándar, se llama a std::terminate. Para cualquier otro ExecutionPolicy, el comportamiento está definido por la implementación.
  • Si el algoritmo no puede asignar memoria, se lanza std::bad_alloc.

Ejemplo

#include <algorithm>
#include <iostream>
#include <vector>

int main()
{
    std::vector<int> v{3, 1, 4, 1, 5, 9};
    
    std::make_heap(v.begin(), v.end());
    
    // probably mess up the heap
    v.push_back(2);
    v.push_back(6);
    
    auto heap_end = std::is_heap_until(v.begin(), v.end());
    
    std::cout << "all of v:  ";
    for (const auto& i : v)
        std::cout << i << ' ';
    std::cout << '\n';
    
    std::cout << "only heap: ";
    for (auto i = v.begin(); i != heap_end; ++i)
        std::cout << *i << ' ';
    std::cout << '\n';
}

Salida:

all of v:  9 5 4 1 1 3 2 6
only heap: 9 5 4 1 1 3 2

Véase también

(C++11)
comprueba si el rango dado es un montículo máximo
(plantilla de función & objeto función de algoritmo)
crea un montículo máximo a partir de un rango de elementos
(plantilla de función & objeto función de algoritmo)
añade un elemento a un montículo máximo
(plantilla de función & objeto función de algoritmo)
elimina el elemento más grande de un montículo máximo
(plantilla de función & objeto función de algoritmo)
convierte un montículo máximo en un rango de elementos ordenados en orden ascendente
(plantilla de función & objeto función de algoritmo)
encuentra el subrango más grande que es un montículo máximo
(objeto función de algoritmo)