Namensräume
Varianten
Aktionen

std::push_heap

Von cppreference.com
< cpp‎ | algorithm
 
 
Algorithmenbibliothek
Beschränkte Algorithmen und Algorithmen für Bereiche (C++20)
Beschränkte Algorithmen, z.B. ranges::copy, ranges::sort, ...
Ausführungsrichtlinien (C++17)
Nicht-modifizierende Sequenzoperationen
Stapeloperationen
(C++17)
Suchoperationen
(C++11)                (C++11)(C++11)

Modifizierende Sequenzoperationen
Kopieroperationen
(C++11)
(C++11)
Tauschoperationen
Transformationsoperationen
Generierungsoperationen
Entfernungsoperationen
Ordnungsändernde Operationen
(bis C++17)(C++11)
(C++20)(C++20)
Stichprobenoperationen
(C++17)

Sortier- und verwandte Operationen
Partitionierungsoperationen
Sortieroperationen
Binäre Suchoperationen
(auf partitionierten Bereichen)
Mengenoperationen (auf sortierten Bereichen)
Zusammenführungsoperationen (auf sortierten Bereichen)
Heapoperationen
push_heap
Minimum/Maximum-Operationen
(C++11)
(C++17)
Lexikographische Vergleichsoperationen
Permutationsoperationen
C-Bibliothek
Numerische Operationen
Operationen auf uninitialisiertem Speicher
 
Definiert in Header <algorithm>
template< class RandomIt >
void push_heap( RandomIt first, RandomIt last );
(1) (constexpr seit C++20)
template< class RandomIt, class Compare >
void push_heap( RandomIt first, RandomIt last, Compare comp );
(2) (constexpr seit C++20)

Fügt das Element an der Position last - 1 in den Heap [firstlast - 1) ein. Der Heap nach der Einfügung ist [firstlast).

1) Der Heap wird bezüglich operator<(bis C++20)std::less{}(seit C++20) gebildet.
2) Der Heap wird bezüglich comp gebildet.

Wenn eine der folgenden Bedingungen erfüllt ist, ist das Verhalten undefiniert

  • [firstlast - 1) ist kein Heap bezüglich des entsprechenden Vergleichers.
(bis C++11)
(seit C++11)

Inhalt

[bearbeiten] Parameter

first, last - das Iteratorenpaar, das den Bereich der Elemente definiert, die nach der Einfügung den Binär-Heap bilden
comp - Ein Vergleichsfunktions-Objekt (d.h. ein Objekt, das die Anforderungen an Compare erfüllt), das true zurückgibt, wenn das erste Argument *weniger* als das zweite ist.

Die Signatur der Vergleichsfunktion sollte äquivalent zu Folgendem sein

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

Obwohl die Signatur nicht const& haben muss, darf die Funktion die übergebenen Objekte nicht modifizieren und muss alle Werte vom Typ (möglicherweise const) Type1 und Type2 unabhängig von der Wertkategorie akzeptieren (daher ist Type1& nicht erlaubt, und auch nicht Type1, es sei denn, für Type1 ist ein Move äquivalent zu einer Kopie(seit C++11)).
Die Typen Type1 und Type2 müssen so beschaffen sein, dass ein Objekt vom Typ RandomIt dereferenziert und dann implizit in beide konvertiert werden kann.

Typanforderungen
-
RandomIt muss die Anforderungen an einen LegacyRandomAccessIterator erfüllen.
-
Compare muss die Anforderungen an Compare erfüllen.

[bearbeiten] Komplexität

Gegeben sei N als std::distance(first, last).

1) Höchstens log(N) Vergleiche unter Verwendung von operator<(bis C++20)std::less{}(seit C++20).
2) Höchstens log(N) Aufrufe der Vergleichsfunktion comp.

[bearbeiten] Beispiel

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

Ausgabe

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

[bearbeiten] Fehlerberichte

Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR angewendet auf Verhalten wie veröffentlicht Korrigiertes Verhalten
LWG 3032 C++98 die Elemente von [firstlast) mussten nicht tauschbar sein Gefordert

[bearbeiten] Siehe auch

(C++11)
Prüft, ob der gegebene Bereich ein Max-Heap ist
(Funktionstemplate) [edit]
Findet den größten Teilbereich, der ein Max-Heap ist
(Funktionstemplate) [edit]
Erstellt aus einem Bereich von Elementen einen Max-Heap
(Funktionstemplate) [edit]
Entfernt das größte Element aus einem Max-Heap
(Funktionstemplate) [edit]
Verwandelt einen Max-Heap in einen aufsteigend sortierten Bereich von Elementen
(Funktionstemplate) [edit]
Fügt ein Element zu einem Max-Heap hinzu
(Algorithmus-Funktionsobjekt)[edit]