避免使用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成员函数，以及其余一些特有的、对位的集合有意义的成员函数。