4. 代码优化策略（上）：编译器优化等级与代码技巧

代码优化这件事，说简单也简单，说复杂也复杂。我见过不少工程师，上来就把优化等级拉到 -O3，觉得这样性能就上去了。结果呢？程序跑飞了，调试找不着北。今天咱们就聊聊编译器优化等级的选择，以及几个常用的代码优化技巧。

4.1 编译器优化等级：-O0 到 -Os 怎么选？

GCC 编译器提供了多个优化等级，每个等级背后是一组编译选项的组合。我习惯把它们分成三类：调试用、性能用、体积用。

优化等级	特点	适用场景	我踩过的坑
-O0	不做优化，代码原样编译	开发调试阶段	千万别用在正式版，性能差太多
-O1	轻度优化，编译快，代码可读	调试与性能兼顾	适合大部分场景起步
-O2	中度优化，性能明显提升	正式发布版本	注意检查 volatile 变量
-O3	激进优化，性能最大化	计算密集型任务	容易引入时序问题
-Os	优化代码体积	Flash 空间紧张	性能会有所牺牲

为什么会这样？说白了，编译器优化本质上是做「代码变换」。比如 -O0 下，每个变量都老老实实存在内存里；到了 -O2，编译器会把频繁使用的变量放到寄存器里，速度自然就上来了。

4.2 内联函数与宏定义：用哪个？

内联函数和宏定义都能减少函数调用开销。但它们的区别，很多人没搞清楚。

宏定义是预处理阶段直接文本替换，没有类型检查，容易出问题。比如：

#define SQUARE(x) x * x
// 调用：SQUARE(a + b) 展开为 a + b * a + b，结果完全不对！

内联函数是编译阶段处理，有类型检查，更安全。但要注意，inline 只是建议，编译器不一定采纳。

我个人习惯这样用：

• 简单的常量定义、条件编译 → 用宏
• 小函数（3-5行）、频繁调用 → 用内联函数
• 涉及硬件寄存器操作 → 用内联函数 + volatile

举个例子，STM32F407 的 GPIO 操作：

// 宏定义方式
#define SET_PIN(port, pin) (port->BSRR = (1 << pin))

// 内联函数方式
static inline void set_pin(GPIO_TypeDef *port, uint16_t pin) {
    port->BSRR = (1 << pin);
}

你想想看，宏定义虽然快，但如果你传参写错了，编译器不会报错。内联函数会检查类型，更安全。我建议在正式项目里优先用内联函数。

4.3 循环展开与软件流水

这两个技巧，说白了就是「用空间换时间」。循环展开减少循环控制开销，软件流水让指令并行执行。

循环展开

看一个简单的例子。假设我们要对数组求和：

// 原始循环
uint32_t sum = 0;
for (int i = 0; i < 100; i++) {
    sum += array[i];
}

// 展开 4 次
uint32_t sum = 0;
for (int i = 0; i < 100; i += 4) {
    sum += array[i];
    sum += array[i+1];
    sum += array[i+2];
    sum += array[i+3];
}

展开后，循环次数从 100 次降到 25 次。每次循环少了一次比较和跳转，性能提升明显。但要注意，展开因子不是越大越好。我一般控制在 4 到 8 之间，太大了寄存器不够用，反而变慢。

软件流水

软件流水是更高级的技巧。它把循环体拆成多个阶段，让不同迭代的指令重叠执行。STM32F407 是单发射的 Cortex-M4，没有硬件流水线支持，但我们可以手动做。

举个例子，处理一个数据缓冲区：

// 原始版本
for (int i = 0; i < N; i++) {
    process(data[i]);
}

// 软件流水版本（3 级流水）
process(data[0]);  // 第 1 级
process(data[1]);  // 第 2 级
for (int i = 2; i < N; i++) {
    process(data[i]);  // 第 3 级
    // 这里可以插入其他操作
}

嗯，这里要注意，软件流水在 F407 上的效果没有在 DSP 或多核处理器上那么明显。因为 Cortex-M4 的流水线只有 3 级，而且没有乱序执行。但如果你在做 FIR 滤波或者 FFT 这类计算密集型任务，手动流水还是能挤出 10%-20% 的性能。

4.4 知识结构图

下面这张图总结了本章的核心内容，帮你快速建立知识框架：

4.5 实战建议

说了这么多，到底怎么选？我给出一个实际项目的配置参考：

• 开发阶段：用 -O0，方便调试。别嫌慢，调试效率更重要。
• 功能验证：切到 -O1，看看功能是否正常。这时候最容易发现 volatile 遗漏的问题。
• 性能调优：用 -O2，配合 Profiler 找热点。别一上来就 -O3。
• 最终发布：根据 Flash 余量选 -O2 或 -Os。如果空间够，-O2 更稳妥。