std:: basic_common_reference < tuple-like >

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

Der gemeinsame Referenztyp zweier tuple-like Typen ist ein std::tuple , der aus den gemeinsamen Referenztypen aller entsprechenden Elementtyp-Paare beider Typen besteht, wobei die CV- und Referenzqualifizierer auf den tuple-like Typen auf ihre Elementtypen angewendet werden.

Gegeben

• TTypes als das Paket, das durch die Folge 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 Folge 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_reference_t < TQual < TTypes > ..., UQual < UTypes >> ... > bezeichnet einen Typ.

Mitgliedertypen

Mitgliedstyp	Definition
type	std:: tuple < std:: common_reference_t < TQual < TTypes > ..., UQual < UTypes >> ... >

Beispiel

Dieser Abschnitt ist unvollständig Grund: Kein Beispiel

Siehe auch

common_reference basic_common_reference (C++20)	bestimmt den gemeinsamen Referenztyp einer Gruppe von Typen (Klassen-Template)
std::basic_common_reference <std::pair> (C++23)	bestimmt den gemeinsamen Referenztyp zweier pair s (Klassen-Template-Spezialisierung)