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

时间:2021-05-19

前言

起因是这样的,昨天在查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推导出意外的类型时,使用显式的类型初始化语义

总结

以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作具有一定的参考学习价值,谢谢大家对的支持。

声明:本页内容来源网络,仅供用户参考;我单位不保证亦不表示资料全面及准确无误,也不保证亦不表示这些资料为最新信息,如因任何原因,本网内容或者用户因倚赖本网内容造成任何损失或损害,我单位将不会负任何法律责任。如涉及版权问题,请提交至online#300.cn邮箱联系删除。

相关文章