LTO是链接阶段对整个程序进行跨翻译单元全局优化的技术，通过分析所有目标文件的中间表示，实现函数内联、死代码消除、虚调用去虚化等深度优化。
链接时优化（LTO）是编译器在链接阶段对整个程序（而非单个源文件）进行跨翻译单元的全局分析与优化的技术。它让编译器看到所有目标文件的中间表示（如LLVM IR 或 GCC 的 GIMPLE），从而突破传统“每个 .cpp 单独编译”的限制，实现函数内联、死代码消除、常量传播、虚拟调用去虚化等原本无法完成的深度优化。
为什么需要 LTO？——单文件编译的天然局限
常规编译中，每个 .cpp 文件被独立编译成 .o，编译器只看当前文件的代码和头文件声明，看不到其他文件里函数的真实定义或调用上下文。比如：
- 一个 inline 函数在头文件中定义，但调用它的代码在另一个 .cpp 里 —— 普通编译可能不内联；
- 某个函数只在本文件内被静态调用，但编译器不知道它是否被其他文件使用，不敢删；
- 虚函数调用通常无法优化，但如果 LTO 发现某个类的所有子类都已知且无动态加载，就可能直接转为直接调用。
怎么启用 LTO？——常见编译器写法
LTO 不是默认开启的，需显式指定。关键点是：编译和链接两个阶段都要加标志，且必须一致。
- GCC / Clang： 编译时加 -flto（或 -flto=full / -flto=thin），链接时也加 -flto；
- MSVC： 使用 /GL（编译） + /LTCG（链接），即 “Link-Time Code Generation”；
- 注意：不能混用不同编译器生成的 .o 文件做 LTO；静态库（.a/.lib）需用 LTO 模式重新编译，否则会降级为普通链接。
LTO 的实际效果与取舍
典型收益包括：可执行文件体积减小 5%–20%，热点路径性能提升 5%–15%（尤其模板-heavy 或虚函数多的项目）。但也有代价：
立即学习“C++免费学习笔记（深入）”；
- 编译+链接变慢（特别是 full LTO，需全量 IR 加载与分析）；
- 调试信息可能弱化（如函数被内联后堆栈更扁平）；
- Thin LTO 是折中方案：编译快、并行度高，优化力度略低于 full LTO，但仍是主流推荐。
不只是“更快”，LTO 还解锁高级优化能力
一些优化只有在全局视角下才安全可行：
- 跨模块常量传播： A.cpp 中 const int X = 42；B.cpp 调用 foo(X)；若 foo 定义在 C.cpp 且接受 int 参数，LTO 可将 foo(42) 内联并折叠分支；
- 无用函数/变量删除： 即使符号未声明为 static，只要 LTO 确认它完全未被任何存活调用引用，就可移除；
- 函数属性推导： 自动识别 cold、noreturn、const、pure 等属性，辅助后续优化决策。
基本上就这些。LTO 不复杂但容易忽略，对追求性能或尺寸敏感的 C++ 项目（如嵌入式、游戏引擎、基础库）值得纳入构建流程。
