静态库中的函数能否被内联？附代码场景技术问询

先明确给定的代码结构：

main.cpp

#include <lib/header.hpp>
int main() {
    return lib::meaningoflife();
}

lib/header.hpp

namespace lib {
    int meaningoflife();
}

lib/source.cpp

namespace lib {
    int meaningoflife(){ return 42;}
}

1. 常规编译链接（无LTO）的行为 #

默认情况下，将lib编译为静态库再链接到程序时，main函数必须调用lib::meaningoflife()函数，不会直接返回42。

原因是：静态库是单个源文件编译出的目标文件的集合。编译lib/source.cpp时，编译器只在当前文件范围内优化，会把meaningoflife编译成独立的函数实现；编译main.cpp时，编译器只知道函数声明，会生成调用该函数的指令。链接阶段仅将静态库中用到的目标文件合并到可执行文件，不会做跨文件的深度优化，所以最终main函数依然会执行函数调用逻辑，拿到返回值42后再返回。

2. 是否需要LTO？ #

如果想要让main函数直接返回42，必须启用LTO（链接时优化）。

LTO会在链接阶段整合所有编译单元的中间表示，进行跨文件全局优化。它能分析出lib::meaningoflife()是返回常量42的纯函数，且main直接返回该函数结果，这时就会把函数调用替换成直接返回42的指令，甚至可以进一步把整个程序优化为仅返回42的极简逻辑。不开启LTO的话，编译器无法跨文件感知函数的具体实现细节，做不到这种优化。

内容的提问来源于stack exchange，提问作者user24551355