decltype操作符

在C++中, decltype 操作符用于生成一个类型，得到的是传入的表达式的类型。使用格式如下，

decltype (e）

注意：这是编译器所做的事情，所以并不会实际的去执行表达式。

确定类型的规则如下。

1. 如果e是标识符或者类成员，则返回e命名的实体的类型。如果不存在该类实体或者E命名一组重载的函数，则将报错。

2. 如果是一个函数或者一个重载运算符函数的调用，则返回函数的返回类型。将忽略重载运算符俩边的括号。

3。 如果是右值，则是E的类型。如果是左值，则是对左值引用的E。

比如下面的例子，

int var; -> decltype(var): 类型是int （规则1：E是变量）

const int&& Fun() -> decltype(Fun()): const int&& （规则2）

struct Class1 {int Id;} const Class1* a  = new Class1(); -> decltype(a->Id): int (规则1）， decltype((a->Id)): const int& （内部括号使得E变成了表达式而不是成员访问。由于a是const 指针，因此类型是const int的引用）。注意：为什么decltype(*p) 返回的是引用？因为我们可以通过*p来修改原来的变量，所以类型是引用。

decltype和引用：

1. 如果E是引用类型，则返回也是引用

const int value = 5, & i = value; decltype(i) j = 10; // 返回const int&

2. 如果E是引用类型，但是想得到引用所指向的类型，则可以

int a = 10, &b = a; decltype(b + 0) c = 100; // 返回int

3. 对指针解引用返回的是引用类型，

解释见第一部分最后一个例子。

4. 如果E不是引用，但是想得到引用，则可以加上一对括号，

int a = 10; decltype((i)) j = i; // int&

decltype和const:

不管顶层还是底层的const, decltype都保留。

const int a = 1;

const int* const b = &a;

decltype(a) -> const int

decltype(b) -> const int* const