Namespaces
Variants

std:: compare_strong_order_fallback

From cppreference.net
Utilities library
Определено в заголовочном файле <compare>
inline namespace /* unspecified */ {

inline constexpr /* unspecified */
compare_strong_order_fallback = /* unspecified */ ;

}
(since C++20)
Сигнатура вызова
template < class T, class U >

requires /* see below */
constexpr std:: strong_ordering

compare_strong_order_fallback ( T && t, U && u ) noexcept ( /* see below */ ) ;
(since C++20)

Выполняет трёхстороннее сравнение для подвыражений 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++.

DR Применяется к Поведение в опубликованной версии Корректное поведение
LWG 2114
( P2167R3 )
C++20 механизм отката требовал только
чтобы возвращаемые типы были конвертируемы в bool
ограничения усилены

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

выполняет трёхстороннее сравнение и возвращает результат типа std::strong_ordering
(объект точки кастомизации)