关于std::vector<bool>的一些细节

std::vector<T>是我们经常用到的STL容器，但是std::vector<bool>比较特殊，其特殊之处在于operato[]返回的元素类型是std::vector<bool>::reference（一个嵌套于std::vector<bool>中的类）。

std::vector<bool>::reference之所以存在是因为std::vector<bool>规定了使用一个打包形式（packed form）表示它的bool，每个bool占一个bit。那给

std::vector的operator[]带来了问题

std::vector<T>的operator[]应当返回一个T&，但是C++禁止对bits的引用。无法返回一个bool&，std::vector<bool>的operator[]返回一个行为类似于bool&的对象。要想成功扮演这个角色，bool&适用

的上下文std::vector<bool>::reference也必须一样能适用。在std::vector<bool>::reference的特性中，使这个原则可行的特性是一个可以向bool的隐式转化。（不是bool&，是**bool**。要想完整的解

释std::vector<bool>::reference能模拟bool&的行为所使用的一堆技术可能扯得太远了，所以这里简单地说隐式类型转换只是这个大型马赛克的一小块）

 

参考书籍：EffectiveModernCpp