《Effective Modern C++》Item 6: Use the explicitly typed initializer idiom when auto deduces undesired

本文探讨了C++中使用auto关键字可能遇到的问题,特别是在处理std::vector<bool>时,由于代理类的存在,auto可能推导出错误的类型。文章通过一个实例解释了这一现象,并提供了解决方案。

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

引子

之前Item 5介绍了auto关键字的优点,当然在Item 2我们看到了auto的一些不足,比如由于auto也是在用模板类型做推导,所以某些情况下会丢掉CV修饰符。但这个缺点似乎没有那么有说服力,毕竟这是模板类型推导的锅。本文我们继续探讨auto本身的缺点。

正文

先看一段代码

std::vector<bool> features(const Widget& w);

Widget w; 
...

auto highPriority = features(w)[5];  // is w high priority?
...

processWidget(w, highPriority);      // process w in accord with its priority

乍一看这段代码没什么问题,我们通过auto关键字获取到Widget的优先级(bool&类型),然后传递给后面的函数。

但是我们真的拿到了一个bool&值么?实际上vector<bool>operator[]返回的是vector<bool>::reference类型。这里涉及到模板的特化,即vector<bool>在模板vector<T>中是被单独实现的。在实现时,利用的代理(proxy)类,但是为什么要这么麻烦呢,主要是有以下理由:

  • 为了优化存储,C++中vector用一个bit而不是Byte来存储bool
  • C++中无法单独拿到一个bit的地址,故需要代理类,即vector<bool>::reference。这个代理类的行为和一个bool&没有区别

所以在上面的代码中,auto highPriority 不是bool&而是vector<bool>::reference。而由于这个这个引用是一个临时变量,被赋给highPriority之后离开函数后就被销毁了。因此会引起迷途指针问题。

当然了,我们其实稍微做修改就可以使得代码便正确,如下:

auto highPriority = static_cast<bool>(features(w)[5]);

总结

1.一些看不见的proxy类型会使得auto关键字在表达式初始化时的推导错误的类型。
2.通过显示的类型初始化惯用法可以强制auto推导出目标类型。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值