LTO通过在链接时进行全局优化，突破传统编译的局部优化限制。1. 它保留中间代码（如GIMPLE或LLVM bitcode）而非直接生成机器码；2. 在链接阶段合并所有目标文件的IR，实现跨编译单元分析；3. 支持跨模块内联、过程间常量传播、全局死代码消除、虚函数去虚拟化及函数重排等优化；4. 使用-flto（GCC）、-flto（Clang）或/GL与/LTCG（MSVC）启用；5. 代价包括构建时间变长、内存占用高、调试信息受限、需统一编译所有文件且第三方库需含IR支持。
Link-Time Optimization（LTO）是C++编译过程中的一种优化技术，它允许编译器在链接阶段对多个编译单元的代码进行全局分析和优化。传统的编译流程中，每个源文件（.cpp）被独立编译成目标文件（.o），此时编译器只能对单个编译单元内部进行优化。而LTO打破了这一限制，使优化器能够跨越文件边界，看到整个程序或更大范围的代码结构。
为什么需要LTO？
在没有LTO的情况下，编译器无法得知函数在其他源文件中的调用方式或实现细节，因此许多优化机会被错过。例如：
- 一个内联函数在另一个文件中被频繁调用，但因不在同一编译单元而无法内联。
- 某些函数从未被实际使用，但由于跨文件引用关系，无法在编译期确定其无用性。
- 常量传播和死代码消除受限于局部视图，无法在整个程序层面执行。
LTO通过保留中间代码（如GIMPLE或LLVM bitcode）代替直接生成机器码，使得链接时仍可进行高级优化。
LTO如何工作？
启用LTO后，编译器不会在编译阶段将源码完全翻译为汇编或机器指令，而是生成一种中间表示（IR）。这些中间表示被存入目标文件中。在链接阶段，链接器调用优化器对所有输入的目标文件中的IR进行合并、分析和优化，然后再统一生成最终的机器码。
立即学习“C++免费学习笔记（深入）”；
以GCC为例，使用-flto选项即可开启LTO：
Clang也支持类似选项，而MSVC则通过/GL（编译）和/LTCG（链接）配合实现。
LTO带来的主要优化类型
LTO能实现多种跨编译单元的优化，显著提升性能并减小体积：
- 跨模块函数内联：即使函数定义在另一个.cpp文件中，只要可见，就可能被内联。
- 过程间常量传播：如果某个函数参数在调用点是常量，该信息可传递到被调函数体内，进一步触发优化。
- 全局死代码消除：未被调用的函数、虚函数表或模板实例可在整个程序范围内识别并移除。
- 虚函数优化：若LTO发现某虚函数仅有一种实现，可能将其去虚拟化为直接调用。
- 函数重排与热点优化：基于全局调用关系，将频繁执行的函数靠近放置，提高指令缓存命中率。
使用LTO的注意事项
LTO虽然强大，但也带来一些代价和限制：
- 编译和链接时间增加：由于需处理大量中间表示并在链接时重新优化，构建过程更慢。
- 内存消耗更高：链接时需加载并分析整个程序的IR，对大项目可能占用数GB内存。
- 调试信息支持有限：部分平台下LTO可能导致调试符号不完整或行号错乱。
- 必须全程启用：所有参与链接的目标文件都应使用LTO编译，否则可能降级为非LTO模式或报错。
- 插件兼容性问题：静态库或第三方对象文件若不含IR，则无法参与优化。
基本上就这些。LTO是现代C++构建系统中提升性能的重要手段，尤其适用于发布版本。合理使用，能在不修改代码的前提下获得可观的运行时收益。
