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

Effectue une comparaison à trois voies sur sous-expressions t et u et produit un résultat de type std::strong_ordering, même si l'opérateur <=> est indisponible.

Si std::decay_t<T> et std::decay_t<U> sont du même type, std::compare_strong_order_fallback(t, u) est équivalent à une expression à :

• std::strong_order(t, u), s'il s'agit d'une expression bien formée ;
• sinon, t == u ? std::strong_ordering::equal :
t < u ? std::strong_ordering::less :
         std::strong_ordering::greater

si les expressions t == u et t < u sont toutes deux bien formées et que chacun de decltype(t == u) et decltype(t < u) modélise testable booléen, sauf que t et u ne sont évaluées qu'une seule fois.

Dans tous les autres cas, std::compare_strong_order_fallback(t, u) 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::compare_strong_order_fallback désigne un objet de point de personnalisation , qui est un objet fonction constant d'un type de classe littéral semiregular . Voir CustomizationPointObject pour plus de détails.

Exemple

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

Voir aussi