compare_compare_three_way

• expr이 포인터를 비교하는 내장 operator<=> 호출로 귀결되면, t와 u의 합성 포인터 타입(composite pointer type)을 P라고 해요:
  • 변환된 두 포인터(타입 P)를 구현 정의된 포인터 엄격한 전체 순서(strict total order)로 비교해요. t가 u보다 앞서면 std::strong_ordering::less를 반환하고, u가 t보다 앞서면 std::strong_ordering::greater를, 그 외에는 std::strong_ordering::equal을 반환해요. T에서 P로의 변환 시퀀스 또는 U에서 P로의 변환 시퀀스가 동등 보존(equality-preserving)이 아니면 동작은 정의되지 않아요.
• 그 외의 경우:
  • expr의 결과를 반환해요. std::three_way_comparable_with<T, U>가 모델링되지 않으면 동작은 정의되지 않아요.

이 오버로드는 std::three_way_comparable_with<T, U>가 충족될 때만 오버로드 해석에 참여해요.

예제

#include <compare>
#include <iostream>

struct Rational
{
    int num;
    int den; // > 0
    
    // Although the comparison X <=> Y will work, a direct call
    // to std::compare_three_way{}(X, Y) requires the operator==
    // be defined, to satisfy the std::three_way_comparable_with.
    constexpr bool operator==(Rational const&) const = default;
};

constexpr std::weak_ordering operator<=>(Rational lhs, Rational rhs)
{
    return lhs.num * rhs.den <=> rhs.num * lhs.den;
}

void print(std::weak_ordering value)
{
    value < 0 ? std::cout << "less\n" :
    value > 0 ? std::cout << "greater\n" :
                std::cout << "equal\n";
}

int main()
{
    Rational a{6, 5};
    Rational b{8, 7};
    print(a <=> b);
    print(std::compare_three_way{}(a, b));
}

출력:

greater
greater

결함 보고서

다음 동작 변경 결함 보고서는 이전에 발표된 C++ 표준에 소급 적용되었어요.

같이 보기

더 알아보기

cppreference