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 */);

Compare deux valeurs à l'aide d'une comparaison à trois voies et produit un résultat de type std::partial_ordering.

Soient t et u des expressions et T et U désignent respectivement decltype((t)) et decltype((u)), std::partial_order(t, u) est équivalent à une expression à :

• Si std::is_same_v<std::decay_t<T>, std::decay_t<U>> est true :
  • std::partial_ordering(partial_order(t, u)), si c'est une expression bien formée avec une résolution de surcharge effectuée dans un contexte qui n'inclut pas une déclaration de std::partial_order,
  • sinon, std::partial_ordering(std::compare_three_way()(t, u)), si c'est bien formé,
  • sinon, std::partial_ordering(std::weak_order(t, u)), si c'est bien formé.
• Dans tous les autres cas, l'expression est mal formée, ce qui peut entraîner un échec de substitution lorsqu'elle apparaît dans le contexte immédiat d'une instanciation de modèle.

Objets de point de personnalisation

Le nom std::partial_order désigne un objet de point de personnalisation , qui est un objet fonction constant de type classe littéral semiregular . Voir CustomizationPointObject pour plus de détails.

Exemple

Voir aussi