整数同号判断用异或最简洁：(a ^ b) >= 0 表示同号或至少一个为0；按位与(a & b) >= 0虽可用但0与负数时易误判；浮点数应使用Math.Sign(a) == Math.Sign(b)以兼容NaN、±0等边界情况。

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

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

对 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 可能引发的溢出或精度丢失