关闭调试信息和符号表、启用LTO与函数级链接、避免隐式模板实例化、合理选择运行时链接策略，是减小C++二进制体积的四大核心措施。
关闭调试信息和符号表
默认编译会嵌入大量调试符号（如 gdb 可读的 DWARF 信息），显著膨胀二进制体积。Release 构建必须禁用它们。
- Clang/GCC：加
-g0（不是-g缺失，而是显式关）；-s可进一步 strip 符号，但注意它不删调试段，仅删符号表，建议配合strip --strip-all - MSVC：用
/Zi时会生成 .pdb，需改用/Z7并在链接时加/DEBUG:NONE，或直接用/Zl（省略默认库名）减少冗余符号 - 常见误操作：只加
-O2不关-g，结果二进制仍含完整调试信息，大小几乎不变
启用链接时优化（LTO）和函数级链接
LTO 让链接器看到所有目标文件的中间表示，能跨编译单元内联、删除未用函数、合并重复字符串字面量——这对减小体积效果极明显，尤其使用模板或 STL 较多时。
- Clang/GCC：编译加
-flto，链接也加-flto；推荐搭配-ffunction-sections -fdata-sections和链接参数-Wl,--gc-sections - MSVC：用
/GL（编译）+/LTCG（链接），并开启/Gy（函数级链接） - 注意：LTO 会延长构建时间，且部分第三方静态库若未用 LTO 编译，可能无法参与优化；可尝试
-flto=thin平衡速度与效果
避免隐式模板实例化和 STL 膨胀
STL 容器和算法在头文件中定义，每次 #include 都可能触发重复实例化，尤其是 std::vector<int> 这类常用类型，在多个 .cpp 中出现就会生成多份代码。
- 对高频模板类型，显式实例化到单个 .cpp 文件：
template class std::vector<int>;，并在头文件中声明extern template class std::vector<int>; - 慎用
<regex>、<locale>、<streambuf>等重型头文件，它们常带巨量未用代码；能用 C 风格（如sscanf）就不用std::regex - 检查
libstdc++vslibc++：后者通常更轻量，Clang 下推荐-stdlib=libc++；MSVC 的msvcp140.dll是动态的，但静态链接/MT会把整个 C++ 运行时塞进二进制
检查运行时依赖和静态链接策略
静态链接看似“打包完整”，但会把整个 libc、libstdc++ 拷贝进来，反而让二进制暴增；而动态链接虽依赖外部 DLL/.so，但体积可控得多。
立即学习“C++免费学习笔记（深入）”；
- Linux：优先用
-dynamic（默认），避免-static；若必须静态，加-static-libgcc -static-libstdc++控制范围，再用objdump -t binary | grep -E '(_Z|__Z)' | wc -l查看符号数量是否异常高 - Windows：/MD（动态 CRT）比 /MT（静态 CRT）小 1–2MB；确认没有意外链接了
libcpmt.lib等静态库 - 关键盲点：CMake 默认可能开启
ENABLE_EXPORTS或生成调试导入库（.lib），这些文件本身不大，但会拖入额外符号；检查最终链接命令是否含多余.lib
真正起效的往往是组合策略：关调试信息 + LTO + 控制 STL 使用 + 动态链接 CRT。单独调一个选项，常看不到明显变化；而 strip 后再用 readelf -S 或 llvm-size 对比各段大小，才能定位到底是谁在占空间。
