Namespaces
Variants

std:: compare_partial_order_fallback

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

inline constexpr /* unspecified */
compare_partial_order_fallback = /* unspecified */ ;

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

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

compare_partial_order_fallback ( T && t, U && u ) noexcept ( /* see below */ ) ;
(начиная с C++20)

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

DR Applied to Behavior as published Correct behavior
LWG 2114
( P2167R3 ) 		C++20 механизм отката требовал только
конвертируемости возвращаемых типов в bool 		ограничения усилены
LWG 3465 C++20 механизм отката не требовал u < t to be well-formed требуется
LWG 4157 C++20 P2167R3 перезаписал решение LWG issue 3465 восстановлено решение

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

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