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

引子

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