std:: common_reference_with

헤더에 정의됨 <concepts>
template < class T, class U > concept common_reference_with = std:: same_as < std:: common_reference_t < T, U > , std:: common_reference_t < U, T >> && std:: convertible_to < T, std:: common_reference_t < T, U >> && std:: convertible_to < U, std:: common_reference_t < T, U >> ;		(C++20부터)

common_reference_with<T, U> 개념은 두 타입 T 와 U 가 공통 참조 타입 ( std::common_reference_t 에 의해 계산됨)을 공유하며, 둘 다 이 타입으로 변환될 수 있음을 명시합니다.

의미론적 요구사항

T와 U는 다음 조건을 만족할 때만 std :: common_reference_with < T, U > 개념을 모델합니다: 등식 보존 표현식 t1 , t2 , u1 및 u2 가 주어졌을 때, decltype ( ( t1 ) ) 와 decltype ( ( t2 ) ) 가 모두 T 이고, decltype ( ( u1 ) ) 와 decltype ( ( u2 ) ) 가 모두 U 인 경우,

• std:: common_reference_t < T, U > ( t1 ) 가 std:: common_reference_t < T, U > ( t2 ) 와 같을 필요충분조건은 t1 이 t2 와 같은 경우이며; 그리고
• std:: common_reference_t < T, U > ( u1 ) 가 std:: common_reference_t < T, U > ( u2 ) 와 같을 필요충분조건은 u1 이 u2 와 같은 경우입니다.

다시 말해, 공통 참조 타입으로의 변환은 equality를 보존 해야 합니다.

참고문헌

참고 항목

common_reference basic_common_reference (C++20)	여러 타입들의 공통 참조 타입을 결정합니다 (클래스 템플릿)
common_with (C++20)	두 타입이 공통 타입을 가짐을 명시합니다 (컨셉)
common_type (C++11)	여러 타입들의 공통 타입을 결정합니다 (클래스 템플릿)