1. decltype介绍

  在上一篇中我们简单介绍了auto, auto就是一个"站位符",在编译时编译器根据初始化的值的类型来推导当前定义的变量的类型. 所以使用auto定义变量时一定要对该变量进行初始化. 如果我们希望得到类型, 而不给新定义的变量进行初始化时要怎么做呢?   decltype关键字, 用来在编译时推导出一个表达式的类型.

decltype(exp)

  其中, exp是一个表达式(expression). 但是这个表达式的值肯定是可推导的.

  decltype简单使用:

int x = 0;              // int
decltype (x) y = 1;     // y被推导为int     decltype推导结果为int
decltype (x+y) z = 0;   // z被推导为int     decltype推导结果为int

const int & i = x;      // int const &
decltype (i) j = y;     // j被推导为 int const &    decltype推导结果为int const &

const decltype (z) * p = &z;    // p被推导为int const *     decltype推导为int
decltype (z) * pi = &z;         // pi被推导为int *          decltype推导为int
decltype (pi) * pp = π       // pp被推导为int **         decltype推导为int*

int *** ppp = nullptr;  // int***
decltype(ppp) pppp;     // pppp被推导为int ***  decltype推导为int ***
decltype(ppp)* ppppp;   // ppppp被推导为int **** decltype推导为int ***

int r = 10;
int &rr = r;
decltype (rr) dr = r;       // dr被推导为int &    decltype推导为int &
decltype (rr) & drr = r;    // drr被推导为int &   decltype推导为int &
decltype (rr) && drrr = r;  // drrr被推导为int &  decltype推导为int &

int && rv = 10;             // int &&
decltype(rv) rrv = 10;      // rrv被推导为int &&    decltype推导为int &&
decltype(rv) & rrrv = r;    // rrrv被推导为int &    decltype推导为int &&,但由于引用折叠(由于左值引用&具有传染性),所以& rrrv是左值,rrrv也就被传染为int &.
decltype(rv) && rrrrv = 10; // rrrrv被推导为int &&    decltype推导为int &&,但由于引用折叠,int && &&就是int &&.