std:: pop_heap
|
Défini dans l'en-tête
<algorithm>
|
||
|
template
<
class
RandomIt
>
void pop_heap ( RandomIt first, RandomIt last ) ; |
(1) | (constexpr depuis C++20) |
|
template
<
class
RandomIt,
class
Compare
>
void pop_heap ( RandomIt first, RandomIt last, Compare comp ) ; |
(2) | (constexpr depuis C++20) |
Échange la valeur à la position
first
avec la valeur à la position
last
-
1
et transforme le sous-intervalle
[
first
,
last
-
1
)
en un tas. Cela a pour effet de retirer le premier élément du
tas
[
first
,
last
)
.
[
first
,
last
)
est un tas par rapport à
operator
<
(jusqu'à C++20)
std::
less
{
}
(depuis C++20)
.
[
first
,
last
)
est un tas par rapport à
comp
.
Si l'une des conditions suivantes est satisfaite, le comportement est indéfini :
-
[first,last)est vide. -
[first,last)n'est pas un tas par rapport au comparateur correspondant.
|
(jusqu'à C++11) |
|
(depuis C++11) |
Table des matières |
Paramètres
| first, last | - | la paire d'itérateurs définissant la plage non vide du tas binaire des éléments à modifier (extraire l'élément racine) |
| comp | - |
objet fonction de comparaison (c'est-à-dire un objet qui satisfait aux exigences de
Compare
) qui renvoie
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 du type (éventuellement const)
|
| Exigences de type | ||
-
RandomIt
doit satisfaire aux exigences de
LegacyRandomAccessIterator
.
|
||
-
Compare
doit satisfaire aux exigences de
Compare
.
|
||
Complexité
Étant donné N comme std:: distance ( first, last ) :
Exemple
#include <algorithm> #include <iostream> #include <string_view> #include <type_traits> #include <vector> void println(std::string_view rem, const auto& v) { std::cout << rem; if constexpr (std::is_scalar_v<std::decay_t<decltype(v)>>) std::cout << v; else 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); std::pop_heap(v.begin(), v.end()); // déplace le plus grand à la fin println("after pop_heap: ", v); int largest = v.back(); println("largest element: ", largest); v.pop_back(); // supprime effectivement le plus grand élément println("after pop_back: ", v); }
Sortie :
after make_heap: 9 5 4 1 1 3 after pop_heap: 5 3 4 1 1 9 largest element: 9 after pop_back: 5 3 4 1 1
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 | S'applique à | Comportement tel que publié | Comportement corrigé |
|---|---|---|---|
| LWG 1205 | C++98 |
le comportement n'était pas clair si
[
first
,
last
)
est vide
|
le comportement est indéfini dans ce cas |
Voir aussi
|
ajoute un élément à un tas max
(modèle de fonction) |
|
|
(C++11)
|
vérifie si la plage donnée est un tas max
(modèle de fonction) |
|
(C++11)
|
trouve la plus grande sous-plage qui est un tas max
(modèle de fonction) |
|
crée un tas max à partir d'une plage d'éléments
(modèle de fonction) |
|
|
transforme un tas max en une plage d'éléments triés par ordre croissant
(modèle de fonction) |
|
|
(C++20)
|
supprime le plus grand élément d'un tas max
(objet fonction algorithme) |