x & 1 是否是判断数值为奇数的正确方法？与x % 2 != 0有何差异

两种写法在处理标准有符号/无符号整数时结果基本一致，但x & 1 == 1存在多个明确的潜在风险，这是业内普遍首选x % 2 != 0的核心原因，并非只出于易读性考量：

• 运算符优先级陷阱：绝大多数主流语言（C、C++、Java、JavaScript等）中，等于运算符==的优先级高于按位与运算符&。你所写的x & 1 == 1实际会被解析为x & (1 == 1)，也就是x & 1，刚好在判断奇数的场景下结果巧合正确，但只要逻辑稍微调整（比如判断模4余1写成x & 3 == 1），或者修改判断条件为x & 1 == 0，就会得到完全错误的结果。除非你主动加括号写成(x & 1) == 1，否则很容易留下隐藏bug。
• 类型兼容性差：按位与仅支持整数类型输入，且部分语言（比如JavaScript）的位运算会强制将输入截断为32位有符号整数。如果x是值为整数的浮点数、超出32位范围的大整数，x & 1要么直接抛出类型错误，要么得到不符合预期的结果。而x % 2 != 0可以正常处理以上场景，兼容性更强。
• 跨语言行为一致性差：部分小众编程语言对有符号负数的位运算定义未遵循补码规则，这种场景下用x & 1判断负数奇偶可能出错。而取模运算的数学定义更统一，x % 2 != 0的判断结果几乎不会随语言实现变化。

除开上述风险之外，x % 2 != 0还有两个明显优势：

• 易读性更高：完全贴合“除以2余数不等于0即为奇数”的数学定义，哪怕是没接触过位运算的初级开发者也能一眼看懂逻辑，大幅降低代码维护成本。
• 无性能差异：现代编译器的优化能力已经足够成熟，开启O2及以上优化级别时，编译器会自动把整数场景下的x % 2 != 0替换成等价的位运算指令，两种写法的运行速度没有任何区别，完全不需要手动写位运算做所谓的“性能优化”。

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