std::basic_common_reference<tuple-ähnlich>
Von cppreference.com
| Definiert in der Header-Datei <tuple> |
||
| template< tuple-like TTuple, tuple-like UTuple, template<class> class TQual, template<class> class UQual > |
(seit C++23) | |
Der gemeinsame Referenztyp von zwei tuple-ähnlichen 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-ähnlichen Typen auf ihre Elementtypen angewendet werden.
Gegeben
-
TTypesals das Pack, das durch die Sequenz von std::tuple_element_t<i, TTuple> für jede Ganzzahl i in[0,std::tuple_size_v<TTuple>)gebildet wird, und -
UTypesals das Pack, das durch die Sequenz von std::tuple_element_t<i, UTuple> für jede Ganzzahl i in[0,std::tuple_size_v<UTuple>)gebildet wird,
müssen die folgenden Bedingungen erfüllt sein
-
TTupleoderUTupleist 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> gleich std::tuple_size_v<UTuple> (
TTupleundUTuplehaben die gleiche Anzahl von Elementen). - std::tuple<std::common_reference_t<TQual<TTypes>..., UQual<UTypes>>...> bezeichnet einen Typ.
[bearbeiten] Member types
| Mitgliedertyp | Definition |
type
|
std::tuple<std::common_reference_t<TQual<TTypes>..., UQual<UTypes>>...> |
[bearbeiten] Example
| Dieser Abschnitt ist unvollständig Grund: kein Beispiel |
[bearbeiten] See also
| ermittelt den gemeinsamen Referenztyp einer Gruppe von Typen (Klassenvorlage) | |
ermittelt den gemeinsamen Referenztyp von zwei pairs(Klassenvorlagenspezialisierung) |