1.基础
有时候希望表达式的类型推断出要定义的变量的类型,但是不想用该表达式的值初始化变量。为了满足上述需求,c++11引入了第二个类型说明符decltype,其作用是选择并返回操作数的数据类型。其书写模板为:
decltype(表达式)
decltype只会推导表达是的类型不会计算表达式的值,如:
int a = 10;
decltype(a + 1) b = 99; //decltype(a + 1)只是为了推导出b的类型 此时b为int型
2. 推导规则
1.表达式为普通变量或者普通的表达式,则decltype推导出的类型和表达式类型是一致的。
(注:对于处理顶层的const来说,decltype与auto不同,decltype不会忽略顶层const)
const int ci = 0, &cj = ci;
decltype(ci)x = 0; //x的类型为const int 没有忽略ci本身的const
decltype(cj) y = x; //y的类型为const int& y绑定到变量x
2.表达式函数调用,decltype推导出的类型和函数返回值一致
这里需要注意一个如例子:
这里有一个特别的例子,当然是为了验证本身这个写法不大好。创建了一个const int 返回值的函数通过decltype后的类型是int而不是const int。
因为func返回的是一个纯右值(表达式执行结束后不再存在数据,也就是临时性的数据),对于纯右值,只有类类型可以携带const,volatile限定符,除此之外需要忽略掉两个限定符,因此推导出的类型是int而不是const int,
3.表达式是被括号()包围,使用decltype推导出来的类型为引用(我看的那个视频说表达式是一个左值的时候也是引用,这个我自己测得时候发现不是不知道我版本问题还是?c++11的书上也只有说明()这中情况。)
int i = 10;
decltype((i)) a = 1; // a是int&
3.decltype的应用
主要应用多出现在泛型编程中,如:
此时使用了decltype编译器自动推导需要遍历的容器的迭代器类型是啥。
----------------------------------------------------------
上述如有错误欢迎大家共同交流。