如何跨翻译单元内联函数？为何示例中跨单元内联未生效？

你抓得非常准！这个问题的核心就是你最后猜想的那条规则——如果要让某个翻译单元里的函数调用被内联，该单元必须能看到带inline关键字的声明，同时得能访问到函数的完整定义。下面来拆解具体原因和背后的C标准规则：

1. 你的代码中各翻译单元的处理逻辑 #

先看两个文件的编译情况：

• file1.c：这里你用了extern inline int add(int x, int y) { ... }。根据C99及后续标准，extern inline的含义是：
  • 编译器会为这个函数生成外部可见的符号（也就是独立的函数二进制代码），供其他翻译单元调用；
  • 同时，当前翻译单元里的add(1,1)调用能直接拿到函数体，所以编译器可以选择内联这个调用。
• main.c：这里只有普通的外部声明extern int add(int, int);——既没有inline关键字提示编译器这是个适合内联的函数，也没有提供函数的具体定义。编译器在处理add(2,4)时，根本不知道这个函数的内部实现是什么，只能生成一个对外部符号add的调用，完全没机会做内联优化。

2. 验证你的猜想：内联的必要条件 #

是的，你总结的规则完全正确：要让翻译单元内的函数调用被内联，必须满足两个条件：

• 该单元中存在带inline关键字的函数声明；
• 该单元能访问到函数的完整定义（编译器需要拿到函数体才能把调用替换成代码）。

内联是编译阶段的优化，编译器必须“看到”函数的具体代码才能完成替换，而inline关键字是给编译器的一个明确提示：这个函数适合做内联优化（当然编译器最终是否内联还是会根据自身策略判断，但没有这个提示+定义的话，连内联的机会都没有）。

3. 如何让两个翻译单元都能内联add？ #

标准的做法是把inline函数的定义放到头文件中，让每个需要内联的翻译单元都包含这个头文件：

第一步：创建add.h头文件 #

#ifndef ADD_H
#define ADD_H

// 定义inline函数，头文件保护避免重复包含
inline int add(int x, int y) {
    return x + y;
}

#endif

第二步：修改file1.c #

#include "add.h"

// 如果需要让其他翻译单元能调用add的非内联版本（可选），添加extern inline声明
extern inline int add(int x, int y);

void g(void) {
    add(1, 1); // 可被内联
}

第三步：修改main.c #

#include "add.h"

void f(void) {
    add(2, 4); // 现在编译器能看到inline声明和定义，可被内联
}

int main(void) {
    f();
    return 0;
}

这样修改后，两个翻译单元都能拿到add的inline声明和完整定义，编译器就可以对两个文件中的add调用做内联优化了。

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