C++二进制大小缩减 无用代码消除

启用编译器和链接器的代码消除选项可有效减小C++二进制体积：首先使用 -fdata-sections 和 -ffunction-sections 将函数和数据分段，再通过 -Wl,–gc-sections 在链接时移除未引用段；结合 extern template 抑制模板膨胀，并减少全局对象以控制初始化开销。

在C++项目中，二进制文件过大不仅影响程序启动速度，还会增加内存占用和分发成本。其中一个重要优化手段是无用代码消除，即移除未被调用或不可达的函数、变量和模板实例。现代编译器和链接器支持多种机制来实现这一目标，合理配置可以显著减小最终可执行文件或库的体积。

启用编译器级别的死代码消除

编译器可以在生成目标文件时标记未使用的函数和数据，为后续链接阶段的清理做准备。

• 使用 -fdata-sections 和 -ffunction-sections：将每个函数和数据项放入独立的段中，这样链接器可以按需保留或丢弃。
• 示例编译选项：
  g++ -c main.cpp -o main.o -fdata-sections -ffunction-sections

利用链接器进行段级清理

即使编译阶段做了准备，真正起作用的是链接器对孤立段的裁剪。

• 链接时使用 -Wl,–gc-sections：启用垃圾回收机制，移除未被引用的段。
• 完整链接命令示例：
  g++ main.o -o program -Wl,–gc-sections
• 注意：在某些平台（如 macos）上，对应选项为 -dead_strip。

避免模板代码膨胀

C++模板在实例化时会为每种类型生成独立代码，容易导致大量重复或未使用的函数体。

立即学习“C++免费学习笔记（深入）”；

• 显式实例化模板并控制可见性，防止隐式重复生成。
• 使用 extern template 声明，抑制不必要的实例化。
• 例如：
  extern template class std::vector<MyClass>;

静态构造函数与初始化代码控制

全局对象和C++构造函数可能引入隐式依赖，阻止代码被识别为“无用”。

• 减少全局变量使用，尤其是复杂类对象。
• 考虑用懒加载替代静态初始化。
• 使用 __attribute__((weak)) 或链接脚本控制符号处理方式。

基本上就这些。通过组合使用编译和链接选项，并注意代码组织方式，能有效缩减C++二进制体积。关键是开启 -fdata-sections、-ffunction-sections 和 –gc-sections，同时警惕模板和全局构造带来的隐式开销。