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

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

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

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

Все экземпляры __compare_partial_order_fallback_fn равны. Эффекты вызова различных экземпляров типа __compare_partial_order_fallback_fn на одинаковые аргументы эквивалентны, независимо от того, является ли выражение, обозначающее экземпляр, lvalue или rvalue, и квалифицировано ли оно как const или нет (однако не требуется, чтобы экземпляр, квалифицированный как volatile, был вызываем). Таким образом, std::compare_partial_order_fallback может быть скопирован свободно, а его копии могут использоваться взаимозаменяемо.

Учитывая набор типов Args..., если std::declval<Args>()... удовлетворяют требованиям аргументов для std::compare_partial_order_fallback выше, __compare_partial_order_fallback_fn моделирует

• std::invocable<__compare_partial_order_fallback_fn, Args...>,
• std::invocable<const __compare_partial_order_fallback_fn, Args...>,
• std::invocable<__compare_partial_order_fallback_fn&, Args...>, и
• std::invocable<const __compare_partial_order_fallback_fn&, Args...>.
  

В противном случае ни один оператор вызова функции __compare_partial_order_fallback_fn не участвует в разрешении перегрузки.

Пример

Отчеты об ошибках

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

См. также