为什么std::array没有像std::vector那样提供布尔值的位打包功能？

这个决策本质上是两种容器的核心设计定位不同，结合标准制定阶段的技术背景共同决定的：

• std::array的核心设计目标是原生静态数组的零开销等价封装
  按照标准要求，std::array<T, N>的内存布局、运行时开销必须和C风格原生数组T[N]完全一致，不允许引入任何额外的开销或行为差异。如果对std::array<bool>做位打包，首先会打破内存布局的一致性：原生bool[N]的每个元素至少占用1字节，支持取单个元素的地址、迭代器就是原生指针；位打包后单个元素没有独立地址，迭代器必须是特殊的代理对象，完全违背了std::array的设计初衷，所以标准没有做这种特化。
• std::vector<bool>的位优化特化是C98时代的空间优先设计决策
  C98标准制定阶段，计算机内存资源远不如当前充裕，标准委员会认为动态长度的布尔序列是高频使用场景，位打包可以直接将空间利用率提升8倍，对于位图、大规模标记数组这类场景的收益非常可观，因此特意添加了针对bool类型的特化实现。

注：这个特化后续也引发了不少争议，因为位打包导致std::vector<bool>不满足标准容器的全部要求（比如无法获取单个元素的可修改左值、无法用普通指针指向元素），后来的C++标准也没有移除这个特化，主要是为了保持向后兼容性。

内容的提问来源于stack exchange，提问作者Y.T.