关于inline函数的异常现象：为何调用会输出随机值？

你的代码结构还原 #

test_1.c：

extern inline int fn(int a, int b) {
    return a + b;
}

test_2.c：

#include <stdio.h>

inline int fn(int a) {
    return a * 2;
}

void wrapper() {
    printf("%d\n", fn(123));
}

int main() {
    wrapper();
    return 0;
}

你的代码触发了未定义行为，根源在于违反了C99的标识符定义规则和inline函数的约束，具体拆解如下：

1. C语言不支持函数重载，外部链接函数必须唯一 #

C99标准（ISO/IEC 9899:1999）6.9p5规定：对于具有外部链接的标识符，整个程序中只能存在一个外部定义，除非是inline函数的特殊情况——但inline函数的多个外部链接定义必须完全一致（包括函数签名、参数列表、函数体）。

你的代码中：

• test_1.c定义了inline int fn(int a, int b)，并通过extern声明强化了其外部链接属性
• test_2.c定义了inline int fn(int a)，未加static修饰，默认具有外部链接

这两个fn的参数列表完全不同，本质是两个不同的函数，但共享了同一个外部链接的函数名，直接违反了“外部链接标识符唯一定义”的规则，触发未定义行为。

2. inline函数的外部链接规则 #

根据C99 6.7.4p6：当一个函数被声明为inline且具有外部链接时，所有引用该函数的翻译单元中，对应的inline定义必须完全相同。如果程序中存在多个不一致的外部链接inline函数定义，编译器和链接器的行为完全不受标准约束——这就是未定义行为的核心。

在你的场景中，链接器最终选择了test_1.c中接受两个参数的fn定义作为全局的外部符号。当test_2.c中的wrapper调用fn(123)时，只传递了一个参数：

• 按照C的调用约定（如cdecl），函数调用时参数会被依次压入栈中
• 原本需要两个参数的fn会从栈上读取第二个参数的位置，但这个位置没有被初始化，是栈上的随机垃圾值
• 函数返回a + b时，b就是这个随机值，因此每次运行输出结果都不一样

3. 修复建议 #

要解决这类问题，有两种合规的方案：

• 给所有inline函数加上static修饰：使其具有内部链接，每个翻译单元的fn是独立的符号，互不干扰
• 确保所有外部链接的inline函数定义完全一致：包括函数签名、参数列表和函数体，符合C99对外部链接inline函数的约束

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