C++ benannte Anforderungen: Compare

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

C++ benannte Anforderungen

Basis DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible Typeneigenschaften ScalarType PODType TriviallyCopyable (C++11) TrivialType (C++11) StandardLayoutType (C++11)   ImplicitLifetimeType Bibliothekweit BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11) Allocator FunctionObject Callable Predicate BinaryPredicate Compare

Container Container ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer (C++17) AssociativeContainer UnorderedAssociativeContainer (C++11)   Container-Element DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11) EmplaceConstructible (C++11) Erasable (C++11) Iterator LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) Stream-I/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction Formatters BasicFormatter (C++20) Formatter (C++20)

Zufallszahlen SeedSequence (C++11) RandomNumberEngine (C++11) RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11) Concurrency BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11) SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14) Bereiche (Ranges) RangeAdaptorObject (C++20) RangeAdaptorClosureObject (C++20) Mehrdimensionale Ansicht LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) Sonstiges CharTraits RegexTraits (C++11)   BitmaskType LiteralType (C++11) NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

Compare ist eine Menge von Anforderungen, die einige Standardbibliotheksfunktionen an vom Benutzer bereitgestellte Funktionsobjekttypen stellen.

Der Rückgabewert der Funktionsaufrufoperation, die auf ein Objekt eines Typs angewendet wird, der Compare erfüllt, ergibt, wenn er in bool konvertiert wird, true, wenn das erste Argument des Aufrufs vor dem zweiten in der durch diesen Typ induzierten Relation einer strengen schwachen Ordnung steht, und andernfalls false.

Wie bei jedem BinaryPredicate ist die Auswertung dieses Ausdrucks nicht gestattet, nicht-const-Funktionen durch die dereferenzierten Iteratoren aufzurufen, und syntaktisch muss die Funktionsaufrufoperation const-Objektargumente akzeptieren, wobei das Verhalten unabhängig davon gleich ist, ob die Argumente const oder nicht-const sind.

Anforderungen

Der Typ T erfüllt Compare, wenn

• Der Typ T erfüllt 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 angegebenen Effekte haben

Ausdruck	Rückgabetyp	Anforderungen
comp(a, b)	erfüllt BooleanTestable (bis C++20) modelliert boolean-testable (seit C++20)	stellt eine Relation einer strengen schwachen Ordnung mit folgenden Eigenschaften her Für alle a gilt: comp(a, a) == false. Wenn comp(a, b) == true, dann gilt comp(b, a) == false. Wenn comp(a, b) == true und comp(b, c) == true, dann gilt 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 gilt equiv(b, a) == true. Wenn equiv(a, b) == true und equiv(b, c) == true, dann gilt equiv(a, c) == true.

Hinweis: comp induziert eine strikte totale Ordnung über den Äquivalenzklassen, die durch equiv bestimmt werden.

Standardbibliothek

Die folgenden Standardbibliotheksfunktionen erwarten einen Typ Compare.

setzt	Sammlung eindeutiger Schlüssel, sortiert nach Schlüsseln (Klassenvorlage)
map	Sammlung von Schlüssel-Wert-Paaren, sortiert nach Schlüsseln, Schlüssel sind eindeutig (Klassenvorlage)
multiset	Sammlung von Schlüsseln, sortiert nach Schlüsseln (Klassenvorlage)
multimap	Sammlung von Schlüssel-Wert-Paaren, sortiert nach Schlüsseln (Klassenvorlage)
priority_queue	passt einen Container an, um eine Prioritätswarteschlange bereitzustellen (Klassenvorlage)
sort	Sortiert einen Bereich aufsteigend (Funktionstemplate)
sort	sortiert die Elemente (public member function of std::forward_list<T,Allocator>)
sort	sortiert die Elemente (public member function of std::list<T,Allocator>)
stable_sort	Sortiert einen Bereich von Elementen und behält dabei die Reihenfolge zwischen gleichen Elementen bei (Funktionstemplate)
partial_sort	Sortiert die ersten N Elemente eines Bereichs (Funktionstemplate)
partial_sort_copy	Kopiert und sortiert einen Bereich von Elementen teilweise (Funktionstemplate)
is_sorted (C++11)	Prüft, ob ein Bereich aufsteigend sortiert ist (Funktionstemplate)
is_sorted_until (C++11)	Findet den größten sortierten Teilbereich (Funktionstemplate)
nth_element	Sortiert den gegebenen Bereich teilweise, so dass er durch das gegebene Element partitioniert wird (Funktionstemplate)
lower_bound	Gibt einen Iterator zum ersten Element zurück, das nicht kleiner als der gegebene Wert ist (Funktionstemplate)
upper_bound	Gibt einen Iterator zum ersten Element zurück, das *größer* als ein bestimmter Wert ist (Funktionstemplate)
binary_search	Stellt fest, ob ein Element in einem teilweise geordneten Bereich vorhanden ist (Funktionstemplate)
equal_range	gibt den Bereich von Elementen zurück, die einem bestimmten Schlüssel entsprechen (Funktionstemplate)
merge	Führt zwei sortierte Bereiche zusammen (Funktionstemplate)
merge	fügt zwei sortierte Listen zusammen (public member function of std::forward_list<T,Allocator>)
merge	fügt zwei sortierte Listen zusammen (public member function of std::list<T,Allocator>)
inplace_merge	Führt zwei sortierte Bereiche an Ort und Stelle zusammen (Funktionstemplate)
includes	Gibt true zurück, wenn eine Sequenz eine Untersequenz einer anderen ist (Funktionstemplate)
set_difference	Berechnet die Differenz zwischen zwei Mengen (Funktionstemplate)
set_intersection	Berechnet den Schnitt zweier Mengen (Funktionstemplate)
set_symmetric_difference	Berechnet die symmetrische Differenz zwischen zwei Mengen (Funktionstemplate)
set_union	Berechnet die Vereinigung zweier Mengen (Funktionstemplate)
push_heap	Fügt ein Element zu einem Max-Heap hinzu (Funktionstemplate)
pop_heap	Entfernt das größte Element aus einem Max-Heap (Funktionstemplate)
make_heap	Erstellt aus einem Bereich von Elementen einen Max-Heap (Funktionstemplate)
sort_heap	Verwandelt einen Max-Heap in einen aufsteigend sortierten Bereich von Elementen (Funktionstemplate)
is_heap (C++11)	Prüft, ob der gegebene Bereich ein Max-Heap ist (Funktionstemplate)
is_heap_until (C++11)	Findet den größten Teilbereich, der ein Max-Heap ist (Funktionstemplate)
max	Gibt den größeren der beiden Werte zurück (Funktionstemplate)
max_element	Gibt das größte Element in einem Bereich zurück (Funktionstemplate)
min	Gibt den kleineren der beiden Werte zurück (Funktionstemplate)
min_element	gibt das kleinste Element in einem Bereich zurück (Funktionsvorlage)
minmax (C++11)	gibt die kleinere und größere von zwei Elementen zurück (Funktionsvorlage)
minmax_element (C++11)	gibt das kleinste und das größte Element in einem Bereich zurück (Funktionsvorlage)
lexicographical_compare	gibt true zurück, wenn ein Bereich lexikographisch kleiner als ein anderer ist (Funktionsvorlage)
next_permutation	erzeugt die nächstgrößere lexikographische Permutation eines Bereichs von Elementen (Funktionsvorlage)
prev_permutation	erzeugt die nächstkleinere lexikographische Permutation eines Bereichs von Elementen (Funktionsvorlage)

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 2114 (P2167R3)	C++98	kontextbezogene Konvertierbarkeit von Rückgabetypen in bool spiegelte nicht die Praxis von Implementierungen wider	Anforderungen korrigiert
LWG 3031	C++98	Anforderungen an const-Werte waren unzureichend	Anforderungen verstärkt

Siehe auch

strict_weak_order (C++20)	gibt an, dass eine Relation eine strikt schwache Ordnung darstellt (Konzept)
Vergleichsoperatoren	<, <=, >, >=, ==, != und <=> (C++20), vergleicht die Argumente