std::equality_comparable, std::equality_comparable_with

template< class T >
concept equality_comparable = __WeaklyEqualityComparableWith<T, T>;

template< class T, class U >
concept equality_comparable_with =
    std::equality_comparable<T> &&
    std::equality_comparable<U> &&
    __ComparisonCommonTypeWith<T, U> &&
    std::equality_comparable<
        std::common_reference_t<
            const std::remove_reference_t<T>&,
            const std::remove_reference_t<U>&>> &&
    __WeaklyEqualityComparableWith<T, U>;

template< class T, class U >
concept __WeaklyEqualityComparableWith =
    requires(const std::remove_reference_t<T>& t,
             const std::remove_reference_t<U>& u) {
        { t == u } -> boolean-testable;
        { t != u } -> boolean-testable;
        { u == t } -> boolean-testable;
        { u != t } -> boolean-testable;
    };

template< class T, class U >
concept __ComparisonCommonTypeWith =
    std::common_reference_with<
        const std::remove_reference_t<T>&,
        const std::remove_reference_t<U>&>;

template< class T, class U, class C = std::common_reference_t<const T&, const U&> >
concept _ComparisonCommonTypeWithImpl =
    std::same_as<std::common_reference_t<const T&, const U&>,
                 std::common_reference_t<const U&, const T&>> &&
    requires {
        requires std::convertible_to<const T&, const C&> ||
            std::convertible_to<T, const C&>;
        requires std::convertible_to<const U&, const C&> ||
            std::convertible_to<U, const C&>;
    };
template< class T, class U >
concept __ComparisonCommonTypeWith =
    _ComparisonCommonTypeWithImpl<std::remove_cvref_t<T>, std::remove_cvref_t<U>>;

1) 개념 std::equality_comparable은(는) ==와(과) != 비교 연산자가 T에 대해 동등성을 반영함을 지정합니다. 즉, 피연산자가 같을 때에만 ==가 true를 산출합니다.

2) 개념 std::equality_comparable_with은(는) (서로 다른 유형이 가능한) ==와(과) != 비교 연산자가 T 및 U 피연산자에 대해 동등성과 일관된 결과를 산출함을 지정합니다. 혼합된 피연산자를 비교하면 해당 피연산자를 공통 유형으로 변환한 결과와 동등합니다.

3) 설명 전용 개념 __WeaklyEqualityComparableWith은(는) T 유형의 객체와 U 유형의 객체가 == 및 !=을(를) 사용하여 서로 비교될 수 있고(어느 순서든) 비교 결과가 일관됨을 지정합니다.

4) 설명 전용 개념 __ComparisonCommonTypeWith은(는) 두 유형이 공통 유형을 공유하며, 각 유형의 const lvalue 또는 non-const rvalue(C++23 이후)가 해당 공통 유형으로 변환 가능함을 지정합니다.

1) std :: equality_comparable < T > 는 다음 조건이 충족될 때만 모델링됩니다: 타입 T 의 객체 a 와 b 가 주어졌을 때, bool ( a == b ) 가 true 인 경우는 오직 a 와 b 가 동일할 때만입니다. a == b 가 equality-preserving 이어야 한다는 요구사항과 함께, 이는 == 가 대칭적이고 추이적임을 의미하며, 더 나아가 적어도 하나의 다른 객체와 동일한 모든 객체 a 에 대해 == 가 반사적임을 의미합니다.

2) std :: equality_comparable_with < T, U > 는 다음 조건이 충족될 때만 모델링됩니다:

• t 와 t2 가 각각 const std:: remove_reference_t < T > 및 std:: remove_cvref_t < T > 타입의 서로 다른 동등한 객체를 참조하는 lvalue이고,
• u 와 u2 가 각각 const std:: remove_reference_t < U > 및 std:: remove_cvref_t < U > 타입의 서로 다른 동등한 객체를 참조하는 lvalue이며,
• C 가 std:: common_reference_t < const std:: remove_reference_t < T > & , const std:: remove_reference_t < U > & > 인 경우,

다음 표현식이 참이어야 합니다:

• bool ( t == u ) == bool ( CONVERT_TO < C > ( t2 ) == CONVERT_TO < C > ( u2 ) ) .

3) __WeaklyEqualityComparableWith < T, U > 개념은 다음 조건이 충족될 때만 모델됩니다:

• t , const std:: remove_reference_t < T > 타입의 lvalue 및
• u , const std:: remove_reference_t < U > 타입의 lvalue가 주어졌을 때,

다음 조건들이 참이어야 합니다:

• t == u , u == t , t ! = u , u ! = t 가 동일한 정의역을 가짐;
• bool ( u == t ) == bool ( t == u ) ;
• bool ( t ! = u ) == ! bool ( t == u ) ; 그리고
• bool ( u ! = t ) == bool ( t ! = u ) .

4) __WeaklyEqualityComparableWith < T, U > 개념은 다음 조건에서만 모델됩니다:

해당하는 common_reference_with 개념이 모델된 경우.	(C++23 이전)
다음을 가정할 때: C 가 std:: common_reference_t < const T & , const U & > 인 경우, t1 과 t2 가 동등성 보존 표현식이며 std:: remove_cvref_t < T > 타입의 lvalue인 경우, u1 과 u2 가 동등성 보존 표현식이며 std:: remove_cvref_t < U > 타입의 lvalue인 경우, 다음 조건들이 성립해야 합니다: CONVERT_TO < C > ( t1 ) 이 CONVERT_TO < C > ( t2 ) 와 동등한 것은 t1 이 t2 와 동등한 경우에만 해당합니다; 그리고 CONVERT_TO < C > ( u1 ) 이 CONVERT_TO < C > ( u2 ) 와 동등한 것은 u1 이 u2 와 동등한 경우에만 해당합니다.	(C++23 이후)