std::compare_strong_order_fallback

Определён в заголовочном файле <compare>

Определён в заголовочном файле `<compare>`
inline namespace /* unspecified / { inline constexpr / unspecified / compare_strong_order_fallback = / unspecified */; }		(начиная с 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 */);		(начиная с C++20)

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

(начиная с 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 */);

(начиная с 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++.

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

См. также

strong_order

(C++20)

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

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/compare/compare_strong_order_fallback