std:: common_reference_with

Definido en el encabezado <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 >> ;		(desde C++20)

El concepto common_reference_with<T, U> especifica que dos tipos T y U comparten un tipo de referencia común (calculado por std::common_reference_t ) al cual ambos pueden ser convertidos.

Requisitos semánticos

T y U modelan std :: common_reference_with < T, U > solo si, dadas las expresiones que preservan la igualdad t1 , t2 , u1 y u2 tales que decltype ( ( t1 ) ) y decltype ( ( t2 ) ) son ambos T y decltype ( ( u1 ) ) y decltype ( ( u2 ) ) son ambos U ,

• std:: common_reference_t < T, U > ( t1 ) es igual a std:: common_reference_t < T, U > ( t2 ) si y solo si t1 es igual a t2 ; y
• std:: common_reference_t < T, U > ( u1 ) es igual a std:: common_reference_t < T, U > ( u2 ) si y solo si u1 es igual a u2 .

En otras palabras, la conversión al tipo de referencia común debe preservar la igualdad .

Referencias

Véase también

common_reference basic_common_reference (C++20)	determina el tipo de referencia común de un grupo de tipos (plantilla de clase)
common_with (C++20)	especifica que dos tipos comparten un tipo común (concepto)
common_type (C++11)	determina el tipo común de un grupo de tipos (plantilla de clase)