std::compare_partial_order_fallback

inline namespace /* unspecified */ {
    inline constexpr /* unspecified */
        compare_partial_order_fallback = /* unspecified */;
}

template< class T, class U >
    requires /* see below */
constexpr std::partial_ordering
    compare_partial_order_fallback( T&& t, U&& u ) noexcept(/* see below */);

Выполняет трёхстороннее сравнение выражений t и u и возвращает результат типа std::partial_ordering, даже если оператор <=> недоступен.

Если std::decay_t<T> и std::decay_t<U>> имеют один и тот же тип, std::compare_partial_order_fallback(t, u) является эквивалентным выражению:

• std::partial_order(t, u), если это корректное выражение;
• в противном случае, t == u ? std::partial_ordering::equivalent :
t < u ? std::partial_ordering::less :
u < t ? std::partial_ordering::greater :
         std::partial_ordering::unordered, если выражения t == u, t < u и u < t все корректны и каждое из decltype(t == u), decltype(t < u) и decltype(u < t) удовлетворяет концепту boolean-testable, за исключением того, что t и u вычисляются только один раз.

Во всех остальных случаях std::compare_partial_order_fallback(t, u) является некорректным, что может приводить к ошибке подстановки при появлении в непосредственном контексте инстанцирования шаблона.

Объекты точек кастомизации

Имя std::compare_partial_order_fallback обозначает объект точки кастомизации , который является константным функциональным объектом типа литерального semiregular класса. Для подробностей см. CustomizationPointObject .

Пример

Отчеты о дефектах

Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.

Смотрите также