std:: common_type < tuple-like >

Определено в заголовочном файле <tuple>
template < tuple - like TTuple, tuple - like UTuple > requires /* see below */ struct common_type < TTuple, UTuple > ;		(начиная с C++23)

Общий тип двух 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 > ... > обозначает тип.

Типы членов

Тип члена	Определение
type	std:: tuple < std:: common_type_t < TTypes, UTypes > ... >

Пример

Этот раздел не завершён Причина: отсутствует пример

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

common_type (C++11)	определяет общий тип группы типов (шаблон класса)
std::common_type <std::pair> (C++23)	определяет общий тип двух pair ов (специализация шаблона класса)