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

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

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

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

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

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

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

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

Пример

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

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

См. также