为何修改vector<bool>元素时迭代需使用&&，而vector<int>无需？

这个问题戳中了C++标准库一个容易踩坑的细节——vector是个特殊的“非主流”容器，和vector这类常规容器的实现逻辑天差地别。

先看vector的正常逻辑 #

当你遍历vector时：

vector<int> miv{ 1, 2, 3 };
for (auto &e : miv) { e = 15; } // 合法

这里的auto &e拿到的是容器里实际存储的int元素的左值引用，直接修改e就是直接修改容器里的元素，完全符合我们的直觉，自然没问题。

再看vector的特殊之处 #

vector被设计成比特位压缩容器：为了节省内存，它把每个bool值打包成一个比特位（而不是像int那样占4字节）。但C++里根本没有“单个比特的引用”这种类型——你没法直接取一个比特的地址，所以vector的operator[]和迭代器返回的不是bool&，而是一个代理对象（比如std::vector<bool>::reference）。

这个代理对象是个临时的右值，当你试图用auto &e（左值引用）去绑定它的时候，编译器会报错——左值引用不能绑定到右值上！

为什么auto &&就能解决问题？ #

auto &&是C++11引入的万能引用，它的特性是可以绑定到任意类型的左值或右值。当它绑定到vector返回的代理对象（右值）时，完全合法，而且通过这个代理对象，我们可以间接修改对应的比特位，实现和vector一样的修改效果：

vector<bool> mbv{ false };
for (auto &&e : mbv) { e = true; } // 合法

额外补充 #

除了万能引用，你也可以显式指定代理类型来遍历：

for (vector<bool>::reference e : mbv) { e = true; }

但auto &&显然是最简洁优雅的写法。

内容的提问来源于stack exchange，提问作者user3772662