1. 引言
在使用 VSCode 配合 GCC 工具链开发 STM32 时，编译优化选项是影响程序运行行为和调试体验的关键因素。其中 -O0 与 -Os 是最常被对比的两个选项，理解它们的区别有助于在调试阶段和发布阶段做出合理选择。
2. 优化选项的基本概念
-O0 表示关闭所有优化，编译器按照源代码的原始结构生成机器码，变量和表达式尽量保留在内存中，便于调试器实时查看和修改。而 -Os 表示在保证代码体积最小的前提下进行优化，编译器会积极消除冗余指令、复用寄存器、内联小函数等，从而显著减小固件体积。
3. 主要区别对比
| 对比维度 | -O0 | -Os |
|---|---|---|
| 优化程度 | 不优化 | 以代码体积最小化为目标进行优化 |
| 调试体验 | 变量可实时查看，单步执行与源码高度对应 | 变量可能被优化掉，单步执行可能跳行或乱序 |
| 代码体积 | 最大 | 最小 |
| 执行速度 | 较慢 | 通常较快，但个别场景可能因体积优先策略略慢 |
| 典型用途 | 开发调试阶段 | 发布量产固件 |
4. 对调试的影响
在 -O0 下，局部变量通常会被分配到栈或内存中，调试器可以随时读取和修改它们的值，断点和单步执行的行为与源码逻辑高度一致。切换到 -Os 后，编译器可能将变量直接映射到寄存器，甚至完全消除某些临时变量，导致调试器显示的值不准确或提示变量已优化掉。
5. 对代码体积的影响
对于 Flash 容量有限的 STM32 芯片，-Os 能显著降低固件体积。例如，一个包含 FreeRTOS 和多个外设驱动的工程，在 -O0 下可能占用 60KB Flash，而改用 -Os 后可能降到 40KB 左右。这在资源紧张的芯片上往往是决定能否量产的关键因素。
6. 对执行速度的影响
-Os 在减小体积的同时通常会提升执行速度，因为指令数量减少、寄存器利用率提高。但需要注意，-Os 优先考虑体积而非速度，在个别计算密集场景下，-O2 可能比 -Os 更快。如果项目对实时性要求极高，可以考虑在特定源文件上单独使用 -O2。
7. 在 VSCode 中的配置方法
在 VSCode 中，编译选项通常通过 c_cpp_properties.json 或 tasks.json 中的编译参数进行配置。以 STM32 的 GCC 工具链为例，在 tasks.json 的编译命令中追加 -O0 或 -Os 即可。也可以利用 CMake 或 Makefile 中的编译标志统一管理，便于在不同构建配置之间切换。
8. 实践建议
- 开发阶段：使用 -O0，保证调试器能完整呈现变量和程序流程。
- 发布阶段：切换为 -Os，减小固件体积并提升整体性能。
- 混合策略：对时间敏感的中断服务函数或算法模块，可单独使用 -O2 编译。
- 验证环节：发布前务必在 -Os 下完整回归测试，避免优化引入的时序或行为差异。
9. 总结
-O0 与 -Os 的核心区别在于调试友好性与代码体积之间的权衡。开发调试时优先 -O0，量产发布时优先 -Os，必要时结合 -O2 做局部加速，是 STM32 工程中比较稳妥的实践路径。