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>>...> обозначает тип.

Типы-члены

Пример

См. также