C++函数中基于范围的for循环传引用操作vector<bool>报错

我刚学习C++的基于范围的for循环，尝试编写一个将vector初始化为全0的函数，编写的代码如下：

#include <vector>
// #include <algorithm>
// #include <bits/stdc++.h>
using namespace std;

void init(vector<bool> & vec)
{
    for (auto &v : vec)
        v = 0;
}

int main()
{   
    vector<bool> vec = {0, 1, 0, 1, 1, 0};
    init(vec);

    return 0;
}

编译时出现如下错误：

error: cannot bind non-const lvalue reference of type ‘std::_Bit_reference&’ to an rvalue of type ‘std::_Bit_iterator::reference’ {aka ‘std::_Bit_reference’}
    8 |  for (auto &v : vec)
      |                 ^~~

我查找了很多资料仍不清楚问题所在，发现若将代码全部放在main()函数中则不会报错，请问我哪里出错了？使用的编译器为Ubuntu 9.4.0-1ubuntu1~20.04.1。

问题根源 #

vector<bool>是C++标准库中的特殊容器，它是空间优化的特化版本——用单个比特位存储每个元素，而非完整字节。这导致遍历它时，迭代器返回的"引用"不是普通的bool&，而是名为std::_Bit_reference的代理对象。

你代码里的auto &v试图将这个代理对象绑定到非const左值引用，但vector<bool>迭代器返回的reference本身是临时代理对象（右值），不符合左值引用的绑定规则，因此触发编译错误。

至于放在main函数中能编译通过，是因为部分编译器对局部变量的代理对象绑定做了非标准扩展，这种写法并不符合C++标准，不具备可移植性。

解决办法 #

1. 使用值类型接收 #

直接用auto v代替引用，代理对象的赋值操作依然会修改原容器的比特位：

void init(vector<bool> & vec)
{
    for (auto v : vec)
        v = 0;
}

2. 使用转发引用 #

用auto&&（转发引用）可以正确绑定代理对象，保留引用语义：

void init(vector<bool> & vec)
{
    for (auto&& v : vec)
        v = 0;
}

3. 替换vector #

如果不需要极致的空间优化，改用vector<char>、bitset（固定大小）或C++17的std::dynamic_bitset，就能用普通引用遍历：

#include <vector>
using namespace std;

void init(vector<char> & vec)
{
    for (auto &v : vec)
        v = 0;
}

int main()
{   
    vector<char> vec = {0, 1, 0, 1, 1, 0};
    init(vec);

    return 0;
}

4. 用标准库算法替代手动循环 #

使用std::fill更符合C++惯用写法，也避开了代理对象的问题：

#include <vector>
#include <algorithm>
using namespace std;

void init(vector<bool> & vec)
{
    fill(vec.begin(), vec.end(), false);
}

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