C++ named requirements: Compare

Compare ist eine Reihe von Anforderungen, die von einigen Standardbibliothekseinrichtungen an die vom Benutzer bereitgestellten Funktionsobjekttypen erwartet werden.

Der Rückgabewert des Funktionsaufrufoperators, angewendet auf ein Objekt eines Typs, der Compare erfüllt, ergibt konvertiert zu bool den Wert true , wenn das erste Argument des Aufrufs in der strikten schwachen Ordnungsrelation , die durch diesen Typ induziert wird, vor dem zweiten erscheint, und false andernfalls.

Wie bei jedem BinaryPredicate darf die Auswertung dieses Ausdrucks keine nicht-konstanten Funktionen durch die dereferenzierten Iteratoren aufrufen und, syntaktisch gesehen, muss der Funktionsaufruf const -Objektargumente akzeptieren, mit demselben Verhalten unabhängig davon, ob die Argumente const oder nicht- const sind.

Inhaltsverzeichnis 1 Anforderungen 2 Standardbibliothek 3 Fehlerberichte 4 Siehe auch

Anforderungen

Der Typ T erfüllt Compare wenn

• Der Typ T erfüllt die Anforderungen eines BinaryPredicate , und

Gegeben

• comp , ein Objekt vom Typ T ,
• equiv ( a, b ) , ein ausdrucksäquivalenter Ausdruck zu ! comp ( a, b ) && ! comp ( b, a ) .

Die folgenden Ausdrücke müssen gültig sein und ihre spezifizierten Effekte haben:

Ausdruck	Rückgabetyp	Anforderungen
comp ( a, b )	erfüllt BooleanTestable (bis C++20) modelliert boolean-testable (seit C++20)	Stellt eine strikte schwache Ordnungsrelation mit folgenden Eigenschaften her: Für alle a gilt: comp ( a, a ) == false . Wenn comp ( a, b ) == true , dann comp ( b, a ) == false . Wenn comp ( a, b ) == true und comp ( b, c ) == true , dann comp ( a, c ) == true .
equiv ( a, b )	bool	Stellt eine Äquivalenzrelation mit folgenden Eigenschaften her: Für alle a gilt: equiv ( a, a ) == true . Wenn equiv ( a, b ) == true , dann equiv ( b, a ) == true . Wenn equiv ( a, b ) == true und equiv ( b, c ) == true , dann equiv ( a, c ) == true .

Hinweis: comp induziert eine strenge Totalordnung auf den Äquivalenzklassen, die durch equiv bestimmt werden.

Standardbibliothek

Die folgenden Standardbibliothekseinrichtungen erwarten einen Compare -Typ.

set	Sammlung eindeutiger Schlüssel, sortiert nach Schlüsseln (Klassentemplate)
map	Sammlung von Schlüssel-Wert-Paaren, nach Schlüsseln sortiert, Schlüssel sind eindeutig (Klassen-Template)
multiset	Sammlung von Schlüsseln, sortiert nach Schlüsseln (Klassentemplate)
multimap	Sammlung von Schlüssel-Wert-Paaren, nach Schlüsseln sortiert (Klassen-Template)
priority_queue	passt einen Container an, um eine Prioritätswarteschlange bereitzustellen (Klassentemplate)
sort	sortiert einen Bereich in aufsteigender Reihenfolge (Funktions-Template)
sort	sortiert die Elemente (öffentliche Elementfunktion von std::forward_list<T,Allocator> )
sort	sortiert die Elemente (öffentliche Elementfunktion von std::list<T,Allocator> )
stable_sort	Sortiert eine Reihe von Elementen, während die Reihenfolge zwischen gleichen Elementen erhalten bleibt (Funktionsschablone)
partial_sort	sortiert die ersten N Elemente eines Bereichs (Funktions-Template)
partial_sort_copy	kopiert und teilweise sortiert einen Bereich von Elementen (Funktions-Template)
is_sorted (C++11)	prüft, ob ein Bereich in aufsteigender Reihenfolge sortiert ist (Funktionsschablone)
is_sorted_until (C++11)	findet den größten sortierten Teilbereich (Funktionsschablone)
nth_element	sortiert den gegebenen Bereich teilweise und stellt sicher, dass er durch das gegebene Element partitioniert wird (Funktions-Template)
lower_bound	gibt einen Iterator zum ersten Element zurück, das nicht kleiner als der gegebene Wert ist (Funktions-Template)
upper_bound	gibt einen Iterator zum ersten Element zurück, größer als ein bestimmter Wert (Funktions-Template)
binary_search	bestimmt, ob ein Element in einem teilweise geordneten Bereich existiert (Funktionsschablone)
equal_range	gibt den Bereich der Elemente zurück, die einem spezifischen Schlüssel entsprechen (Funktions-Template)
merge	vereinigt zwei sortierte Bereiche (Funktions-Template)
merge	vereinigt zwei sortierte Listen (öffentliche Elementfunktion von std::forward_list<T,Allocator> )
merge	vereinigt zwei sortierte Listen (öffentliche Elementfunktion von std::list<T,Allocator> )
inplace_merge	verbindet zwei geordnete Bereiche direkt (Funktionsschablone)
includes	gibt true zurück, falls eine Sequenz eine Teilsequenz einer anderen ist (Funktions-Template)
set_difference	berechnet die Differenz zwischen zwei Mengen (Funktions-Template)
set_intersection	berechnet die Schnittmenge zweier Mengen (Funktionsschablone)
set_symmetric_difference	berechnet die symmetrische Differenz zweier Mengen (Funktionsschablone)
set_union	berechnet die Vereinigung zweier Mengen (Funktions-Template)
push_heap	fügt ein Element zu einem Max-Heap hinzu (Funktions-Template)
pop_heap	entfernt das größte Element aus einem Max-Heap (Funktions-Template)
make_heap	erstellt einen Max-Heap aus einer Reihe von Elementen (Funktions-Template)
sort_heap	wandelt einen Max-Heap in einen Bereich von Elementen um, die in aufsteigender Reihenfolge sortiert sind (Funktions-Template)
is_heap (C++11)	prüft, ob der gegebene Bereich ein Max-Heap ist (Funktions-Template)
is_heap_until (C++11)	findet den größten Teilbereich, der einen Max-Heap darstellt (Funktionsschablone)
max	gibt den größeren der gegebenen Werte zurück (Funktions-Template)
max_element	gibt das größte Element in einem Bereich zurück (Funktions-Template)
min	gibt den kleineren der gegebenen Werte zurück (Funktions-Template)
min_element	gibt das kleinste Element in einem Bereich zurück (Funktions-Template)
minmax (C++11)	gibt das kleinere und größere von zwei Elementen zurück (Funktions-Template)
minmax_element (C++11)	gibt die kleinsten und größten Elemente in einem Bereich zurück (Funktionsschablone)
lexicographical_compare	gibt true zurück, wenn ein Bereich lexikographisch kleiner als ein anderer ist (Funktions-Template)
next_permutation	erzeugt die nächstgrößere lexikografische Permutation eines Elementbereichs (Funktions-Template)
prev_permutation	erzeugt die nächstkleinere lexikografische Permutation eines Elementbereichs (Funktionsschablone)

Fehlerberichte

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

DR	Angewendet auf	Verhalten wie veröffentlicht	Korrektes Verhalten
LWG 2114 ( P2167R3 )	C++98	kontextuelle Konvertierbarkeit von Rückgabetypen zu bool entsprach nicht der Praxis der Implementierungen	Anforderungen korrigiert
LWG 3031	C++98	Anforderungen an const Werte waren unzureichend	Anforderungen verstärkt

Siehe auch

strict_weak_order (C++20)	spezifiziert, dass eine relation eine strikte schwache Ordnung erzeugt (Konzept)
Vergleichsoperatoren	< , <= , > , >= , == , != , und <=> (C++20) , vergleichen die Argumente