Namespaces
Variants

std::experimental::ranges:: greater_equal

From cppreference.net
template < class T = void >

requires StrictTotallyOrdered < T > ||
Same < T, void > ||
/* < on two const T lvalues invokes a built-in operator comparing pointers */

struct greater_equal ;
(ranges TS)
template <>
struct greater_equal < void > ;
(ranges TS)

Funktionsobjekt zum Durchführen von Vergleichen. Die primäre Template-Variante ruft operator < auf const Lvalues vom Typ T auf und negiert das Ergebnis. Die Spezialisierung greater_equal<void> leitet die Parametertypen des Funktionsaufrufoperators aus den Argumenten ab (aber nicht den Rückgabetyp).

Alle Spezialisierungen von greater_equal sind Semiregular .

Inhaltsverzeichnis

Mitgliedertypen

Mitgliedertyp Definition
is_transparent (nur Mitglied von greater_equal<void> Spezialisierung) /* nicht spezifiziert */

Memberfunktionen

operator()
prüft, ob das erste Argument größer als oder gleich dem zweiten ist
(public member function)

std::experimental::ranges::greater_equal:: operator()

constexpr bool operator ( ) ( const T & x, const T & y ) const ;
(1) (nur Mitglied der primären greater_equal<T> -Vorlage)
template < class T, class U >

requires StrictTotallyOrderedWith < T, U > ||
/* std::declval<T>() < std::declval<U>() wird zu
einem eingebauten Operator aufgelöst, der Zeiger vergleicht */

constexpr bool operator ( ) ( T && t, U && u ) const ;
(2) (nur Mitglied der greater_equal<void> -Spezialisierung)
1) Vergleicht x und y . Entspricht return ! ranges:: less <> { } ( x, y ) ; .
2) Vergleicht t und u . Entspricht return ! ranges:: less <> { } ( std:: forward < T > ( t ) , std:: forward < U > ( u ) ) ; .

Hinweise

Im Gegensatz zu std::greater_equal erfordert ranges::greater_equal alle sechs Vergleichsoperatoren < , <= , > , >= , == und != gültig zu sein (über die StrictTotallyOrdered und StrictTotallyOrderedWith Constraints) und ist vollständig in Bezug auf ranges::less definiert. Allerdings ist die Implementierung frei, operator >= direkt zu verwenden, da diese Konzepte erfordern, dass die Ergebnisse der Vergleichsoperatoren konsistent sind.

Beispiel

Siehe auch

Funktionsobjekt, das x >= y implementiert
(Klassentemplate)