decltype是“declare type”的缩写,译为“声明类型”。和 auto 的功能一样,都用来在编译时期进行自动类型推导。
那么,问题来了,既然有了auto关键字,为何C++11还会引入decltype关键字呢,既然引入,那肯定是有区别的。另一方面,因为 auto 并不适用于所有的自动类型推导场景,在某些特殊情况下 auto 用起来非常不方便,甚至压根无法使用,所以 decltype 关键字也被引入到 C++11 中。
1。基本用法
首先来看下他们的基本用法:
auto varname = value;
decltype(exp) varname = value;
这里,varname 表示的是变量名,value 表示的是赋给变量的值,exp 表示的是一个表达式。
那么,auto 是根据=
右边的初始值 value 推导出变量的类型,而 decltype 则是根据 exp 表达式推导出变量的类型,跟=
右边的 value 没有关系。所以,decltype就不再要求变量必须初始化了。
所以也可以这么写:
decltype(exp) varname;
这里有一点必须要注意:必须要保证 exp 的结果是有类型的,不能是 void。
(decltype不会像auto一样忽略引用和cv属性,decltype会保留表达式的引用和cv属性)
2。推导规则
d