std::ranges:: equal_to
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Old binders and adaptors | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Definiert im Header
<functional>
|
||
|
struct
equal_to
;
|
(seit C++20) | |
Funktionsobjekt zum Durchführen von Vergleichen. Die Parametertypen des Funktionsaufrufoperators (aber nicht der Rückgabetyp) werden von den Argumenten abgeleitet.
Inhaltsverzeichnis |
Verschachtelte Typen
| Geschachtelter Typ | Definition |
is_transparent
|
unspecified |
Memberfunktionen
|
operator()
|
prüft, ob die Argumente
gleich
sind
(public member function) |
std::ranges::equal_to:: operator()
|
template
<
class
T,
class
U
>
constexpr bool operator ( ) ( T && t, U && u ) const ; |
||
Gegeben den Ausdruck std:: forward < T > ( t ) == std:: forward < U > ( u ) als expr :
-
Wenn
expr
zu einem Aufruf des
eingebauten
operator
==
für Zeigervergleiche führt, und der
zusammengesetzte Zeigertyp
von
t
und
u
als
Pangenommen wird:
-
-
Für die beiden konvertierten Zeiger (vom Typ
P), wenn ein Zeiger dem anderen in der implementierungsdefinierten strengen Totalordnung über Zeiger vorausgeht, wird false zurückgegeben, andernfalls wird true zurückgegeben. -
Wenn die Konvertierungssequenz von
TzuPoder die Konvertierungssequenz vonUzuPnicht gleichheitserhaltend ist, ist das Verhalten undefiniert.
-
Für die beiden konvertierten Zeiger (vom Typ
- Andernfalls:
-
- Gibt das Ergebnis von expr zurück.
- Wenn std:: equality_comparable_with < T, U > nicht modelliert wird, ist das Verhalten undefiniert.
Diese Überladung nimmt nur dann an der Überladungsauflösung teil, wenn std:: equality_comparable_with < T, U > erfüllt ist.
Hinweise
Im Vergleich zu
std::equal_to
erfordert
std::ranges::equal_to
zusätzlich, dass
!=
gültig sein muss, und dass beide Argumenttypen (homogen) mit sich selbst vergleichbar sein müssen (über die
equality_comparable_with
-Einschränkung).
Beispiel
|
Dieser Abschnitt ist unvollständig
Grund: Kein Beispiel |
Fehlerberichte
Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.
| DR | Angewendet auf | Verhalten wie veröffentlicht | Korrektes Verhalten |
|---|---|---|---|
| LWG 3530 | C++20 | syntaktische Prüfungen wurden beim Vergleich von Zeigern gelockert | nur semantische Anforderungen werden gelockert |
Siehe auch
|
Funktionsobjekt, das
x
==
y
implementiert
(Klassentemplate) |