1. 工作原理
随着程序越来越复杂,程序中用到的类型也越来越多,我们有时候不得不去翻阅大量上下文去寻找此数据的类型
。
decltype
就是一种类型说明符,它的出现主要是解决复杂的类型声明。decltype
并不会实际计算表达式的值,编译器分析表达式并得到它的类型。
- decltype + 变量
- decltype + 表达式
- decltype + 函数名
2. decltype + 变量
当使用decltype(var)的形式时,decltype会直接返回变量的类型(包括顶层const和引用)
const int ci = 0, &cj = ci;
// x的类型是const int
decltype(ci) x = 0;
// y的类型是const int &
decltype(cj) y = x;
- decltype加指针也会返回指针的类型。
- decltype加数组,不负责把数组转换成对应的指针,所以其结果仍然是个数组(P206)
3. decltype + 表达式
decltype(expr)
的结果根据expr
的结果不同而不同
- expr返回左值,得到该类型的左值引用;
- expr返回右值,得到该类型。
int i = 42, *p = &i, &r = i;
// r + 0是一个表达式,算术表达式返回右值,所以b是一个int类型
decltype(r + 0) b;
// (*p)是一个表达式, 返回i, 为左值, 所以c是一个int &类型
decltype(*p) c = i;
4. decltype + 函数
// 下面的函数就是上面的类型
int add_to(int &des, int ori);
int a = 4;
//此处仍然需要添加*来表明是函数指针
decltype(add_to) *pf = add_to;
// 通过函数指针调用add_to
pf(a, 2);
当使用decltype(func_name)
的形式时,decltype
会返回对应的函数类型,不会自动转换成相应的函数指针,需要添加一个*
来声明函数指针