std:: common_type < tuple-like >

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

Le type commun de deux tuple-like est un std::tuple constitué des types communs de toutes les paires de types d'éléments correspondants des deux types.

É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_type_t < TTypes, UTypes > ... > désigne un type.

Types membres

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

Exemple

Cette section est incomplète Raison : aucun exemple

Voir aussi

common_type (C++11)	détermine le type commun d'un groupe de types (modèle de classe)
std::common_type <std::pair> (C++23)	détermine le type commun de deux pair s (spécialisation de modèle de classe)