Range-for-loops 和 std::vector<bool> [英] Range-for-loops and std::vector&lt;bool&gt;

问题描述

为什么这段代码有效

std::vector<int> intVector(10);
for(auto& i : intVector)
    std::cout << i;

这不是吗?

std::vector<bool> boolVector(10);
for(auto& i : boolVector)
    std::cout << i;

在后一种情况下，我得到一个错误

In the latter case, I get an error

错误:从'std::_Bit_iterator::reference {aka std::_Bit_reference}'类型的右值初始化'std::_Bit_reference&'类型的非常量引用无效

error: invalid initialization of non-const reference of type ‘std::_Bit_reference&’ from an rvalue of type ‘std::_Bit_iterator::reference {aka std::_Bit_reference}’

for(auto& i : boolVector)

推荐答案

因为 std::vector 不是容器 !

Because std::vector<bool> is not a container !

std::vector 的迭代器通常会取消对 T& 的引用，您可以将其绑定到您自己的 auto&.

std::vector<T>'s iterators usually dereference to a T&, which you can bind to your own auto&.

std::vector 将其 bool 打包在整数中，因此您需要一个代理来在访问它们时进行位屏蔽.因此，它的迭代器返回一个 Proxy.
由于返回的 Proxy 是一个纯右值(临时的)，它不能绑定到一个左值引用，例如 auto&.

std::vector<bool>, however, packs its bools together inside integers, so you need a proxy to do the bit-masking when accessing them. Thus, its iterators return a Proxy.
And since the returned Proxy is an prvalue (a temporary), it cannot bind to an lvalue reference such as auto&.

解决方案:使用auto&&，如果给定一个，它将正确折叠成左值引用，或者如果给定代理，则绑定并保持临时活动.

The solution : use auto&&, which will correctly collapse into an lvalue reference if given one, or bind and maintain the temporary alive if it's given a proxy.

这篇关于Range-for-loops 和 std::vector<bool>的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！