按位与&用于检测复合状态中是否包含某标志位，如if((status&active)!=0)；单目|可压缩多位为布尔值，如|state；异或^可切换开关属性，如status^=hidden。

用按位与 & 检测状态是否包含某标志位

复合状态不是“当前是哪个单一状态”，而是“当前同时具备哪些属性”。比如一个设备可能既是 ACTIVE 又是 LOCKED，这两个属性不互斥，需要共存。此时不能用 == 判断，而要用 & 提取特定位是否置 1。

常见错误是写成 if (status == ACTIVE | LOCKED)——这实际是逻辑或，且优先级出错；正确写法是 if ((status & ACTIVE) != 0)。

• status & ACTIVE 的结果要么是 ACTIVE（非零），要么是 0，直接用于条件判断最安全
• 多个标志并存时，status & (ACTIVE | LOCKED) 可一次性检测是否同时满足两者（注意括号）
• 避免用 == 比较复合值，因为 ACTIVE | LOCKED 是 3，但其他组合（如 PENDING | HIDDEN）也可能等于 3，造成误判

用单目按位或 | 压缩多比特为布尔值

在 Verilog 或硬件描述中，经常要从一个多位寄存器中“看出有没有任意一位被设”——比如 state 是 4-bit 独热码，想快速知道是否处于 WORK 或 DONE 中的任一状态，不用写 state[2] || state[3]，直接用 |state。

这个技巧在组合逻辑里特别高效：|state 是单目运算符，综合后就是一级 OR 门，延迟极低。

• |state 对整个向量做“或压缩”，结果为 1 当且仅当 state 中至少有一位为 1
• 配合掩码使用更精准：比如只关心 WORK 和 DONE，则写 |(state & (S_WORK | S_DONE))
• 别和逻辑或 || 混淆：| 是按位操作，|| 是短路逻辑运算，行为完全不同

用按位异或 ^ 切换状态属性

有些属性是开关型的，比如 HIDDEN，需要“点一下显示，再点一下隐藏”。这时候不用先查再赋值，直接用 ^ 异或翻转对应位即可。

例如：status ^= HIDDEN; —— 如果原来有 HIDDEN，就清除；没有，就添加。一行代码完成切换，无分支、无条件判断。

• 前提是 HIDDEN 是 2 的幂（如 1），确保只影响目标位
• 不能对复合值异或，比如 status ^= (HIDDEN | LOCKED) 会同时翻转两位，容易出错
• 在中断服务程序或实时任务中，这种无分支操作能保证 WCET（最坏执行时间）稳定

清除某个状态位必须用 &^（Go）或 & ~（C/Verilog）

想把 LOCKED 清掉，但保留其他所有位，不能写 status = status & 0 或 status = 0——那会清空全部。正确做法是构造一个“除了 LOCKED 位为 0、其余全为 1”的掩码。

在 Go 中是 status &^ LOCKED；在 C/Verilog 中是 status & (~LOCKED)。本质都是“与上反码”。

• ~LOCKED 会把高位也取反（比如 int32 下 ~1 是 0xFFFFFFFE），所以必须配合 & 使用，否则破坏其他字段
• 如果用错成 status = status ^ LOCKED，那就变成切换而非清除，极易引发偶发性 bug
• 在状态机退出某个子状态（如长按结束）时，清除对应标志必须原子、精准，这里容错率极低

实际最难的不是写出这些运算，而是让所有状态定义始终遵循“每个标志独占一位”的约束，并在团队协作中守住这条线——一旦有人偷偷复用同一个 bit 表示两个不同含义，整套位运算逻辑就会在某个深夜突然开始返回随机 true。