LTO是在链接阶段进行的跨编译单元全局优化技术，通过保留中间表示实现函数内联、死代码消除、虚调用去虚化等深度优化。
Link-Time Optimization（LTO）是 C++ 编译过程中在链接阶段进行的跨编译单元全局优化技术。它让编译器在最终生成可执行文件前，能看到所有源文件（.o 或 .obj）的中间表示（如 LLVM IR 或 GCC 的 GIMPLE），从而打破传统“每个源文件独立编译”的限制，实现函数内联、死代码消除、跨文件常量传播、虚拟调用去虚化等原本无法完成的深度优化。
为什么需要 LTO？——传统编译的瓶颈
普通编译流程中，每个 .cpp 文件被单独编译为目标文件（.o），编译器只能看到当前文件内的信息。即使一个 inline 函数定义在头文件里，若未被当前 TU（Translation Unit）内联，而是在另一个 TU 中定义并调用，编译器也无法在链接时决定是否内联它——因为目标文件里只有机器码，没有语义信息。
LTO 把“优化时机”从编译阶段推迟到链接阶段，并保留足够多的高级中间表示，使整个程序变成一个可统一分析和变换的整体。
如何启用 LTO（以主流工具链为例）
-
GCC / Clang： 编译和链接时都加
-flto（可选-flto=thin启用 Thin LTO，降低内存开销、支持并行）
示例：g++ -flto -O2 a.cpp b.cpp -o prog -
MSVC： 使用
/GL（编译时生成 MSIL-like 表示） +/LTCG（链接时优化）
示例：cl /c /O2 /GL a.cpp b.cpp && link /LTCG a.obj b.obj - 注意：所有参与链接的目标文件必须用相同 LTO 标志编译，否则链接器会降级为非 LTO 模式。
LTO 带来的典型性能收益场景
- 跨文件函数内联： 小工具函数定义在 utils.h，被多个 .cpp 包含；LTO 可将其直接内联进调用点，避免函数调用开销。
- 全程序死代码消除（Dead Code Elimination）： 某个导出函数从未被实际调用（比如调试接口或未启用的特性），LTO 能识别并彻底删除其代码及依赖。
-
虚函数调用优化： 若 LTO 发现某虚函数在全程序中只有一种实际派生类被实例化，就可能将
virtcall替换为直接调用（devirtualization）。 -
全局常量传播： 某个
constexpr全局变量或static const在头文件中定义，LTO 可将其值传播到所有使用处，触发进一步常量折叠。
使用 LTO 的注意事项
- 构建时间与内存占用上升： LTO 需加载并分析所有目标文件的 IR，尤其对大型项目明显；Thin LTO 可缓解该问题。
- 调试体验略受影响： 优化后行号映射、内联展开可能让调试器跳转不直观；建议仅在 Release 构建中启用 LTO。
-
不兼容部分旧构建逻辑： 如手动拼接目标文件、混合 LTO/non-LTO 对象、某些静态库未用
-flto编译等，会导致静默退化。 -
符号可见性需留意： 默认
hidden或default符号属性会影响 LTO 的跨单元分析粒度；必要时可用__attribute__((visibility("default")))显式导出。
基本上就这些。LTO 不是银弹，但对追求极致性能的 C++ 项目（如游戏引擎、高频交易、科学计算库）来说，是少数能显著提升运行效率且无需改代码的底层优化手段之一。
立即学习“C++免费学习笔记（深入）”；
