位运算判断同符号的优化技巧

本文深入探讨了高效判断两个数值是否同号的多种方法，重点推荐使用异或运算（a ^ b）>= 0 来简洁、快速、无溢出地判断整数同号（含零），并对比指出按位与的潜在误判风险；针对浮点数则强调必须摒弃位运算，转而采用语义清晰、边界兼容的 Math.Sign(a) == Math.Sign(b)；最后提出泛型统一方案，在保证类型安全与性能的同时，兼顾整数、浮点、decimal 等各类数值类型的鲁棒性处理——这是一份贴近硬件、规避陷阱、兼顾效率与可维护性的实用编程指南。

直接看符号位，不比大小、不调函数、不乘不除——位运算是最贴近硬件的判断方式，尤其适合整数类型。

整数同号：用异或运算最简洁

对 int、long 等有符号整数，符号位就是最高位。两个数异或后，符号位相同则结果为 0，不同则为 1；而整个结果的符号位就反映了这个一致性：

• (a ^ b) >= 0 → 同号（都正、都负）或至少一个为 0
• (a ^ b) → 异号（一正一负）

注意：该式把 0 归入“同号”范畴（因 0 的符号位是 0，与正数一致）。若需严格排除 0（即只认“都 > 0”或“都 a != 0 && b != 0 && (a ^ b) >= 0

整数同号：按位与也能用，但语义稍弱

(a & b) >= 0 同样可判断符号位一致，原理是：仅当两数符号位都为 0（正/零）或都为 1（负）时，与运算结果的符号位才为 0（即 >= 0）。

• 优点：逻辑直观，和“共同具备正向特征”直觉吻合
• 缺点：若一数为 0，另一数为负，a & b 仍可能 >= 0（如 -1 & 0 == 0），易误判为“同号”，鲁棒性不如异或

浮点数别硬套位运算，用 Math.Sign 更稳

float 和 double 有特殊值（NaN、±0.0、±∞），其 IEEE 754 表示不能直接用 ^ 或 & 安全比较符号位。

• 推荐写法：Math.Sign(a) == Math.Sign(b)
• 它明确返回 1（正）、-1（负）、0（零）或 NaN（对 NaN 返回 0，需额外处理）
• 兼容所有边界情况，语义清晰，JIT 优化后性能损失极小

泛型统一方案：约束为 IComparable + 零值检查

若需同时支持 int/double/decimal，可封装为泛型方法：

• 先用 EqualityComparer.Default.Equals(x, default) 判零
• 再根据 T 是否实现 IConvertible 分支：整数走 ^，浮点走 Math.Sign
• 避免装箱，也规避了 a * b > 0 可能引发的溢出或精度丢失

以上就是《位运算判断同符号的优化技巧》的详细内容，更多关于的资料请关注golang学习网公众号！