std:: equality_comparable, std:: equality_comparable_with

1) 개념 std::equality_comparable 는 T 에 대한 비교 연산자 == 와 != 가 동등성을 반영하도록 지정합니다: == 는 피연산자들이 동일한 경우에만 true 를 반환합니다.

2) std::equality_comparable_with 개념은 (혼합된) T 와 U 피연산자에 대한 비교 연산자 == 와 != 가 동등성과 일관된 결과를 생성하도록 지정합니다. 혼합된 피연산자를 비교하는 것은 피연산자를 공통 타입으로 변환하여 비교한 것과 동등한 결과를 생성합니다.

3) 전시 전용(exposition-only) 개념 __WeaklyEqualityComparableWith 는 T 타입의 객체와 U 타입의 객체가 서로 동등성 비교(어느 순서로든)가 가능하며, == 와 != 를 모두 사용하여 비교할 수 있고, 비교 결과가 일관적임을 명시합니다.

4) 설명 전용 개념 __ComparisonCommonTypeWith 는 두 타입이 공통 타입을 공유하며, const 좌측값 또는 비-const 우측값 (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 이후)