std:: common_type < tuple-like >

Definiert im Header <tuple>
template < tuple - like TTuple, tuple - like UTuple > requires /* siehe unten */ struct common_type < TTuple, UTuple > ;		(seit C++23)

Der gemeinsame Typ von zwei tuple-like Typen ist ein std::tuple , der aus den gemeinsamen Typen aller entsprechenden Elementtyp-Paare beider Typen besteht.

Gegeben

• TTypes als das Paket, das durch die Sequenz von std:: tuple_element_t < i, TTuple > für jede ganze Zahl i in [ ​ 0 , std:: tuple_size_v < TTuple > ) gebildet wird, und
• UTypes als das Paket, das durch die Sequenz von std:: tuple_element_t < i, UTuple > für jede ganze Zahl i in [ ​ 0 , std:: tuple_size_v < UTuple > ) gebildet wird,

die folgenden Einschränkungen müssen erfüllt sein:

• TTuple oder UTuple ist eine std::tuple Spezialisierung.
• std:: is_same_v < TTuple, std:: decay_t < TTuple >> ist true .
• std:: is_same_v < UTuple, std:: decay_t < UTuple >> ist true .
• std:: tuple_size_v < TTuple > entspricht std:: tuple_size_v < UTuple > ( TTuple und UTuple haben die gleiche Anzahl an Elementen).
• std:: tuple < std:: common_type_t < TTypes, UTypes > ... > bezeichnet einen Typ.

Mitgliedertypen

Mitgliedstyp	Definition
type	std:: tuple < std:: common_type_t < TTypes, UTypes > ... >

Beispiel

Dieser Abschnitt ist unvollständig Grund: Kein Beispiel

Siehe auch

common_type (C++11)	bestimmt den gemeinsamen Typ einer Gruppe von Typen (Klassen-Template)
std::common_type <std::pair> (C++23)	bestimmt den gemeinsamen Typ zweier pair s (Klassen-Template-Spezialisierung)