为何std::vector<bool>无法构造std::span？有哪些替代方案？

std::vector<bool>是C++标准库的历史设计缺陷，它的迭代器不满足std::contiguous_iterator约束，因此无法直接用于构造std::span。以下是几种既保留空间优化特性，又能适配std::span使用场景的解决思路：

1. 构造底层字节的std::span #

std::vector<bool>采用位压缩存储，你可以直接获取其底层存储的字节数组，构造std::span<const std::byte>（或std::span<uint8_t>），适合需要直接操作原始字节的场景：

#include <vector>
#include <span>
#include <cstddef>

int main() {
    std::vector<bool> bits = {true, false, true, false, true};
    // 计算底层存储的总字节数
    std::size_t byte_size = (bits.size() + 7) / 8;
    // 将底层存储转为字节span
    std::span<const std::byte> byte_span(
        reinterpret_cast<const std::byte*>(bits.data()),
        byte_size
    );
    // 使用byte_span进行操作
    return 0;
}

注意：这种方式得到的是位数据的字节容器，需要自行处理位与字节的转换逻辑。

2. 使用第三方位向量库 #

如果不想自己处理位操作，可以使用第三方实现的位向量，比如Boost的boost::dynamic_bitset——它提供了更符合直觉的接口，且能通过data()方法直接获取底层字节指针，从而构造std::span。

3. 封装std::vector提供适配接口 #

你可以封装一个简单的包装类，将std::vector<bool>的位操作转换为符合std::span要求的字节视图，也可以添加辅助位操作方法：

class BitVectorSpanAdapter {
private:
    std::vector<bool>& vec_;
public:
    explicit BitVectorSpanAdapter(std::vector<bool>& vec) : vec_(vec) {}

    std::span<const std::byte> as_byte_span() const {
        std::size_t byte_size = (vec_.size() + 7) / 8;
        return {reinterpret_cast<const std::byte*>(vec_.data()), byte_size};
    }

    bool get_bit(std::size_t idx) const { return vec_[idx]; }
    void set_bit(std::size_t idx, bool value) { vec_[idx] = value; }
};

4. 局部转换为std::vector<uint8_t> #

如果大部分场景需要空间优化，仅少数地方需要std::span<bool>，可以临时将std::vector<bool>转换为std::vector<uint8_t>，用完即丢弃：

std::vector<bool> bits = {true, false, true};
std::vector<uint8_t> temp(bits.begin(), bits.end());
std::span<uint8_t> bool_span(temp);
// 使用bool_span完成操作

这种方式会额外占用内存，但仅局部使用时影响较小。

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