谈谈vector的特殊性之为什么它不是STL容器

前言

起因是这样的，昨天在查C++11的range base for loop相关的东西的时候，看到说vector< bool >是一个proxy iterator，非常的特殊，于是就好奇的研究了一下。

首先vector< bool> 并不是一个通常意义上的vector容器，这个源自于历史遗留问题。

早在C++98的时候，就有vector< bool>这个类型了，但是因为当时为了考虑到节省空间的想法，所以vector< bool>里面不是一个Byte一个Byte储存的，它是一个bit一个bit储存的！

因为没有直接去给一个bit来操作，所以用operator[]的时候，正常容器返回的应该是一个对应元素的引用，但是对于vector< bool>实际上访问的是一个”proxy reference”而不是一个”true reference”，返回的是”std::vector< bool>:reference”类型的对象。

而一般情况情况下

vector<bool> c{ false, true, false, true, false };
bool b = c[0];
auto d = c[0];

对于b的初始化它其实暗含了一个隐式的类型转换。而对于d，它的类型并不是bool，而是一个vector< bool>中的一个内部类。

而此时如果修改d的值，c中的值也会跟着修改

d = true;
for(auto i:c)
  cout<<i<<" ";
cout<<endl;
//上式会输出1 1 0 1 0

而如果c被销毁，d就会变成一个悬垂指针，再对d操作就属于未定义行为。

所以对于容器一些基本的操作它并不能满足，诸如取地址给指针初始化操作【因为没有办法给单一一个bit来取地址，或者搞引用】

vector<bool> c{ false, true, false, true, false };
bool &tmp = c[0];  //错误，不能编译，对于引用来说，因为c[0]不是一个左值
bool *p = &c[0];  //错误，不能编译，因为无法将一个临时量地址给绑定到指针

所以为什么说vector< bool>不是一个标准容器，就是因为它不能支持一些容器该有的基本操作。

What is the correct way of using C++11's range-based for?

条款6：当auto推导出意外的类型时，使用显式的类型初始化语义

总结