extern inline int foo()与extern int foo()的标准差异及内联范围问询

1. 核心差异对比 #

• extern int foo() 只是函数声明，仅告知编译器该函数的定义存在于其他翻译单元，本身不提供任何实现代码。
• extern inline int foo() {} 是带extern属性的内联函数定义：既提供了可内联的函数实现，同时要求项目中必须存在该函数的非内联全局定义（在其他翻译单元中）。

2. 当前翻译单元内的内联行为 #

extern inline 定义的函数，在当前翻译单元内允许编译器进行内联优化——编译器会优先尝试将函数调用点替换为内联代码，而非生成函数调用指令。但这不是强制行为，最终是否内联由编译器的优化策略决定。

3. 跨翻译单元的内联可能性 #

在其他.c文件中调用foo时，无法通过C标准实现跨翻译单元内联：

• 其他翻译单元若仅存在extern int foo()的声明，编译器只能生成对该函数全局定义的调用，无法获取当前翻译单元中extern inline的实现代码来完成跨TU内联。
• 部分编译器扩展（如GCC的链接时优化LTO）可能支持跨TU内联，但这不属于C标准规定的范畴。

补充说明 #

C99中extern inline的设计逻辑是与全局非内联定义配合使用：你可以在一个翻译单元中编写extern inline的内联实现，在另一个翻译单元中编写普通的int foo() {}全局定义。这样当前翻译单元可享受内联优化，其他翻译单元则链接到全局定义。

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