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::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 という式。ただし、式 t == u、t < u、u < t がすべて適格であり、decltype(t == u)、decltype(t < u)、decltype(u < t) がそれぞれ boolean-testable をモデル化する場合に限ります。ただし、t と u は一度だけ評価されます。

それ以外のすべての場合、std::compare_partial_order_fallback(t, u) は不適格であり、テンプレートのインスタンス化の直接の文脈に現れた場合、置換失敗 を引き起こす可能性があります。

カスタマイゼーションポイントオブジェクト

名前 std::compare_partial_order_fallback は カスタマイゼーションポイントオブジェクト を表し、これは 関数オブジェクト のconstな リテラル semiregular クラス型である。詳細は CustomizationPointObject を参照。

例

欠陥報告

以下の動作変更に関する欠陥報告書は、以前に公開されたC++標準に対して遡及的に適用されました。

関連項目