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>;

Тип общей ссылки двух типов tuple-like — это std::tuple, состоящий из типов общих ссылок всех пар соответствующих типов элементов обоих типов, где квалификаторы cv и ссылки для типов tuple-like применяются к их типам элементов.

Дано

• TTypes как пакет, образованный последовательностью std::tuple_element_t<i, TTuple> для каждого целого i в [​0​, std::tuple_size_v<TTuple>), и
• UTypes как пакет, образованный последовательностью std::tuple_element_t<i, UTuple> для каждого целого i в [​0​, std::tuple_size_v<UTuple>),

необходимо удовлетворить следующим ограничениям:

• TTuple или UTuple является специализацией std::tuple.
• std::is_same_v<TTuple, std::decay_t<TTuple>> равно true.
• std::is_same_v<UTuple, std::decay_t<UTuple>> равно true.
• std::tuple_size_v<TTuple> равно std::tuple_size_v<UTuple> (TTuple и UTuple имеют одинаковое количество элементов).
• std::tuple<std::common_reference_t<TQual<TTypes>..., UQual<UTypes>>...> обозначает тип.

Типы-члены

Пример

См. также