std:: common_reference_with

Défini dans l'en-tête <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 >> ;		(depuis C++20)

Le concept common_reference_with<T, U> spécifie que deux types T et U partagent un type de référence commun (calculé par std::common_reference_t ) vers lequel les deux peuvent être convertis.

Exigences sémantiques

T et U modèlent std :: common_reference_with < T, U > seulement si, étant données des expressions préservant l'égalité t1 , t2 , u1 et u2 telles que decltype ( ( t1 ) ) et decltype ( ( t2 ) ) sont tous deux T et decltype ( ( u1 ) ) et decltype ( ( u2 ) ) sont tous deux U ,

• std:: common_reference_t < T, U > ( t1 ) est égal à std:: common_reference_t < T, U > ( t2 ) si et seulement si t1 est égal à t2 ; et
• std:: common_reference_t < T, U > ( u1 ) est égal à std:: common_reference_t < T, U > ( u2 ) si et seulement si u1 est égal à u2 .

En d'autres termes, la conversion vers le type de référence commun doit préserver l'égalité .

Références

Voir aussi

common_reference basic_common_reference (C++20)	détermine le type de référence commun d'un groupe de types (modèle de classe)
common_with (C++20)	spécifie que deux types partagent un type commun (concept)
common_type (C++11)	détermine le type commun d'un groupe de types (modèle de classe)