std:: basic_common_reference < tuple-like >

Défini dans l'en-tête <tuple>
template < tuple - like TTuple, tuple - like UTuple, template < class > class TQual, template < class > class UQual > requires /* voir ci-dessous */ struct basic_common_reference < TTuple, UTuple, TQual, UQual > ;		(depuis C++23)

Le type de référence commun de deux tuple-like types est un std::tuple constitué des types de référence communs de toutes les paires de types d'éléments correspondants des deux types, où les qualificateurs cv et de référence sur les types tuple-like sont appliqués à leurs types d'éléments.

Étant donné

• TTypes comme le pack formé par la séquence de std:: tuple_element_t < i, TTuple > pour chaque entier i dans [ ​ 0 ​ , std:: tuple_size_v < TTuple > ) , et
• UTypes comme le pack formé par la séquence de std:: tuple_element_t < i, UTuple > pour chaque entier i dans [ ​ 0 ​ , std:: tuple_size_v < UTuple > ) ,

les contraintes suivantes doivent être satisfaites :

• TTuple ou UTuple est une spécialisation de std::tuple .
• std:: is_same_v < TTuple, std:: decay_t < TTuple >> est true .
• std:: is_same_v < UTuple, std:: decay_t < UTuple >> est true .
• std:: tuple_size_v < TTuple > est égal à std:: tuple_size_v < UTuple > ( TTuple et UTuple ont le même nombre d'éléments).
• std:: tuple < std:: common_reference_t < TQual < TTypes > ..., UQual < UTypes >> ... > dénote un type.

Types membres

Type de membre	Définition
type	std:: tuple < std:: common_reference_t < TQual < TTypes > ..., UQual < UTypes >> ... >

Exemple

Cette section est incomplète Raison : aucun exemple

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)
std::basic_common_reference <std::pair> (C++23)	détermine le type de référence commun de deux pair s (spécialisation de modèle de classe)