Implementacja operatora <=> dla opcjonalnego dodania

Question

dodanego do C++ 20, chciałem spróbować uzasadnić, jak zaimplementować ten operator dla tych przypadków, w których nie jest to proste porównanie z elementami.

Jak można zaimplementować operator statku kosmicznego do porównywania optional<T> do optional<U> lub U, który jest przypadek, w którym nie mamy dla porównania T do U lub porównać bazowych stany, uzyskanie prawidłowego typu zwrotny? Nie ma takiego przykładu w latest paper.

Answer 1

Wierzę, że właściwą drogą do wdrożenia tego byłoby użycie szablonu funkcji std::compare_3way() do obsługi obu (1), czy takie porównanie jest wykonalne i (2) czym faktycznie jest kategoria porównania.

To sprawia, że ​​wdrożenie wszystkich operatorów porównania dość kompaktowa:

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; 
    } 
}; 

The 3-way bool porównanie wydajności std::strong_ordering, który jest niejawnie zamienny do pozostałych czterech kategoriach porównawczych.

Podobnie strong_ordering::less jest niejawnie zamiany na weak_ordering::less, partial_ordering::less, strong_equality::unequal lub weak_equality::nonequivalent, odpowiednio.