std:: basic_common_reference < tuple-like >

Определено в заголовочном файле <tuple>
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 > ;		(начиная с C++23)

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

Типы членов

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

Пример

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

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

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