最近在看C++ Primer 第五版,看到了auto、decltype、const交叉的部分,做一点笔记以后回头来看看。。。。
auto
常用的格式为
auto variable = expression;
用于根据表达式的结果推断类型,并且将表达式的结果赋值给变量,也就是需要有一个计算表达式,再获取表达式类型的过程,如果不给表达式,编译器是会报错的:
auto 可以忽略掉顶层的const,我觉得书上的例子不太好,用这个比较直观:
int a = 0;
int b = 0;
int * const p = &a;
auto q = p;
q = &b;
在这里q的类型被推断为int * 而不是 int * const 所以我们可以对q重新进行赋值。
如果想通过auto将q也定义成指针常量(顶层const,说人话就是指针指向的地址不能改变,但是注意要有初始化),需要在auto前加上const,也就是
const auto q = p;
decltype
decltype与auto的一个不同之处在于,它不会计算出表达式的值并且将值赋值给变量以初始化,而是只获取到表达式的返回值类型,通常的用法为
decltype(f()) a;
定义一个类型与 f()返回值相同的变量a,至于f()返回的值具体是啥,我们并不关心。
另外如果表达式是变量名加上括号,如
int a = 0;
decltype((a)) b = a;
那么decltype获取到的是一个 int 类型的引用,所以这里会需要初始化。
与auto不同,decltype会保留顶层const特性,书上例子是这么写的
const int ci = 0, &cj = ci;
decltype (ci) x = 0;
decltype (cj) y = x;
decltype (cj) z; //错误,z是一个引用,必须初始化
而如果我们使用
auto z = cj;
编译是可以通过的。
个人理解是这里算了一下cj的值,值的类型是const int,再把顶层const去掉,就把z定义为了普通的int变量;而decltype不去算值,直接根据cj的类型,推断的结果自然是const int类型的引用(书上特地有说明除了在decltype下,其他情况引用都可以视为所指对象本身),所以将z定义为引用,自然是要初始化,编译是无法通过的。
总结
auto和decltype都可以用来推断类型,有那么点写脚本语言的味道,不同之处在于
- auto需要算结果,根据结果判断类型,而decltype不需要计算结果,类型推断也不来自于结果
- decltype对加括号的变量,返回的是变量的引用类型
- auto会去掉顶层const特性,也就是对各种常量当等号右边表达式,返回的是非常量类型,对引用返回的则是被引用对象的类型;而decltype会保留顶层const,即常量返回常量,且对引用也返回引用。