为什么std :: vector <bool>没有.data()?

sch*_*312 14 c++ memory boolean vector contiguous

std::vector<bool>C++ 11 23.3.7/1中所规定的,特殊化并未声明数据成员(例如,此处此处提及).

问题是:为什么std :: vector没有.data()?这就是为什么bool矢量没有连续存储在内存中的问题.不这样做有什么好处?

为什么不能返回指向bool数组的指针?

gsa*_*ras 27

为什么std :: vector没有.data()?

因为std::vector<bool>在1个字节中存储多个值.

可以把它想象成一个压缩存储系统,每个布尔值需要1位.因此,不是每个内存块有一个元素(每个数组单元一个元素),内存布局可能如下所示:

在此输入图像描述

假设您要索引块以获取值,您将如何使用运算符[]?它不能返回bool&(因为它将返回一个字节,它存储多个bools),因此您无法分配bool*给它.换句话说,bool *bool_ptr =&v[0];不是有效的代码,会导致编译错误.

此外,正确的实现可能没有那种专业化,也没有进行内存优化(压缩).因此data(),必须根据实现复制到预期的返回类型(或标准应强制优化而不是仅允许它).

为什么不能返回指向bool数组的指针?

因为std::vector<bool>作为布尔变量的阵列存储,因此没有指针可以被以简单的方式恢复.它可以通过将数据复制到一个数组并返回该数组来做到这一点,但这是一个设计选择不这样做(如果他们这样做,我认为这适用data()于所有容器,这将是误导).

不这样做有什么好处?

内存优化.

通常,内存使用量减少8倍,因为它在单个字节中存储多个位.确切地说,CHAR_BIT时间更少.

  • "少8倍"并非*必然*真实,并且破坏了这个否则具有正统性的假设的答案.修改`CHAR_BIT`或类似? (3认同)