std::basic_common_reference<タプルライク>

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>;

2つのtuple-like型の共通参照型は、std::tupleであり、これは両方の型の対応するすべての要素型ペアの共通参照型から構成されます。ここで、タプルライク型に対する cv 修飾および参照修飾子は、その要素型に適用されます。

次のように定義します。

• 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>>...> が型を表すこと。

メンバー型

例

関連項目