std::vector<T>是我们经常用到的STL容器,但是std::vector<bool>比较特殊,其特殊之处在于operato[]返回的元素类型是std::vector<bool>::reference(一个嵌套于std::vector<bool>
中的类)。
std::vector<bool>::reference
之所以存在是因为std::vector<bool>
规定了使用一个打包形式(packed form)表示它的bool
,每个bool
占一个bit。那给
std::vector
的operator[]
带来了问题
std::vector<T>
的operator[]
应当返回一个T&
,但是C++禁止对bit
s的引用。无法返回一个bool&
,std::vector<bool>
的operator[]
返回一个行为类似于bool&
的对象。要想成功扮演这个角色,bool&
适用
的上下文std::vector<bool>::reference
也必须一样能适用。在std::vector<bool>::reference
的特性中,使这个原则可行的特性是一个可以向bool
的隐式转化。(不是bool&
,是**bool
**。要想完整的解
释std::vector<bool>::reference
能模拟bool&
的行为所使用的一堆技术可能扯得太远了,所以这里简单地说隐式类型转换只是这个大型马赛克的一小块)
参考书籍:EffectiveModernCpp
标签:std,返回,reference,细节,vector,bool,operator From: https://www.cnblogs.com/Explosion556/p/17467167.html