如何获取非特化、非优化的连续std::vector<bool>容器？

嘿，这个问题确实说到点子上了——std::vector<bool>作为标准库的一个特殊存在，它的位压缩特化设计完全不符合我们对“连续容器”的常规认知：它不存储真正的bool元素，而是把多个布尔值打包到单个字节里，导致它的迭代器、元素访问方式都和普通std::vector<T>不一样，直接破坏了通用代码对连续内存、可寻址元素的假设。

遗憾的是，标准库并没有提供一个“非特化的std::vector<bool>”，但我们有几个完全符合标准、主流编译器都支持的替代方案：

1. 使用std::vector<std::byte>（C++17及以上） #

std::byte是C++17引入的类型，专门用来表示原始字节，语义上比char更清晰。你可以用std::byte{0}表示false，std::byte{1}表示true：

#include <vector>
#include <cstddef> // 包含std::byte

std::vector<std::byte> bool_vec;
bool_vec.push_back(std::byte{1}); // 表示true
bool_vec.push_back(std::byte{0}); // 表示false

// 转换为bool使用
bool is_true = static_cast<bool>(bool_vec[0]);

它是真正的连续容器，每个元素占1字节，完全满足通用代码对连续内存的要求，内存效率也比std::vector<int>高很多。

2. 使用std::vector<char>或std::vector<unsigned char> #

如果你的项目还没用到C++17，char或unsigned char是更兼容的选择，本质和std::byte一样，都是单字节连续存储：

std::vector<unsigned char> bool_vec;
bool_vec.push_back(1); // true
bool_vec.push_back(0); // false

bool is_false = (bool_vec[1] == 0);

这种方式兼容性拉满，所有主流编译器都支持，而且内存开销同样只有每个元素1字节。

3. 自定义语义化的布尔容器（可选） #

如果想要更贴近bool的使用体验，可以简单封装一层，让容器的接口更像布尔容器，但底层还是用单字节的连续容器：

#include <vector>

struct BoolElement {
    unsigned char value;
    // 隐式转换为bool
    operator bool() const noexcept { return value != 0; }
    // 赋值操作
    BoolElement& operator=(bool b) noexcept {
        value = b ? 1 : 0;
        return *this;
    }
};

using ContinuousBoolVec = std::vector<BoolElement>;

// 使用示例
ContinuousBoolVec vec;
vec.push_back(true);
vec.push_back(false);
bool val = vec[0]; // 直接转换为bool

这个方案既保持了连续内存的特性，又提供了和普通布尔类型类似的使用方式，适合对代码可读性要求较高的场景。

为什么不直接用std::vector<bool>？ #

再强调一下：std::vector<bool>的迭代器不满足RandomAccessIterator的全部要求，而且你无法获取指向单个bool的指针（&vec[0]得到的不是bool*），这会导致依赖连续内存、指针操作的通用代码直接崩溃或行为异常。

你现在用std::vector<int>的临时方案是可行的，但每个元素占4字节（或更多），内存开销太大，上面的几种方案在内存效率上会好很多。

内容的提问来源于stack exchange，提问作者Danra