困惑于C语言inline关键字：同翻译单元为何出现链接错误？

代码示例 #

#include <stdio.h>

inline int b(int x) {
    return x*2;
};

int main()
{
    printf("Hello World %d", b(3));
    return 0;
}

编译错误 #

/usr/bin/ld: /tmp/ccGGQWnl.o: in function 'main':
main.c:(.text+0xe): undefined reference to 'b'
collect2: error: ld returned 1 exit status

原理解析 #

1. C标准对inline的核心规则 #

C99及后续标准中，inline是编译器的建议性关键字——它只是告诉编译器「这个函数适合内联展开」，但编译器完全有权根据优化级别、函数复杂度等因素选择不展开。

更关键的是：仅用inline修饰的函数定义属于「inline定义」，默认不会生成可供链接的外部函数实体。也就是说，编译器不会把这个函数编译成独立的机器码块，除非满足特定触发条件。

当你的代码中main调用b(3)时，如果编译器没选择内联展开，就会在链接阶段尝试寻找b的外部实体，但当前翻译单元里根本没生成这个实体，也没有其他文件提供，自然就报「未定义引用」。

2. 这样设计的原因 #

这个规则是为了解决多翻译单元下inline函数的链接冲突问题：

• 如果允许每个包含inline函数定义的翻译单元都生成独立实体，那么当多个文件都定义了同一个inline函数时，链接器会触发「多重定义」错误。
• 标准的设计思路是：inline定义只作为本翻译单元内的内联候选，全局范围内只需要一个翻译单元用extern声明并定义该函数，提供唯一的外部实体供其他单元调用（如果没被内联的话）。

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