decltype类型指示符

decltype(exp)

1.使用的表达式exp是一个变量

exp是一个变量的时候,返回的是变量本身的类型(尤其注意引用类型)

例如:

const int ci = 0, &cj = ci;

decltype(ci) x = 0; //x是const int类型

decltype(cj) y = x; //y是const int& 类型,绑定到x上,引用类型必须初始化

decltype(cj) z; //这是错误的写法,因为z是const int&类型,是引用类型,必须初始化

2.使用放表达式不是一个变量

使用的表达式不是一个变量的时候返回的是表达式计算结果的类型

例如:

int i = 42, *p = &i, &r = i;

decltype(r + 0) b; //注意这里,虽然r是一个引用类型(绑定了i), 但是这里使用的是r绑定的对象,这里表达式的结果是int类型,所以返回的也是int类型,而不是引用类型

decltype(*p) c; //这里的错误的,注意*p不是一个变量,p才是变量,*p的计算结果是引用,引用必须初始化,解引用操作返回的结果就是引用

 

特别注意的一点是,引用类型只有在作为单个变量在decltype中使用的时候才是使用它本身,其余所有情况都是使用它绑定的对象