オペレータ<=>をオプションで実装する

Question

operator<=>をC++ 20に追加すると、単純なメンバワイズ比較ではない場合にこの演算子を実装する方法を検討したいと考えました。

どのように私たちのどちらかがUにTを比較したり基礎となる状態を比較、正しい戻り値の型を取得する必要がある場合である、optional<U>またはUへoptional<T>を比較するための宇宙船演算子を実装するのでしょうか？ latest paperにそのような例はありません。

Answer 1

これを実装する正しい方法は、std::compare_3way()関数テンプレートを使用して（1）そのような比較が実行可能かどうか、（2）比較カテゴリが実際にどのようなものかを処理することです。すべての比較演算子の実装は非常にコンパクトになり

：

template <typename T> 
class optional { 
public: 
    // ... 

    template <typename U> 
    constexpr auto operator<=>(optional<U> const& rhs) const 
     -> decltype(compare_3way(**this, *rhs)) 
    { 
     if (has_value() && rhs) { 
      return compare_3way(**this, *rhs); 
     } else { 
      return has_value() <=> rhs.has_value(); 
     } 
    } 

    template <typename U> 
    constexpr auto operator<=>(U const& rhs) const 
     -> decltype(compare_3way(**this, rhs)) 
    { 
     if (has_value()) { 
      return compare_3way(**this, rhs); 
     } else { 
      return strong_ordering::less; 
     } 
    } 

    constexpr strong_ordering operator<=>(nullopt_t) const { 
     return has_value() ? strong_ordering::greater 
          : strong_ordering::equal; 
    } 
}; 

他の4つの比較カテゴリに暗黙的に変換される3ウェイbool比較利回りstd::strong_ordering、。

同様に、strong_ordering::lessは、適宜、weak_ordering::less、partial_ordering::less、strong_equality::unequal、またはweak_equality::nonequivalentに暗黙的に変換されて。