C++ auto 与 decltype对const的不同处理

本文探讨了C++中`auto`和`decltype`关键字在处理`const`时的不同点。`auto`会忽略顶层`const`,例如在`auto q = p;`中,`q`被推断为`int *`而非`int * const`。而`decltype`则保留顶层`const`,在表达式是变量时,如`decltype(cj)`会得到`const int`的引用类型,这需要初始化。总结来说,`auto`根据表达式结果推断类型,`decltype`仅获取表达式类型而不计算其值。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

C++ auto 与 decltype对const的不同处理

最近在看C++ Primer 第五版,看到了auto、decltype、const交叉的部分,做一点笔记以后回头来看看。。。。

auto

常用的格式为
auto variable = expression;
用于根据表达式的结果推断类型,并且将表达式的结果赋值给变量,也就是需要有一个计算表达式,再获取表达式类型的过程,如果不给表达式,编译器是会报错的:
报错了(g++)
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都可以用来推断类型,有那么点写脚本语言的味道,不同之处在于

  1. auto需要算结果,根据结果判断类型,而decltype不需要计算结果,类型推断也不来自于结果
  2. decltype对加括号的变量,返回的是变量的引用类型
  3. auto会去掉顶层const特性,也就是对各种常量当等号右边表达式,返回的是非常量类型,对引用返回的则是被引用对象的类型;而decltype会保留顶层const,即常量返回常量,且对引用也返回引用。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值