编译器优化选项：-O0 到 -Os 的原理与选择

说到编译器优化，很多新手第一反应就是「开-O3，跑得快」。但我在项目里吃过不少亏——有一次产品量产前发现某个功能在-O3下随机崩溃，换成-O2就稳了。从那以后，我对每个优化选项都多留了个心眼。

今天咱们就把 GCC 和 ARMCC 里最常见的几个优化选项掰开揉碎，看看它们到底干了什么，什么时候该用，什么时候千万别用。

优化等级全景图

先给你一张总览表，心里有个底：

选项	核心目标	编译速度	代码大小	执行速度	调试体验
-O0	无优化，可预测	最快	最大	最慢	最佳
-O1	基础优化，平衡	较快	中等	中等	较好
-O2	标准优化，性能优先	较慢	较小	较快	一般
-O3	激进优化，极致性能	最慢	可能膨胀	最快	差
-Os	代码尺寸优先	较慢	最小	较快	一般

逐级拆解：每个选项到底做了什么

-O0：老老实实，不耍花招

这是编译器的「老实人模式」。每条 C 语句都生成对应的机器指令，变量老老实实存在内存里，循环不展开，函数不内联。

什么时候用？

• 开发调试阶段
• 单步跟踪时
• 怀疑优化导致 bug 时

-O1：轻量热身，性价比高

打开一些基本优化，比如：

• 死代码消除（删掉永远不会执行的代码）
• 局部常量传播（int a = 5; int b = a + 3; 直接变成 int b = 8;）
• 跳转优化（减少不必要的跳转指令）

编译速度还很快，代码行为基本可预测。我一般在单元测试阶段用 -O1，既能跑快点，又不会出幺蛾子。

-O2：生产环境的首选

这是大多数嵌入式项目的「默认出厂设置」。它包含了 -O1 的所有优化，再加上：

• 函数内联（小函数直接嵌入调用处）
• 循环展开（减少循环控制开销）
• 指令重排（充分利用 CPU 流水线）
• 公共子表达式消除（避免重复计算）

我曾经踩过一个坑：某个驱动里用了一个全局变量做标志位，-O2 下编译器觉得这个变量「没人改」，直接把它优化掉了。从那以后，跨文件共享的标志位我都加 volatile。

-O3：性能狂魔，但请慎用

-O3 在 -O2 基础上又加了一堆「猛药」：

• 更激进的函数内联（不管函数多大，能内联就内联）
• 向量化（把标量运算变成 SIMD 指令）
• 循环交换/分块/融合（各种循环变换）
• 预测执行（提前计算可能用到的值）

听起来很美好对吧？但代价也很明显：

• 代码体积可能暴增——函数内联太多，Flash 直接爆了
• 调试基本不可能——源码和指令的对应关系乱成一团
• 浮点运算可能不精确——向量化会改变运算顺序

我只有在两种情况下用 -O3：一是纯计算密集型算法（比如音频编解码），二是 Flash 够大、RAM 够多、而且性能确实差那么一点。

-Os：小芯片的救星

这个选项的目标很纯粹：把代码体积压到最小。它在 -O2 的基础上做了一些取舍：

• 禁用那些会让代码膨胀的优化（比如循环展开）
• 优先使用短指令序列（哪怕多几条指令，只要总字节数少就行）
• 合并重复的代码段

我在 STM32F103（64KB Flash）上做过一个项目，-O2 编译出来 58KB，换成 -Os 直接降到 41KB。省出来的 17KB 够加一个菜单系统了。

ARMCC 的特殊之处

ARMCC（ARM Compiler）的优化选项和 GCC 大同小异，但有几个点要注意：

GCC 选项	ARMCC 对应	差异说明
-O0	-O0	基本一致
-O1	-O1	ARMCC 的 -O1 更保守
-O2	-O2	ARMCC 默认不开启内联，需加 --autoinline
-O3	-O3	ARMCC 的 -O3 包含链接时优化（LTO）
-Os	-Ospace	效果类似，但 ARMCC 的 -Ospace 更激进

如何选择：一个实用的决策流程

下面这张图是我自己总结的决策流程，帮你快速定位该用哪个选项：

避坑指南：我踩过的那些坑

最后分享几个真实教训，你遇到了能少走弯路：

• volatile 不能省：我曾经在中断里修改一个全局变量，主循环里判断它的值。-O2 下编译器直接把这个变量优化成寄存器副本，中断改了内存，寄存器里的值纹丝不动。排查了两天才找到原因。
• 浮点比较要小心：-O3 下浮点运算顺序可能改变，a + b + c 可能变成 (a + c) + b。如果你的算法对精度敏感，建议用 -ffloat-store 禁止浮点重排。
• 链接时优化（LTO）是双刃剑：GCC 的 -flto 能跨文件优化，但编译时间翻倍，而且一旦出问题，错误信息基本看不懂。我建议只在最终发布版本开启。
• 不要迷信 -O3：有一次我把一个控制算法从 -O2 换成 -O3，性能只提升了 3%，代码体积却大了 40%。那 3% 的性能提升，换个更快的晶振就解决了，何必呢？