Defined in header <compare> | ||
---|---|---|
template< class... Ts > struct common_comparison_category { using type = /* see below */ ; }; | (since C++20) |
The class template std::common_comparison_category
provides an alias (as the member typedef type
) for the strongest comparison category to which all of the template arguments Ts...
can be converted.
In detail, the common comparison type of a list of n types T
0...T
n-1 is defined as follows:
T
i is not a comparison category type (std::partial_ordering
, std::weak_ordering
, std::strong_ordering
), U
is void
. T
i is std::partial_ordering
, U
is std::partial_ordering
. T
i is std::weak_ordering
, U
is std::weak_ordering
. T
i is std::strong_ordering
, or if the list is empty), U
is std::strong_ordering
. ...Ts | - | a possibly empty list of types |
template< class... Ts > using common_comparison_category_t = typename common_comparison_category<Ts...>::type; | (since C++20) |
Member type | Definition |
---|---|
type | the strongest common comparison category (as defined above) |
(C++20) | the result type of 3-way comparison that supports all 6 operators and is substitutable (class) |
(C++20) | the result type of 3-way comparison that supports all 6 operators and is not substitutable (class) |
(C++20) | the result type of 3-way comparison that supports all 6 operators, is not substitutable, and allows incomparable values (class) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/utility/compare/common_comparison_category