C++ benannte Anforderungen: LessThanComparable

 

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)

 

Der Typ muss mit dem < Operator funktionieren und das Ergebnis muss eine Standardsemantik haben.

Anforderungen

Der Typ T erfüllt LessThanComparable, wenn für Ausdrücke a, b und c vom Typ T oder const T(seit C++11), der folgende Ausdruck gültig ist und seine spezifizierten Effekte hat

Ausdruck	Typ	Effekte
a < b	erfüllt BooleanTestable (bis C++20)	Eine strikt schwache Ordnungsrelation mit den folgenden Eigenschaften Für alle a ergibt !(a < a) den Wert true. Wenn a < b, dann gilt !(b < a). Wenn a < b und b < c, dann gilt a < c. Definiert man equiv(a, b) als !(a < b) && !(b < a), dann gilt für equiv(a, b) und equiv(b, c) auch equiv(a, c).
	modelliert boolean-testable (seit C++20)

Anmerkungen

Um diese Anforderung zu erfüllen, müssen Typen, die keine integrierten Vergleichsoperatoren haben, einen benutzerdefinierten Operator operator< bereitstellen.

Für Typen, die sowohl EqualityComparable als auch LessThanComparable sind, unterscheidet die C++-Standardbibliothek zwischen

• Gleichheit, was der Wert des Ausdrucks a == b ist, und
• Äquivalenz, was der Wert des Ausdrucks !(a < b) && !(b < a) ist.

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	Konvertierbarkeit in bool war zu schwach, um die Erwartungen der Implementierungen widerzuspiegeln	Anforderungen verstärkt

Siehe auch

Compare	Ein Binärer Prädikat, das eine Ordnungsrelation etabliert (benannte Anforderung)
strict_weak_order (C++20)	gibt an, dass eine Relation eine strikt schwache Ordnung darstellt (Konzept)