std::experimental::ranges::StrictWeakOrder

 

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

 

Experimentell

Technische Spezifikation

Dateisystembibliothek (Filesystem TS)

Grundlagen der Bibliothek (Library Fundamentals TS)

Grundlagen der Bibliothek 2 (Library Fundamentals TS v2)

Grundlagen der Bibliothek 3 (Library Fundamentals TS v3)

Erweiterungen für Parallelität (Parallelism TS)

Erweiterungen für Parallelität 2 (Parallelism TS v2)

Erweiterungen für Nebenläufigkeit (Concurrency TS)

Erweiterungen für Nebenläufigkeit 2 (Concurrency TS v2)

Konzepte (Concepts TS)

Bereiche (Ranges TS)

Reflektion (Reflection TS)

Mathematische Spezialfunktionen (Special Functions TR)

Experimentell Nicht-TS

Pattern Matching

Lineare Algebra

std::execution

Verträge

2D-Grafik

 

Bereiche (Ranges)

Konzepte

Allgemeine Hilfsmittel

Iteratoren

Bereiche (Ranges)

Algorithmen

 

Konzeptbibliothek

Kernsprachen-Konzepte
Dasselbe DerivedFrom ConvertibleTo	CommonReference Common	Integral SignedIntegral UnsignedIntegral	Assignable SwappableSwappableWith
Objektkonzepte
Destructible Constructible DefaultConstructible	MoveConstructible CopyConstructible	Movable Copyable	Semiregular Regular
Vergleichskonzepte
Boolean	WeaklyEqualityComparableWith	EqualityComparableEqualityComparableWith	StrictTotallyOrderedStrictTotallyOrderedWith
Aufrufbare Konzepte
InvocableRegularInvocable	Predicate	Relation	StrictWeakOrder
URNG-Konzept
UniformRandomNumberGenerator

 

Definiert in Header <experimental/ranges/concepts>
template< class R, class T, class U > concept bool StrictWeakOrder = Relation<R, T, U>;	(1)	(Ranges TS)

Das Konzept StrictWeakOrder<R, T, U> spezifiziert, dass die Relation R eine strikte schwache Ordnung auf ihren Argumenten aufzwingt. Eine Relation r ist eine strikte schwache Ordnung, wenn

• sie irreflexiv ist: für alle x gilt r(x, x) ist falsch;
• sie transitiv ist: für alle a, b und c gilt, wenn r(a, b) und r(b, c) beide wahr sind, dann ist r(a, c) wahr;
• sei e(a, b) gleich !r(a, b) && !r(b, a), dann ist e transitiv: e(a, b) && e(b, c) impliziert e(a, c).

Unter diesen Bedingungen kann gezeigt werden, dass e eine Äquivalenzrelation ist und r eine strikte totale Ordnung auf den durch e bestimmten Äquivalenzklassen induziert.

Hinweise

Die Unterscheidung zwischen Relation und StrictWeakOrder ist rein semantisch.