避免使用vector<bool>



作为一个STL容器，vector<bool>只有两点不对。首先，它不是一个STL容器。其次，它并不存储bool。除此之外，一切正常。

一个对象要成为容器，就必须满足C++标准中列出的所有条件，其中一个条件是，如果c是包含对象T的容器，而且c支持operator[]，那么下面的代码必须能够被编译：

T *p = &c[0];

换句话说，如果用operator[]取得了container<T>中的一个T对象，那么就可以通过取它的地址得到一个指向该对象的指针。所以，如果vector<bool>是一个容器，那么下面这段代码必须可以被编译：

vector<bool> v;

bool *pb = &v[0];

但是它不能编译。不能编译的原因是，vector<bool>是一个假的容器，它并不真的存储bool，相反，为了节省空间，它存储的是bool的紧凑表示。在一个典型的实现中，存储在“vector”中的每个“bool”仅占一个二进制位，一个8位的字节可容纳8个“bool”。在内部，vector<bool>使用了与位域一样的思想，来表示它所存储的那些bool；实际上它只是假装存储了这些bool。

位域与bool相似，它只能表示两个可能的值，但是在bool和看似bool的位域之间有一个很重要的区别：我们可以创建一个指向bool的指针，而指向单个位的指针则是不允许的。指向单个位的引用也是被禁止的，这使得在设计vector<bool>的接口时产生了一个问题，因为vector<T>::operator[]的返回值应该是T&.如果vector<bool>中所存储的确实是bool，那么这就不是问题。但由于实际上并非如此，所以vector<bool>::operator[]需要返回一个指向一个单个位的引用，而这样的引用并不存在。

当我们需要vector<bool>时，我们有两种选择可以做：

1. 用deque<bool>。deque几乎提供了vector所提供的一切（可以看到的省略只有reserve和capacity），但deque<bool>是一个STL容器，而且它确实存储bool。当然，deque中元素的内存不是连续的，所以你不能把deque<bool>中的数据传递给一个期望bool数组的C API，但对于vector<bool>,我们也不能这么做，因为没有一种可移植的方法能够得到vector<bool>中的数据。

2. 选择bitset。bitset不是STL容器，但它是标准C++库的一部分。与STL容器不同的是，它的大小（即元素的个数）在编译时就确定了，所以它不支持插入和删除元素。而且，因为它不是一个STL容器，所以它不支持迭代器。但是，与vector<bool>一样，它使用了一种紧凑表示，只为所包含的每个值提供一个空间。它提供了vector<bool>特有的flip成员函数，以及其它一些特有的、对位的集合有意义的成员函数。