[C++] decltype类型指示符

有些情况下，我们希望从表达式的类型推断出要定义的变量的类型，但是不想用该表达式的值初始化变量。此时就要用到C++11引入的第二种类型说明符delctype，它的作用就是选择并返回操作数的数据类型。编译器分析表达式并得到它的类型，但不实际计算表达式的值：

            
                decltype (size(5)) s = i;‘
    decltype返回size函数返回值的类型，来声明变量s。
        

decltype处理顶层const和引用的方式和auto有所不同，如果decltype使用的表达式是一个变量，则decltype返回该变量的类型，包括顶层const和引用。

            
                const
                int ci = 0, &cj = ci;
    decltype(ci) x = 0;             // x的类型是const intdecltype(cj) y = x;             // y的类型是const int&, y绑定到xdecltype(cj) z;                 // error, z是一个引用，必须初始化
        

如果decltype使用的表达式不是一个变量，则decltype返回表达式结果对应的类型。有些表达式向decltype返回一个引用类型，这就意味着该表达式的结果对象能作为一条赋值语句的左值。

            
                int i = 42, *p = &i, &r = i;
    decltype(r + 0) b;                  // 加法的结果是int, b的类型就是int
    decltype(*p) c;                     // error, c为int &
        

因为r是一个引用，decltype(r)的结果是引用类型，要想得到int类型就将r作为表达式的一部分，比如r+0。
如果表达式的内容是解引用操作，则decltype将得到引用类型。
对decltype所用的表达式来说，如果变量加上一对括号，则得到的类型与不加括号时会有不同。加上括号编译器就把它当成一个表达式，而不加括号则直接返回变量的类型。

            
                decltype((i)) d;                    // error, decltype的表达式如果是加上了括号的变量，结果为引用decltype(i) e;                      // e是一个未初始化的int
        

赋值会产生引用，引用的类型就是左值的类型，如果i是int，i = x的类型就是int&：

                int a = 3, b = 4;
    decltype(a) c = a;
    decltype(a = b) d = a;