为什么vector <bool> :: reference不会返回对bool的引用？

#include <vector> struct A { void foo(){} }; template< typename T > void callIfToggled( bool v1, bool &v2, T & t ) { if ( v1 != v2 ) { v2 = v1; t.foo(); } } int main() { std::vector< bool > v= { false, true, false }; const bool f = false; A a; callIfToggled( f, v[0], a ); callIfToggled( f, v[1], a ); callIfToggled( f, v[2], a ); } 

上面的例子的编译产生了下一个错误：

 dk2.cpp: In function 'int main()': dk2.cpp:29:28: error: no matching function for call to 'callIfToggled(const bool&, std::vector<bool>::reference, A&)' dk2.cpp:29:28: note: candidate is: dk2.cpp:13:6: note: template<class T> void callIfToggled(bool, bool&, T&) 

我编译使用g ++（版本4.6.1）像这样：

 g++ -O3 -std=c++0x -Wall -Wextra -pedantic dk2.cpp 

问题是为什么发生这种情况？ vector<bool>::reference不是bool& ？ 或者它是一个编译器的错误？
或者，我在想什么愚蠢的东西？ 🙂

Answer 1

vector是专门为布尔 。

这被认为是性病的一个错误。 改用vector<char> ：

 template<typename t> struct foo { using type = t; }; template<> struct foo<bool> { using type = char; }; template<typename t, typename... p> using fixed_vector = std::vector<typename foo<t>::type, p...>; 

---

偶尔你可能需要引用一个包含在vector中的bool。 不幸的是，使用vector<char>只能给你引用chars。 如果你真的需要bool& ，检查出Boost容器库 。 它有一个非专用版本的vector<bool> 。

Answer 2

你的期望是正常的，但问题是， std::vector<bool>已经是C ++委托人的一种实验。 它实际上是一个模板专门化，它将bool值紧密地存储在内存中：每个值一位。

因为你不能有一个引用，有你的问题。

Answer 3

std::vector<bool>是一个不合格的容器。 为了优化空间，它包装了bool ，不能提供参考。

改用boost::dynamic_bitset 。

Answer 4

std::vector< bool >打包它的内容，所以每个布尔值存储在一个位，八位到一个字节。 这是内存高效但计算密集型的，因为处理器必须执行算术来访问所请求的位。 而且它不适用于bool引用或指针语义，因为字节中的位在C ++对象模型中没有地址。

您仍然可以声明std::vector<bool>::referencetypes的variables，并将其用作bool& 。 这允许通用algorithm兼容。

 std::vector< bool > bitvec( 22 ); std::vector< bool >::reference third = bitvec[ 2 ]; third = true; // assign value to referenced bit 

在C ++ 11中，可以使用auto和&&指定符来自动select绑定到vector元素的左值引用或绑定到临时值的右值引用。

 std::vector< bool > bitvec( 22 ); auto &&third = bitvec[ 2 ]; // obtain a std::vector< bool >::reference third = true; // assign value to referenced bit 

Answer 5

只是我2美分：

std::vector<bool>::reference是一个定义为struct _Bit_reference的typedef

 typedef unsigned long _Bit_type; struct _Bit_reference { _Bit_type * _M_p; _Bit_type _M_mask; // constructors, operators, etc... operator bool() const { return !!(*_M_p & _M_mask); } }; 

改变这样的function，它工作（好，至less编译，没有testing）：

 template< typename T > void callIfToggled( bool v1, std::vector<bool>::reference v2, T & t ) { bool b = v2; if ( v1 != b ) { v2 = v1; t.foo(); } } 

编辑：我改变了（v1！= v2），这不是一个好主意，（v1！= b）的条件。

Answer 6

用一个bool构造一个结构，并使用该结构types创buildvector<> 。

尝试：

vector<struct sb>其中sb是struct {boolean b];

那么你可以说

push_back({true})

做

typedef struct sbool {bool b;} boolstruct; 然后vector<boolstruct> bs;