Namespaces
Variants

std::push_heap

Depuis fr.cppreference.net
 
 
Bibliothèque d'algorithmes
Algorithmes contraints et algorithmes sur les plages (C++20)
Algorithmes contraints, par exemple ranges::copy, ranges::sort, ...
Opérations de séquence non modificatrices    
Opérations par lots
(C++17)
Opérations de recherche
Opérations de séquence modificatrices
Opérations de copie
(C++11)
(C++11)
Opérations d'échange
Opérations de transformation
Opérations de génération
Opérations de suppression
Opérations de changement d'ordre
(jusqu'à C++17)(C++11)
(C++20)(C++20)
Opérations d'échantillonnage
(C++17)

Opérations de tri et connexes
Opérations de partitionnement
(C++11)    

Opérations de tri
Opérations de recherche binaire
(sur des plages partitionnées)
Opérations d'ensemble (sur des plages triées)
Opérations de fusion (sur des plages triées)
Opérations de tas
Opérations de minimum/maximum
(C++11)
(C++17)
Opérations de comparaison lexicographique
Opérations de permutation


 
Défini dans l'en-tête <algorithm>
template< class RandomIt >
void push_heap( RandomIt first, RandomIt last );
(1) (constexpr depuis C++20)
template< class RandomIt, class Compare >
void push_heap( RandomIt first, RandomIt last, Compare comp );
(2) (constexpr depuis C++20)

Insère l'élément à la position last - 1 dans le tas [firstlast - 1). Le tas après l'insertion sera [firstlast).

1) Le tas est selon operator<(jusqu'à C++20)std::less{}(depuis C++20).
2) Le tas est selon comp.

Si l'une des conditions suivantes est satisfaite, le comportement est indéfini :

  • [firstlast - 1) n'est pas un tas selon le comparateur correspondant.
(jusqu'à C++11)
(depuis C++11)

Paramètres

first, last - la paire d'itérateurs définissant la plage d'éléments qui forment le tas binaire après l'insertion
comp - objet fonction de comparaison (c'est-à-dire un objet qui satisfait les exigences de Compare) qui retourne true si le premier argument est inférieur au second.

La signature de la fonction de comparaison doit être équivalente à ce qui suit :

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

Bien que la signature n'ait pas besoin d'avoir const&, la fonction ne doit pas modifier les objets qui lui sont passés et doit pouvoir accepter toutes les valeurs de type (éventuellement const) Type1 et Type2 quelle que soit la catégorie de valeur (ainsi, Type1& n'est pas autorisé, ni Type1 sauf si pour Type1 un déplacement est équivalent à une copie(depuis C++11)).
Les types Type1 et Type2 doivent être tels qu'un objet de type RandomIt puisse être déréférencé puis implicitement converti en chacun d'eux.

Exigences de type
-
RandomIt doit satisfaire les exigences de LegacyRandomAccessIterator.
-
Compare doit satisfaire les exigences de Compare.

Complexité

Étant donné N comme std::distance(first, last):

1) Au plus log(N) comparaisons en utilisant operator<(jusqu'à C++20)std::less{}(depuis C++20).
2) Au plus log(N) applications de la fonction de comparaison comp.

Exemple

#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);
}

Sortie :

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

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

DR Appliqué à Comportement tel que publié Comportement correct
LWG 3032 C++98 les éléments de [firstlast) ne devait pas être échangeable requis

Voir aussi

(C++11)
vérifie si la plage donnée est un tas max
(modèle de fonction & objet fonction d'algorithme)
trouve la plus grande sous-plage qui est un tas max
(modèle de fonction & objet fonction d'algorithme)
crée un tas max à partir d'une plage d'éléments
(modèle de fonction & objet fonction d'algorithme)
supprime le plus grand élément d'un tas max
(modèle de fonction & objet fonction d'algorithme)
transforme un tas max en une plage d'éléments triés par ordre croissant
(modèle de fonction & objet fonction d'algorithme)
ajoute un élément à un tas max
(objet fonction d'algorithme)