std::partial_order

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

template< class T, class U >
    requires /* see below */
constexpr std::partial_ordering
    partial_order( T&& t, U&& u ) noexcept(/* see below */);

Сравнивает два значения с помощью трёхстороннего сравнения и возвращает результат типа std::partial_ordering.

Пусть t и u — выражения, а T и U обозначают соответственно decltype((t)) и decltype((u)). std::partial_order(t, u) эквивалентно по выражению следующему выражению:

• Если std::is_same_v<std::decay_t<T>, std::decay_t<U>> — это true:
  • std::partial_ordering(partial_order(t, u)), если это корректное выражение при разрешении перегрузки в контексте, не содержащем объявление std::partial_order,
  • в противном случае std::partial_ordering(std::compare_three_way()(t, u)), если это корректное выражение,
  • в противном случае std::partial_ordering(std::weak_order(t, u)), если это корректное выражение.
• Во всех остальных случаях выражение некорректно, что может привести к ошибке подстановки, если оно появляется в непосредственном контексте инстанцирования шаблона.

Объекты точек настройки

Имя std::partial_order обозначает объект точки настройки — константный функциональный объект типа литерального класса semiregular. Подробности см. в разделе Объект точки настройки.

Пример

См. также