decltype (declare type) 是 C++11 新增的一个关键字,它和 auto 的功能一样,都用来在编译时期进行自动类型推导。
用法:
decltype(exp) varname = value;
对比auto : auto varname = value;
auto 根据=
右边的初始值 value 推导出变量的类型,而 decltype 根据 exp 表达式推导出变量的类型,跟=
右边的 value 没有关系。
注意:exp 就是一个普通的表达式,它可以是任意复杂的形式,但是我们必须要保证 exp 的结果是有类型的,不能是 void。
decltype 推导规则:
如果 exp 是一个不被括号( )
包围的表达式,或者是一个类成员访问表达式,或者是一个单独的变量,那么 decltype(exp) 的类型就和 exp 一致,这是最普遍最常见的情况。
如果 exp 是函数调用,那么 decltype(exp) 的类型就和函数返回值的类型一致。
如果 exp 是一个左值,或者被括号( )
包围,那么 decltype(exp) 的类型就是 exp 的引用;假设 exp 的类型为 T,那么 decltype(exp) 的类型就是 T&。
eg:
int& func_int_r(int, char);
int n = 27;
decltype(n) a = n; // a 符合第一原则,int 类型
decltype(func_int_r(27,'d')) b; // b 符合第二原则,int& 类型
decltype(m = n + n) c; // c 符合第三原则,int& 类型