启用LTO、使用-fdata-sections -ffunction-sections -Wl,--gc-sections去除无用代码，控制模板实例化与内联，剥离调试符号，并结合静态分析工具定期检测死代码，可有效减小C++二进制体积。
减少C++二进制文件大小，关键在于消除无用代码和优化编译链接过程。尤其在嵌入式开发或发布轻量级应用时，控制体积非常必要。以下是几种实用的技术手段。
启用链接时优化（LTO）
链接时优化（Link-Time Optimization, LTO）允许编译器在整个程序范围内进行优化，跨越编译单元边界去除未使用的函数和变量。
使用方法：
- 编译时添加 -flto 标志
- 链接时也需启用相同标志
g++ -flto -O2 -c file1.cpp -o file1.o
立即学习“C++免费学习笔记（深入）”；
g++ -flto -O2 file1.o file2.o -o program
LTO不仅能去除死代码，还能内联跨文件函数、简化控制流，显著缩小体积。
去除未引用的函数和数据（Dead Stripping）
大多数现代链接器支持丢弃未使用的函数和数据段。
确保代码以“每个函数/数据单独成段”方式编译：
- -fdata-sections：为每个数据分配独立段
- -ffunction-sections：每个函数单独成段
- -Wl,--gc-sections：链接时启用段回收
这些选项组合使用，可让链接器精准移除未被引用的代码块。
避免模板和内联膨胀
C++模板容易导致代码重复，尤其是显式实例化或深度内联时。
建议：
- 限制模板实例化范围，对常用类型显式实例化并分离编译
- 避免在头文件中定义复杂模板函数体
- 控制 inline 使用，编译器可能忽略或导致膨胀
使用 -fno-implicit-templates 可阻止隐式实例化，手动控制生成。
剥离调试符号和元信息
发布版本应剥离调试信息以减小体积。
方法：
- 编译时用 -g 生成调试信息，发布前用 strip 命令移除
- 或编译时不用 -g，仅保留必要符号
strip --strip-unneeded program
也可使用 objcopy 保留调试信息到单独文件，便于后续调试。
使用静态分析工具检测死代码
编译器不一定能发现所有无用代码，可借助外部工具。
- clang-tidy 配合 misc-deadcode-elimination 检查潜在死代码
- nm 或 objdump 分析符号表，识别未引用函数
- 自定义脚本结合 readelf 分析段使用情况
定期审查输出，手动清理长期未调用的接口。
基本上就这些。结合编译器选项、链接策略和代码组织，能有效控制C++二进制大小。关键是早介入、常检查，避免后期积重难返。
