std::strong_ordering

 

C++

Sprache

Concepts

Utilities-Bibliothek

Strings Bibliothek

Container-Bibliothek

Algorithmen-Bibliothek

Iteratoren Bibliothek

Numerik-Bibliothek

Input / Output-Bibliothek

Lokalisierungen Bibliothek

Reguläre Ausdrücke Bibliothek (C++11)

Atomare Operationen Bibliothek (C++11)

Thread Support-Bibliothek (C++11)

 

Utilities-Bibliothek

Typen Unterstützung (basic types, RTTI, type traits)

Dynamische Speicherverwaltung

Fehlerbehandlung

Programm Unterstützung

Variadic Funktionen

Datum und Uhrzeit

Funktionsobjekte

initializer_list (C++11)

bitset

hash (C++11)

Relationale Operatoren

rel_ops::operator!= rel_ops::operator> rel_ops::operator<= rel_ops::operator>=

Paare und Tupel

pair

tuple (C++11)

piecewise_construct_t (C++11)

piecewise_construct (C++11)

Swap, forward und move

swap

forward (C++11)

move (C++11)

move_if_noexcept (C++11)

declval (C++11)

 

<tbody> </tbody>

definiert in Header <compare>
class strong_ordering;

Die Klasse std::strong_ordering ist das Ergebnis eines 3-Wegevergleichs, der

• alle 6 Beziehungsoperatoren (==, !=, <, <=, >, >=) erlaubt.

• Ersetzbarkeit verlangt: Falls a äquivalent zu b ist, so ist f(a) auch äquivalent zu f(b), wobei f eine Funktion beschreibt, die nur vergleichsrelevante Zustände liest, die über öffentliche Objektendaten der Argumente zugreifbar sind. Äquivalente Werte sind ununterscheidbar.
• keine unvergleichbaren Werte erlaubt, d.h. genau eine Aussage von a < b, a == b oder a > b muß wahr sein.

Konstanten

Der Typ std::strong_ordering besitzt vier Gültigkeitswerte, die als statische, konstante Objektdaten implementiert sind:

Objektkonstanten	Definition
less(inline constexpr) [statisch]	ein Gültigkeitswert vom Typ std::strong_ordering, der eine kleiner-als-Beziehung (davor einordnen) beschreibt (public static Mitglied konstanten)
equivalent(inline constexpr) [statisch]	ein Gültigkeitswert vom Typ std::strong_ordering, der eine Äquivalenzbeziehung (weder davor noch danach einordnen) beschreibt. Das Gleiche wie equal. (public static Mitglied konstanten)
equal(inline constexpr) [statisch]	ein Gültigkeitswert vom Typ std::strong_ordering, der eine Äquivalenzbeziehung (weder davor noch danach einordnen) beschreibt. Das Gleiche wie equivalent. (public static Mitglied konstanten)
greater(inline constexpr) [statisch]	ein Gültigkeitswert vom Typ std::strong_ordering, der eine größer-als-Beziehung (danach einordnen) beschreibt (public static Mitglied konstanten)

Konvertierungen

std::strong_ordering ist die Vergleichskategorie mit den stärksten Bedingungen. Sie ist implizit nicht aus den anderen beiden Kategorien konvertierbar, aber läßt sich implizit in diese konvertieren.

operator partial_ordering	implizite Konvertierung nach std::partial_ordering (öffentliche Elementfunktion)

std::strong_ordering::operator partial_ordering

<tbody> </tbody>

constexpr operator partial_ordering() const noexcept;

Rückgabewert

std::partial_ordering::less, falls v kleiner ist, std::partial_ordering::greater, falls v größer ist, und std::partial_ordering::equivalent, falls v gleich oder äquivalent ist.

operator weak_ordering	implizite Konvertierung nach std::weak_ordering (öffentliche Elementfunktion)

std::strong_ordering::operator weak_ordering

<tbody> </tbody>

constexpr operator weak_ordering() const noexcept;

Rückgabewert

std::partial_ordering::less, falls v kleiner ist, std::partial_ordering::greater, falls v größer ist, und std::partial_ordering::equivalent, falls v gleich oder äquivalent ist.

Vergleiche

Vergleichsoperatoren sind definiert zwischen Werten dieses Typs und der generischen 0. Dieses unterstützt Ausdrücke der Form a <=> b == 0 oder a <=> b < 0, welche benutzt werden können, um das Ergebnis des 3-Wegevergleichs in eine boolschen Beziehung zu bringen (hierzu auch std::is_eq, std::is_lt etc).

Diese Funktionen sind nicht sichtbar bei der normalen nicht qualifizierten oder qualifizierten Suche und {{#ifeq:YES|YES|können|kann} nur durch argumentenabhängige Suche gefunden werden, falls std::strong_ordering ein Klasse der Argumente ist.

Das Verhalten eines Programms, welches versucht {tt|strong_ordering}} mit etwas anderes als einer generischen 0 zu vergleichen, ist undefiniert.

operator== operator< operator> operator<= operator>= operator<=>	vergleicht mit Null oder strong_ordering (Funktion)

operator==

<tbody> </tbody>

friend constexpr bool operator==(strong_ordering v, /*unspecified*/ u) noexcept;	(1)
friend constexpr bool operator==(strong_ordering v, strong_ordering w) noexcept = default;	(2)

Parameter

v, w	-	ein Wert vom Typ std::strong_ordering zum Vergleich
u	-	ein unbenutzter Parameter eines beliebigen Typs, der eine generische Null als Argument akzeptiert

Rückgabewert

1) true, falls v äquivalent oder Vorlage:t ist, und false, falls v kleiner oder größer ist.

2) true, falls beide Parameter den selben Wert haben, ansonsten false. Hierbei ist gleich dasselbe wie äquivalent.

operator<

<tbody> </tbody>

friend constexpr bool operator<(strong_ordering v, /*unspecified*/ u) noexcept;	(1)
friend constexpr bool operator<(/*unspecified*/ u, strong_ordering v) noexcept;	(2)

Parameter

v, w	-	ein Wert vom Typ std::strong_ordering zum Vergleich
u	-	ein unbenutzter Parameter eines beliebigen Typs, der eine generische Null als Argument akzeptiert

Rückgabewert

1) true, falls v kleiner ist, und false, falls v äquivalent, equal oder größer ist.

1) true, falls v größer ist, und false, falls v äquivalent, equal oder kleiner ist.

operator<=

<tbody> </tbody>

friend constexpr bool operator<=(strong_ordering v, /*unspecified*/ u) noexcept;	(1)
friend constexpr bool operator<=(/*unspecified*/ u, strong_ordering v) noexcept;	(2)

Parameter

v, w	-	ein Wert vom Typ std::strong_ordering zum Vergleich
u	-	ein unbenutzter Parameter eines beliebigen Typs, der eine generische Null als Argument akzeptiert

Rückgabewert

1) true, falls v kleiner, equal oder äquivalent ist, und false, falls v größer ist.

1) true, falls v größer, oder äquivalent ist, und false, falls v kleiner ist.

operator>

<tbody> </tbody>

friend constexpr bool operator>(strong_ordering v, /*unspecified*/ u) noexcept;	(1)
friend constexpr bool operator>(/*unspecified*/ u, strong_ordering v) noexcept;	(2)

Parameter

v, w	-	ein Wert vom Typ std::strong_ordering zum Vergleich
u	-	ein unbenutzter Parameter eines beliebigen Typs, der eine generische Null als Argument akzeptiert

Rückgabewert

1) true, falls v größerr ist, und false, falls v äquivalent, oder kleiner ist.

1) true, falls v kleiner ist, und false, falls v äquivalent, equal oder größer ist.

operator>=

<tbody> </tbody>

friend constexpr bool operator>=(strong_ordering v, /*unspecified*/ u) noexcept;	(1)
friend constexpr bool operator>=(/*unspecified*/ u, strong_ordering v) noexcept;	(2)

Parameter

v, w	-	ein Wert vom Typ std::strong_ordering zum Vergleich
u	-	ein unbenutzter Parameter eines beliebigen Typs, der eine generische Null als Argument akzeptiert

Rückgabewert

1) true, falls v größer, equal oder äquivalent ist, und false, falls v kleiner ist.

1) true, falls v kleiner, equal oder äquivalent ist, und false, falls v größer ist.

operator<=>

<tbody> </tbody>

friend constexpr strong_ordering operator<=>(strong_ordering v, /*unspecified*/ u) noexcept;	(1)
friend constexpr strong_ordering operator<=>(/*unspecified*/ u, strong_ordering v) noexcept;	(2)

Parameter

v, w	-	ein Wert vom Typ std::strong_ordering zum Vergleich
u	-	ein unbenutzter Parameter eines beliebigen Typs, der eine generische Null als Argument akzeptiert

Rückgabewert

1) v.

2) greater, falls v less ist, less, falls v greater ist, ansonsten v.

Referenzen

weak_ordering (C++20)	das Ergebnis eines 3-Wegevergleichs, der alle 6 Operatoren unterstützt und nicht ersetzbar ist (Klasse)
partial_ordering (C++20)	der Ergebnistyp des 3-Wegevergleichs, der alle 6 Operatoren unterstützt, nicht ersetzbar ist und nichtvergleichbare Werte erlaubt (Klasse)