17、位操作与性能优化：用位运算替代取模运算，用位运算实现绝对值

性能优化这件事，说白了就是跟CPU抢时间。我做了十几年嵌入式开发，最深的体会就是：能用一个时钟周期搞定的，绝不用两个。位运算之所以在性能优化中地位这么高，就是因为它几乎都是单周期指令。

今天咱们聊两个实战中高频出现的场景：用位运算替代取模，以及用位运算实现绝对值。这两个技巧，我在项目中用过不下百次。

一、为什么取模运算慢？

取模运算符 % 看起来简单，但它的底层实现其实是一个除法指令。除法指令有多慢？我举个例子：

• 加法：1个时钟周期
• 乘法：3~5个时钟周期
• 除法：20~80个时钟周期（取决于芯片架构）

你想想看，一个取模操作，比加法慢了20倍以上。在循环体里用取模，简直就是性能杀手。

二、用位运算替代取模——但有个前提

不是所有取模都能用位运算替代。只有模数是2的幂时，才能用位运算优化。

为什么？因为 x % (2^n) 等价于 x & (2^n - 1)。

举个例子：

// 传统写法
int index = value % 16;   // 模16

// 位运算优化
int index = value & 15;   // 等价于 value & 0x0F

16是2的4次方，所以 % 16 等价于 & 15（即 & 0x0F）。

为什么会这样？因为 2^n - 1 在二进制里就是n个1。比如16-1=15，二进制是 00001111。按位与操作只保留低4位，正好就是取模的结果。

避坑指南

三、用位运算实现绝对值

绝对值函数 abs() 看起来简单，但标准库的实现里往往有分支判断。分支预测失败时，性能损失很大。

位运算版本的绝对值，核心思路是利用符号位。

在计算机中，整数的最高位是符号位：

• 正数：符号位为0
• 负数：符号位为1

对于32位整数，符号位就是第31位。我们可以用 x >> 31 来提取符号位：

• 正数：x >> 31 = 0
• 负数：x >> 31 = -1（算术右移，补符号位）

然后利用一个数学技巧：

绝对值 = (x ^ (x >> 31)) - (x >> 31)

我们来拆解一下：

1. mask = x >> 31：提取符号位，正数得0，负数得-1
2. x ^ mask：正数不变，负数按位取反
3. 结果 - mask：正数减0不变，负数减(-1)相当于加1

这不就是补码的求绝对值过程吗？没错，位运算版本的绝对值，本质上就是在手动执行补码的数学运算。

代码实现

// 位运算实现绝对值（32位整数）
int bit_abs(int x) {
    int mask = x >> 31;
    return (x ^ mask) - mask;
}

// 对比标准库版本
int std_abs(int x) {
    return x < 0 ? -x : x;  // 有分支
}

四、知识体系总览

下面这张图，帮你理清本章的核心逻辑：

五、实战中的注意事项

技巧虽好，但别滥用。我总结了几条经验：

场景	建议	原因
模数是2的幂	用位运算替代	性能提升明显，代码更简洁
模数不是2的幂	保留取模	位运算结果错误，不可替代
绝对值在循环内	用位运算版本	避免分支预测失败
绝对值只调用一次	用标准库即可	性能差异可忽略，可读性更重要
代码需要跨平台	谨慎使用位运算	不同架构的右移行为可能不同

六、总结

今天聊了两个核心技巧：

• 替代取模：模数是2的幂时，用 & (2ⁿ - 1) 替代 % 2ⁿ
• 实现绝对值：用 (x ^ (x >> 31)) - (x >> 31) 替代分支判断

这两个技巧的共同点是什么？无分支、无除法、单周期指令。在嵌入式系统里，这就是性能优化的黄金法则。

嗯，下次你在写循环体或者中断服务函数时，不妨想想：这里能不能用位运算？说不定一个 & 或 ^ 就能省下几十个时钟周期。

---