[C++]decltype类型指示符

decltype类型指示符

decltype类型指示符：如果你希望从表达式的类型推断出要定义的变量的类型，但是却不想用表达式的值来初始化这个变量，那么你就可以使用decltype关键字，来说明这个变量了，它的作用是：选择并返回操作数的数据类型，但是不计算这个操作数。与auto类似，但是有区别。

decltype(f()/var) a=b; // a的类型就是f函数的返回值或者是var的类型。
decltype(f) a;  // a的类型则是和f一样，名字不用的函数

注意：

        1.decltype处理顶层const和引用的时候与auto是不同的，它会直接返回该变量的类型，而不会做忽略顶层const的操作

        2.引用从来都作为其所值对象的同义词出现，而在decltype处是个例外，因为decltype仅仅只返回类型，而不做其他的操作，比如初始化等。

const int ci=0;,&cj=ci;
decltype(ci) x=0; // x是一个const int 类型
decltype(cj) y=x; // y是一个 const int &类型
decltype(cj) z; // err ,此时z的类型时const int &类型，引用需要初始化

        3.如果你想返回的是引用所指的类型，那么你只需要这样做：

int i=20,&r=i;
decltype(r+0) k;  // k是int型

这样获取的就是r+0这个表达式的值，即int型。

        4.解指针操作和解引用操作返回的都是引用类型，因为解指针操作也是一种运算，所以返回的是左值，即推导的类型是引用类型。

int i=10,&r=i,*p=&i;
decltype(r) k; // err，k是int型引用，这里没有初始化
decltype(*p) k; // err,k是int型引用，这里没有初始化

        5.decltype的结果类型与表达式类型密切相关，这就与"()"有关系了，有"()"意味着会被当做表达式，没有则才会被当作变量，表达式的返回一般是引用类型。decltype((变量))的结果永远都是引用，decltype(变量)的结果不一定是引用，如：

int i=0;
decltype((i)) d; // err，d是int&，必须初始化
decltype(i) d; // d是int类型

        6.decltype(表达式)说明符里表达式返回的是左值，那么返回的就是引用类型。如果是右值，则返回的是表达式的类型。

int a=3,b=4;
decltype(a=b) d=a; // a=b是左值，返回的是int&类型

int *p;
int a=0;
decltype(*p) i=a; // *解引用符返回的是左值，所以这里的类型是 int *i=a;
decltype(&p) i; // &取地址符返回的是右值，所以这里的类型是 int **i; 这里p是一个指针，对指针再取一次地址，就是指向指针的指针

总结

与auto的区别：

        1.处理顶层const和引用方式不同

        2.decltype类型的选择与表达式密切相关而auto没有这种关系。

        3.在数组上，decltype与auto所返回的类型是不一样的，decltype(arr) v;返回的是数组，auto v(arr);返回的是指针，即前者的v是数组，后者的v只是一个指针。

推导类型规则：

1. 如果 exp 是一个不被括号( )包围的表达式，或者是一个类成员访问表达式，或者是一个单独的变量，那么 decltype(exp) 的类型就和 exp 一致，这是最普遍最常见的情况。
2. 如果 exp 是函数调用，那么 decltype(exp) 的类型就和函数返回值的类型一致。
3. 如果 exp 是一个左值，或者被括号( )包围，那么 decltype(exp) 的类型就是 exp 的引用；假设 exp 的类型为 T，那么 decltype(exp) 的类型就是 T&。
4. 如果exp是一个表达式，并且传入decltype时没有带()，那么decltype(exp)返回的类型就是一个函数，这个函数和exp是一样的，如果带了()，那么返回的类型就是函数返回类型，decltype(func) *it；it就是一个指向func函数的指针。