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只是一个指针。
推导类型规则:
- 如果 exp 是一个不被括号( )包围的表达式,或者是一个类成员访问表达式,或者是一个单独的变量,那么 decltype(exp) 的类型就和 exp 一致,这是最普遍最常见的情况。
- 如果 exp 是函数调用,那么 decltype(exp) 的类型就和函数返回值的类型一致。
- 如果 exp 是一个左值,或者被括号( )包围,那么 decltype(exp) 的类型就是 exp 的引用;假设 exp 的类型为 T,那么 decltype(exp) 的类型就是 T&。
- 如果exp是一个表达式,并且传入decltype时没有带(),那么decltype(exp)返回的类型就是一个函数,这个函数和exp是一样的,如果带了(),那么返回的类型就是函数返回类型,decltype(func) *it;it就是一个指向func函数的指针。