선택 연산자 <=>을 구현하는 경우 <T>

Question

operator<=>을 C++ 20에 추가 한 경우 간단한 멤버 별 비교가 아닌 경우에이 연산자를 구현하는 방법을 추론하고 싶습니다.

어떻게 당신은 optional<U> 또는 U에 optional<T>를 비교 우주선 연산자, 우리가 어느 TU에 비교하거나 올바른 반환 유형을 받고, 상태를 기본 비교해야 할 경우가 구현하는 것이? 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; 
    } 
}; 

3 방향 bool 비교 수율 std::strong_ordering, 다른 네 비교 범주에 암시 적으로 변환됩니다 매우 컴팩트 한 모든 비교 연산자의 구현을하게

.

마찬가지로 strong_ordering::less 적절하게, weak_ordering::less, partial_ordering::less, strong_equality::unequal 또는 weak_equality::nonequivalent에 암시 적으로 변환되고.