有些情况下,我们希望从表达式的类型推断出要定义的变量的类型,但是不想用该表达式的值初始化变量。此时就要用到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 int
decltype(cj) y = x; // y的类型是const int&, y绑定到x
decltype(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;
原文地址:http://blog.csdn.net/yamingwu/article/details/46041639