Namespaces
Variants

std:: compare_three_way_result

From cppreference.net
C++
Utilities library
Definido en el encabezado <compare>
template < class T, class U = T >
struct compare_three_way_result ;
(desde C++20)

Sean t y u lvalues de const std:: remove_reference_t < T > y const std:: remove_reference_t < U > respectivamente, si la expresión t <=> u está bien formada, proporciona el typedef miembro type igual a decltype ( t <=> u ) , de lo contrario no existe el miembro type .

Si el programa añade especializaciones para std::compare_three_way_result , el comportamiento no está definido.

Contenidos

Tipos de miembros

Nombre Definición
type el tipo de resultado de operator <=> en lvalue calificado con const de T y U

Tipos auxiliares

template < class T, class U = T >
using compare_three_way_result_t = compare_three_way_result < T, U > :: type ;
(desde C++20)

Implementación posible 

// recomendado por Casey Carter
// ver también: https://github.com/microsoft/STL/pull/385#discussion_r357894054
template<class T, class U = T>
using compare_three_way_result_t = decltype(
    std::declval<const std::remove_reference_t<T>&>() <=>
    std::declval<const std::remove_reference_t<U>&>()
);
template<class T, class U = T>
struct compare_three_way_result {};
template<class T, class U>
    requires requires { typename compare_three_way_result_t<T, U>; }
struct compare_three_way_result<T, U>
{
    using type = compare_three_way_result_t<T, U>;
};

Ejemplo

Ejecutar este código 
#include <compare>
#include <iostream>
#include <type_traits>
template<class Ord>
void print_cmp_type()
{
    if constexpr (std::is_same_v<Ord, std::strong_ordering>)
        std::cout << "strong ordering\n";
    else if constexpr (std::is_same_v<Ord, std::weak_ordering>)
        std::cout << "weak ordering\n";
    else if constexpr (std::is_same_v<Ord, std::partial_ordering>)
        std::cout << "partial ordering\n";
    else
        std::cout << "illegal comparison result type\n";
}
int main()
{
    print_cmp_type<std::compare_three_way_result_t<int>>();
    print_cmp_type<std::compare_three_way_result_t<double>>();
}

Salida: 

strong ordering
partial ordering

Véase también

(C++20)
el tipo de resultado de comparación de 3 vías que admite los 6 operadores, no es sustituible y permite valores incomparables
(class)
(C++20)
el tipo de resultado de comparación de 3 vías que admite los 6 operadores y no es sustituible
(class)
(C++20)
el tipo de resultado de comparación de 3 vías que admite los 6 operadores y es sustituible
(class)