编译器优化下内部与外部链接inline函数的实际差异问询

结论：该结论错误，C++场景下开启优化后static inline与extern inline的目标代码输出可能存在明显差异。 #

核心差异源于两者的链接属性和标准约束不同： #

• static inline 具备内部链接属性，仅在当前翻译单元可见。编译器如果检测到当前翻译单元内所有对该函数的调用都完成了内联展开，完全可以不生成任何独立的函数符号，不会影响其他翻译单元的正常编译链接。
• extern inline 具备外部链接属性，必须符合C++标准7.1.2.4的约束：

具备外部链接的inline函数在所有翻译单元中必须拥有相同的地址。

哪怕当前翻译单元内所有对该函数的调用都被内联，编译器通常仍会生成一个弱符号的函数定义：用来满足其他翻译单元取函数地址、处理未内联调用的需求，否则就会违反"所有翻译单元地址一致"的标准要求，引发链接错误。

具体差异场景示例： #

假设两个翻译单元都引用了同一个extern inline函数，A翻译单元内所有调用都完成了内联，B翻译单元存在将该函数赋值给函数指针的操作。此时extern inline在A翻译单元中仍会生成弱符号定义，而如果是static inline函数，A翻译单元中不会生成任何额外符号，两者的目标代码输出明显不同。

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