std::bitset 初始化必须用编译期常量指定大小,不支持变量;下标从右往左(LSB在0),支持位运算但无隐式转整型,越界访问operator[]未定义而test()安全。

bitset 初始化时必须指定大小,不能用变量动态声明
这是最常踩的坑:std::bitset 是编译期确定大小的模板类,模板参数 N 必须是常量表达式。写 int n = 8; std::bitset 会直接编译失败。
- 正确写法:用字面量或
constexpr变量,例如std::bitset b1;或constexpr int SZ = 16; std::bitsetb2; - 如果真需要运行时位宽,得换
std::vector或boost::dynamic_bitset,但它们不支持原生位运算符重载 - 常见错误提示:
error: non-type template argument is not a constant expression
用 operator[] 和 set()/test() 访问位,注意索引方向
std::bitset 的下标从右往左编号(LSB 在索引 0),和二进制书写习惯一致,但容易和数组直觉冲突。比如 std::bitset("1011") 中,b[0] 是 1(最右边),b[3] 是 1(最左边)。
-
b[i]返回bool,可读可写;b.set(i)置 1,b.reset(i)置 0,b.test(i)判断是否为 1 - 批量操作更高效:用
b.set()全置 1,b.reset()全清 0,b.flip()全取反 - 别对越界索引调用
operator[]—— 它不检查边界,行为未定义;test(i)在越界时返回false,更安全
支持原生位运算符,但结果仍是 bitset,不能直接转整数
&、|、^、~ 都已重载,操作数必须是相同长度的 bitset。但要注意:没有隐式转换到整型,to_ulong() 和 to_ullong() 会抛异常当位值超出目标类型范围。
std::bitset<4> a("1010"), b("1100");
auto c = a & b; // 结果是 bitset<4>("1000")
std::cout << c.to_ulong(); // 输出 8,安全
std::bitset<65> big;
// big.to_ulong(); // 编译通过,但运行时 throw std::overflow_error
- 安全转整数:先用
size()判断是否 ≤ 64,再选to_ullong();否则只能逐位提取或用to_string() -
operator==和operator!=可直接比较两个同长 bitset - 移位操作符
/>>是流操作符,不是位移 —— 要逻辑移位得用operator 配合to_string()再解析,或手写循环
从字符串/整数初始化要小心格式和符号
bitset 构造函数接受 std::string 或无符号整数,但行为差异大:
立即学习“C++免费学习笔记(深入)”;
- 字符串构造:只认
'0'和'1',忽略空格,高位补零,超长则截断。例如std::bitset("101")→"0101",std::bitset("101")→"01" - 整数构造:按二进制位填充,LSB 对应索引 0。例如
std::bitset(5)→"0101"(因为 5 = 0b101) - 负数不能直接传入整数构造函数:
std::bitset(-1)会先将 -1 转为无符号(如0xffffffff),再取低 4 位 →"1111",但这依赖底层表示,不推荐依赖
bitset 零开销、缓存友好;但一旦涉及动态长度、频繁转整数或算术移位,就得重新评估是否该换容器。









