c++ - 没有 bool 数组的类模板特化？

Question

根据 https://en.cppreference.com/ , std::vector<bool>有一个类模板特化，而 std::array<bool, N>才不是。不提供的原因有哪些？

Answer 1

当std::vector引入，专攻 bool被认为是个好主意。基本上在那个时候，普通电脑有4MB的内存，所以节省电脑内存是相当重要的。现在我们只说“内存很便宜”(引用鲍勃叔叔的话)。
后来事实证明，这种特化造成的问题多于其值(value)。
问题在于，与常规的老式 C 数组 bool a[] 相比，这种 vector 的元素之一的地址是一个复杂的对象(它必须存储有关哪个位保存哪个值的信息)。 .
由于必须保留兼容性，因此不能放弃此特化，但根据该类(class)，相同的方法不适用于 std::array。 .
另一个原因是std::array应该是一个 C 数组包装器，所以它必须类似于 bool a[N]尽可能，并且在使用时必须产生相同的机器码。
最后一件事，正如 Cody Gray 在 a comment under question 中指出的那样, std::bitset是一个恒定大小的位数组，因此此类功能已经可用(并且可以在需要时使用)。