C++中extern inline函数为何未导出到目标文件符号表？

问题复现 #

编译如下C++代码生成目标文件时，f1函数未出现在导出符号列表中：

// A.cpp
#include <iostream>
using namespace std;

extern inline void f1() {
  cout << "f1" << endl;
}

使用的编译命令：
clang++ -c A.cpp -o A.o
执行nm A.o查看符号时无法找到f1相关条目；移除inline关键字后重新编译，f1符号可以正常被导出。

核心规则说明 #

这个现象是C++标准对inline函数的明确规定，和extern的常规语义并不冲突：

• 被inline修饰的函数，无论是否显式添加extern关键字，默认都具备外部链接属性，但编译器不会在单个编译单元中强制为其生成可导出的实体符号。inline的设计初衷是允许函数在多个编译单元重复给出完全一致的定义，编译器会优先在调用点做内联展开，仅当编译单元内出现必须生成实体的场景（比如存在无法内联的调用、代码中取了该函数的地址）时，才会在目标文件中生成供链接器合并的弱符号。
• 上述示例代码中，f1在A.cpp内没有任何调用点、也没有取地址的操作，编译器判断不需要为其生成实际函数实体，因此不会出现在符号表中，属于符合标准的正常行为，不是编译器bug。
• 移除inline关键字后符号正常导出的现象完全符合规则：非内联的普通函数只要在编译单元内存在定义，编译器就必须为其生成全局可导出的强符号，和函数是否被调用没有关系。

验证方式 #

在A.cpp中增加对f1的调用或者取地址操作，例如：

// A.cpp
#include <iostream>
using namespace std;

extern inline void f1() {
  cout << "f1" << endl;
}

// 新增以下任意一行后重新编译
// void run_test() { f1(); }
// void (*func_ptr)() = &f1;

重新执行编译命令后，再通过nm A.o查看符号，就能看到f1对应的弱符号。这类弱符号会被链接器自动处理，多个编译单元存在同名f1弱符号时会自动合并为一个实体，不会触发重定义错误。

补充：如果将extern inline替换为static inline，函数会变为内部链接属性，即使生成符号也属于编译单元本地符号，不会导出给其他编译单元使用。

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