std::basic_common_reference<tuple-like>

template< tuple-like TTuple, tuple-like UTuple,
          template<class> class TQual, template<class> class UQual >
    requires /* see below */
struct basic_common_reference<TTuple, UTuple, TQual, UQual>;

Le type de référence commune de deux tuple-like types est un std::tuple qui consiste en les types de référence commune de toutes les paires d'éléments correspondantes 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 paquet 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 paquet 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 std::tuple spécialisation.
• 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ésigne un type.

Types membres

Exemple

Voir aussi