std::common_type<tuple-like>

template< tuple-like TTuple, tuple-like UTuple >
    requires /* see below */
struct common_type<TTuple, UTuple>;

Тип общего вида для двух типов tuple-like — это std::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_type_t<TTypes, UTypes>...> обозначает тип.

Типы-члены

Пример

См. также