Namespaces
Variants

std::push_heap

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 particionado
(C++11)    

Operaciones de ordenación
Operaciones de búsqueda binaria
(en rangos particionados)
Operaciones de conjunto (en rangos ordenados)
Operaciones de fusión (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 >
void push_heap( RandomIt first, RandomIt last );
(1) (constexpr desde C++20)
template< class RandomIt, class Compare >
void push_heap( RandomIt first, RandomIt last, Compare comp );
(2) (constexpr desde C++20)

Inserta el elemento en la posición last - 1 en el montículo [first, last - 1). El montículo después de la inserción será [first, last).

1) El montículo es con respecto a operator<(hasta C++20)std::less{}(desde C++20).
2) El montículo es con respecto a comp.

Si se cumple alguna de las siguientes condiciones, el comportamiento no está definido:

  • [first, last - 1) no es un montículo con respecto al comparador correspondiente.
(hasta C++11)
(desde C++11)

Parámetros

first, last - el par de iteradores que definen el rango de elementos que forman el montículo binario después de la inserción
comp - objeto de 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 la siguiente:

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 tampoco Type1 a menos que para Type1 una operación de 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.

Complejidad

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

1) A lo sumo log(N) comparaciones usando operator<(hasta C++20)std::less{}(desde C++20).
2) A lo sumo log(N) aplicaciones de la función de comparación comp.

Ejemplo

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

void println(std::string_view rem, const std::vector<int>& v)
{
    std::cout << rem;
    for (int e : v)
        std::cout << e << ' ';
    std::cout << '\n';
}

int main()
{
    std::vector<int> v{3, 1, 4, 1, 5, 9};
    
    std::make_heap(v.begin(), v.end());
    println("after make_heap: ", v);
    
    v.push_back(6);
    println("after push_back: ", v);
    
    std::push_heap(v.begin(), v.end());
    println("after push_heap: ", v);
}

Salida:

after make_heap: 9 5 4 1 1 3
after push_back: 9 5 4 1 1 3 6
after push_heap: 9 5 6 1 1 3 4

Informes de defectos

Los siguientes informes de defectos que cambian el comportamiento se aplicaron retroactivamente a estándares C++ publicados anteriormente.

DR Aplicado a Comportamiento como se publicó Comportamiento correcto
LWG 3032 C++98 los elementos de [first, last) no se requería que fueran intercambiables requerido

Véase también

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