按位或运算符|对两整数对应位执行逻辑或,仅当两操作数该位均为0时结果为0;它不短路、不转布尔,常用于标志位置1(需配合2的幂掩码),误用为逻辑或||会导致逻辑错误和未定义行为。

按位或运算符 | 的基本行为
它对两个整数的每一位分别做逻辑“或”:只要某一位上至少有一个操作数是 1,结果该位就是 1;全为 0 才得 0。和逻辑或 || 完全不同,| 不短路、不转布尔、只管二进制位。
常见错误是把 | 当成 || 用,比如写 if (x | y) 想判断“x 或 y 非零”,结果可能误判:当 x == 1、y == 2 时,x | y == 3 非零,看似没问题;但若 x == 1、y == -1(补码下高位全是 1),结果仍是非零——可读性差且掩盖真实意图。真要逻辑判断,就该用 ||。
设置标志位:最典型也最容易出错的用法
用 | 把某个 bit 置 1,常配合掩码(mask)使用。比如用一个 int 存多个开关状态:
const int FLAG_READ = 1 << 0; // 0b0001 const int FLAG_WRITE = 1 << 1; // 0b0010 const int FLAG_EXEC = 1 << 2; // 0b0100 int flags = 0; flags = flags | FLAG_READ; // 开启读权限 → 0b0001 flags = flags | FLAG_EXEC; // 再开启执行 → 0b0101
- 必须用
|=(如flags |= FLAG_READ)才符合习惯,单独写flags = flags | ...冗余 - 掩码必须是 2 的幂(即只有一位为 1),否则会意外改写其他位
- 如果
flags是unsigned char,而掩码用了1 << 8,就会溢出——注意类型宽度和移位范围
| 和 || 混用导致未定义行为
在宏或模板中不小心把 | 当 || 用,尤其涉及有副作用的表达式时,问题立刻暴露:
立即学习“C++免费学习笔记(深入)”;
#define IS_SET(x, flag) ((x) | (flag)) // 错!应为 &
这个宏本意是“检查 flag 是否被设置”,却用了 |,不仅逻辑错误,还可能触发未定义行为(比如 flag 是函数调用)。更糟的是:
-
a | b中若a或b是浮点数,编译直接报错:invalid operands to binary | -
|两边类型不一致(如char | int)会整型提升,但符号扩展可能带来意外负值 - 在 constexpr 上下文中,
|是允许的,但||要求操作数可转换为 bool,二者不可互换
性能与可移植性注意事项
按位或本身极快,现代 CPU 通常一个周期,但它不是零成本:
- 在嵌入式环境里,对内存映射寄存器用
|=可能触发两次读-修改-写(RMW),某些硬件要求原子写入——这时得用专用寄存器置位指令(如 ARM 的STRB+ORR)或编译器内置函数(如__builtin_assume或std::atomic_ref) -
char | char在某些平台会先提升为int,结果类型是int,不是char;显式强制转换可能丢位 - 左操作数为有符号负数时(如
-1 | 2),结果依赖补码表示,虽 C++ 标准已规定用补码,但代码可读性仍差,建议统一用unsigned类型处理位操作
真正麻烦的从来不是怎么写 |,而是没想清楚哪部分该用位运算、哪部分该用逻辑运算,以及是否所有目标平台都按你假设的方式解释这些位。


















