basic_common_reference.md

basic_common_reference

• utility[meta header]
• std[meta namespace]
• class template[meta id-type]
• cpp23[meta cpp]

namespace std {
  template<class T1, class T2, class U1, class U2,
    template<class> class TQual, template<class> class UQual>
  struct basic_common_reference<pair<T1, T2>, pair<U1, U2>, TQual, UQual> {
    using type = pair<common_reference_t<TQual<T1>, UQual<U1>>,
                      common_reference_t<TQual<T2>, UQual<U2>>>;
  };
}

• basic_common_reference[link /reference/type_traits/basic_common_reference.md]
• pair[link ../pair.md]
• common_reference_t[link /reference/type_traits/common_reference.md]

概要

pairについて、common_referenceで共通の参照型を取得できるようにアダプトするbasic_common_referenceの特殊化である。

ユーザーが直接この特殊化を利用する必要はない。common_referenceを使用すること。

効果

pair<common_reference_t<TQual<T1>, UQual<U1>>, common_reference_t<TQual<T2>, UQual<U2>>>によって得られた型をメンバ型typeとして定義する。

要件

• pair<common_reference_t<TQual<T1>, UQual<U1>>, common_reference_t<TQual<T2>, UQual<U2>>>が型を表すこと。

バージョン

言語

• C++23

処理系

• Clang: ???
• GCC: ???
• ICC: ???
• Visual C++: ???

関連項目

• basic_common_reference

参照

• P2321R2 zip