imwxz

【转载】谈vector<bool>的特殊性——为什么它不是STL容器
长见识了,记录一番。 原文地址:https://blog.csdn.net/haolexiao/article/d...
扫描右侧二维码阅读全文
03
2018/08

【转载】谈vector<bool>的特殊性——为什么它不是STL容器

长见识了,记录一番。
原文地址:https://blog.csdn.net/haolexiao/article/details/56837445

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

首先vector并不是一个通常意义上的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>不是一个标准容器,就是因为它不能支持一些容器该有的基本操作。

最后修改:2018 年 09 月 07 日 03 : 13 PM
如果觉得我的文章对你有用,请随意赞赏

发表评论