C++ 参考手册

定义于头文件 <type_traits>
template< class... T >
struct common_reference;
(C++20 起)

确定类型 T... 的共用引用类型,即 T... 中所有类型能转换或绑定到的类型。若这种类型存在(如按照后述规则所确定),则成员 type 指名该类型。否则,无成员 type 。若 T... 中的任何类型为(可有 cv 限定的) void 以外的不完整类型,则行为未定义。

给定引用类型是, common_reference 试图寻找所有提供的引用类型都能绑定到的引用类型,但若找不到这种引用类型,则可能返回非引用类型。

  • sizeof...(T) 为零,则无成员 type
  • sizeof...(T) 为一(即 T... 仅含一个类型 T0 ),则成员 type 指名与 T0 相同的类型。
  • sizeof...(T) 为二(即 T... 含二个类型 T1T2 ),则:
    • T1T2 都是引用类型,而 T1T2简单共用引用类型 S 存在,则成员类型 type 指名 S
    • 否则,若 std::basic_common_reference<std::remove_cvref_t<T1>, std::remove_cvref_t<T2>, T1Q, T2Q>::type 存在,其中 TiQ 是一元别名模板,满足 TiQ<U>U 带上 Ti 的 cv 及引用限定符,则成员类型 type 指名该类型;
    • 否则,若 decltype(false? val<T1>() : val<T2>()) 是合法类型,其中 val 为函数模板 template<class T> T val(); ,则成员类型 type 指名该类型;
    • 否则,若 std::common_type_t<T1, T2> 为合法类型,则成员类型 type 代表该类型;
    • 否则,无成员 type
  • sizeof...(T) 大于二(即 T...T1, T2, R... 组成),则若 std::common_reference_t<T1, T2> 存在,且 std::common_reference_t<std::common_reference_t<T1, T2>, R...> 存在,则成员类型 type 指代它。所有其他情况下,无成员类型 type

二个引用类型 T1T2简单共用引用类型定义如下:

  • T1cv1 X &T2cv2 Y & (即都是左值引用):则其简单共用引用类型为 decltype(false? std::declval<cv12 X &>() : std::declval<cv12 Y &>()) ,其中 cv12cv1cv2 的联合,若该类型存在且为引用类型;
  • T1 a与 T2 均为右值引用类型:若 T1 &T2 & 的简单共用引用类型(按照前一条确定)存在,则令 C 代表该类型的对应右值引用类型。若 std::is_convertible_v<T1, C>std::is_convertible_v<T2, C> 均为 true ,则 T1T2 的简单共用引用类型为 C
  • 否则,二个类型之一必须为左值引用类型 A & 而另一个必须为右值引用类型 B &&AB 可为 cv 限定)。令 D 代表 A &B const & 的简单共用引用类型,若它存在。若 D 存在且 std::is_convertible_v<B &&, D>true ,则简单共用引用类型为 D
  • 否则,无简单共用引用类型。

成员类型

 
名称 定义
type 所有 T... 的共用引用类型

辅助类型

template< class... T >
using common_reference_t = typename std::common_reference<T...>::type;
template< class T, class U, template<class> class TQual, template<class> class UQual >
struct basic_common_reference { };

类模板 basic_common_reference 是定制点,允许用户影响 common_reference 对用户定义类型(常为代理引用)的结果。初等模板为空。

特化

std::is_same<T, std::decay_t<T>>std::is_same<U, std::decay_t<U>> 皆为 true ,且它们至少有一个依赖于程序定义类型,则程序可以在前二个形参 TU 上特化 basic_common_reference<T, U, TQual, UQual>

若这种特化拥有名为 type 的成员,则它必须是指名 TQual<T>UQual<U> 都能转换到的类型的公开且无歧义的成员类型。另外, std::basic_common_reference<T, U, TQual, UQual>::typestd::basic_common_reference<U, T, UQual, TQual>::type 必须代表同一类型。

程序不可在第三或第四形参上特化 basic_common_reference ,亦不可特化 common_reference 自身。以违背这些规则的方式添加特化的程序拥有未定义行为。

注意

本节未完成

示例

本节未完成
原因:暂无示例

参阅

确定一组类型的公共类型
(类模板)
指定两个类型共有一个公共引用类型
(概念)