引子
之前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
推导出目标类型。