位运算求绝对值利用补码特性绕过分支判断,通过符号位扩展得mask,再用(x+mask)^mask实现:x≥0时mask为0得x,x
Go语言中用位运算求绝对值,核心是利用补码特性绕过分支判断,避免条件跳转带来的性能波动,尤其在高频计算或热点路径中效果明显。
有符号整数在内存中以补码存储:正数原码即补码,负数补码 = 反码 + 1。关键性质是:对任意32/64位有符号整数 x,其符号位(最高位)为1表示负数,为0表示非负数。通过右移填充符号位,可快速得到全0(x≥0)或全1(x
适用于 int(实际为 int64 在64位系统,int32 在32位系统),需注意平台一致性。推荐显式使用 int64 或 int32:
func Abs64(x int64) int64 {
y := x >> 63 // 符号位扩展:x<0 → y=-1(全1);x≥0 → y=0
return (x ^ y) - y // 若y=-1:x^(-1) 是按位取反,再 -(-1) = +1 → 相当于 -x + 1?不对 —— 实际上:x^y - y 等价于 (x + y) ^ y,但更直接理解是:(x XOR y) + (-y),而 -y 在 y=0/-1 时恰为 0/1,最终结果恒为 |x|func Abs64(x int64) int64 {
mask := x >> 63
return (x + mask) ^ mask
} —— 这是经典公式,数学上可证:当
x≥0,mask=0,结果为 x;当 x基本上就这些。位运算法是底层技巧,现代Go编译器已很智能,不必盲目替换 math.Abs,先 profile,再优化。