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

Типы-члены

Пример

См. также