C++ decltype类型说明符 - 快网idc优惠网

1 基本语法

decltype 类型说明符生成指定表达式的类型。在此过程中，编译器分析表达式并得到它的类型，却不实际计算表达式的值。

语法为：

decltype( expression )

编译器使用下列规则来确定expression 参数的类型。

如果 expression 参数是标识符或类成员访问，则 decltype(expression) 是 expression 命名的实体的类型。如果不存在此类实体或 expression 参数命名一组重载函数，则编译器将生成错误消息。
如果 expression 参数是对一个函数或一个重载运算符函数的调用，则 decltype(expression) 是函数的返回类型。将忽略重载运算符两边的括号。
如果 expression 参数是右值，则 decltype(expression) 是 expression类型。如果 expression参数是左值，则 decltype(expression) 是对左值引用类型的expression。
给出如下示例代码：

int var;

const int&& fx();

struct A { double x; }

const A* a = new A();

语句类型注释
decltype(fx());const int &&对左值引用的const int
decltype(var);int变量 var 的类型
decltype(a->x);double成员访问的类型
decltype((a->x));const double&内部括号导致语句作为表达式而不是成员访问计算。由于a声明为 const指针，因此类型是对const double的引用。

2 decltype和引用

如果decltype使用的表达式不是一个变量，则decltype返回表达式结果对应的类型。但是有些时候，一些表达式向decltype返回一个引用类型。一般来说，当这种情形发生时，意味着该表达式的结果对象能作为一条赋值语句的左值：