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-подобных типов применяются к их типам элементов.

Пусть

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

Типы членов

Пример

Смотрите также