std::compare_three_way_result
De es.cppreference.net
| Definido en el encabezado <compare>
|
||
template< class T, class U = T >
struct compare_three_way_result;
|
(desde C++20) | |
Sea t y u denotan valor l 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 hay miembro type.
Si el programa agrega especializaciones para std::compare_three_way_result, el comportamiento no está definido.
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) |