std::compare_strong_order_fallback

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

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

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

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

• std::strong_order(t, u), если это корректное выражение;
• в противном случае, t == u ? std::strong_ordering::equal :
t < u ? std::strong_ordering::less :
         std::strong_ordering::greater

если выражения t == u и t < u оба корректны и каждое из decltype(t == u) и decltype(t < u) соответствует концепту boolean-testable, за исключением того, что t и u вычисляются только один раз.

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

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

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

Пример

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

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

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