Namespaces
Variants

std:: compare_three_way

From cppreference.net
C++
Utilities library
Function objects
Function invocation
(C++17) (C++23)
Identity function object
(C++20)
Old binders and adaptors
( until C++17* )
( until C++17* )
( until C++17* )
( until C++17* )
( until C++17* )
( until C++17* )
( until C++17* ) ( until C++17* ) ( until C++17* ) ( until C++17* )
( until C++20* )
( until C++20* )
( until C++17* ) ( until C++17* )
( until C++17* ) ( until C++17* )

( until C++17* )
( until C++17* ) ( until C++17* ) ( until C++17* ) ( until C++17* )
( until C++20* )
( until C++20* )
Definido en el encabezado <compare>
Definido en el encabezado <functional>
struct compare_three_way ;
(desde C++20)

Objeto función para realizar comparaciones. Deducir los tipos de parámetros y el tipo de retorno del operador de llamada a función.

Contenidos

Tipos anidados

Tipo anidado Definición
is_transparent unspecified

Funciones miembro

operator()
obtiene el resultado de la comparación de tres vías en ambos argumentos
(función miembro pública)

std::compare_three_way:: operator()

template < class T, class U >
constexpr auto operator ( ) ( T && t, U && u ) const ;

Dada la expresión std:: forward < T > ( t ) <=> std:: forward < U > ( u ) como expr :

  • Si la secuencia de conversión de T a P o la secuencia de conversión de U a P no es que preserva la igualdad , el comportamiento es indefinido.
  • En caso contrario:

Esta sobrecarga participa en la resolución de sobrecarga solo si se satisface std:: three_way_comparable_with < T, U > .

Ejemplo

Ejecutar este código 
#include <compare>
#include <iostream>
struct Rational
{
    int num;
    int den; // > 0
    // Aunque la comparación X <=> Y funcionará, una llamada directa
    // a std::compare_three_way{}(X, Y) requiere que se defina el operador==
    // para satisfacer std::three_way_comparable_with.
    constexpr bool operator==(Rational const&) const = default;
};
constexpr std::weak_ordering operator<=>(Rational lhs, Rational rhs)
{
    return lhs.num * rhs.den <=> rhs.num * lhs.den;
}
void print(std::weak_ordering value)
{
    value < 0 ? std::cout << "less\n" :
    value > 0 ? std::cout << "greater\n" :
                std::cout << "equal\n";
}
int main()
{
    Rational a{6, 5};
    Rational b{8, 7};
    print(a <=> b);
    print(std::compare_three_way{}(a, b));
}

Salida: 

greater
greater

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

DR Aplicado a Comportamiento publicado Comportamiento correcto
LWG 3530 C++20 se relajaron las verificaciones sintácticas al comparar punteros solo se relajan los requisitos semánticos

Véase también

(C++20)
objeto función restringido que implementa x == y
(clase)
(C++20)
objeto función restringido que implementa x ! = y
(clase)
(C++20)
objeto función restringido que implementa x < y
(clase)
(C++20)
objeto función restringido que implementa x > y
(clase)
(C++20)
objeto función restringido que implementa x <= y
(clase)
(C++20)
objeto función restringido que implementa x >= y
(clase)