extern inline与static inline共享函数：哪种写法才正确？

第一种形式：extern inline #

main.c #

#include <stdio.h>
#include "main.h"
#include "file1.h"

extern inline int f(int x);

int main() {
    printf("Hello inline function: %d\n", f(1));

    int y = some_function();

    printf("Hi from file1: %d\n", y);
    return 0;
}

main.h #

#ifndef MAIN_H
#define MAIN_H

extern inline int f(int x) {
    return x;
}

#endif // MAIN_H

file1.c #

#include "main.h"
#include "file1.h"

// 使用extern inline函数
int some_function() {
    return f(3);
}

file1.h #

#ifndef FILE1_H
#define FILE1_H

// 声明some_function函数
int some_function();

#endif // FILE1_H

第二种形式：static inline #

保持file1.c和file1.h不变，修改main.c和main.h如下：

main.c #

#include <stdio.h>
#include "main.h"
#include "file1.h"

int main() {
    printf("Hello inline function: %d\n", f(1));

    int y = some_function();

    printf("Hi from file1: %d\n", y);
    return 0;
}

main.h #

#ifndef MAIN_H
#define MAIN_H

static inline int f(int x) {
    return x;
}

#endif // MAIN_H

编译运行结果 #

❯ make
gcc -Wall -Wextra -std=c11 -c file1.c -o file1.o
gcc -Wall -Wextra -std=c11 -c main.c -o main.o
gcc file1.o main.o -o main
❯ ./main
Hello inline function: 1
Hi from file1: 3

正确性分析 #

1. static inline 写法是合法且推荐的 #

按照C标准，static inline函数的作用域被限定在当前编译单元（.c文件）：

• 每个包含该头文件的编译单元都会生成一份独立的函数副本；
• 编译器开启优化时会优先内联展开函数，不会生成冗余的二进制代码；
• 即使编译器不内联，每个编译单元的副本都是局部符号，不会引发链接冲突。
  这种写法适合实现小型、高频调用的工具函数，是工程中常用的正确写法。

2. extern inline 写法存在潜在风险 #

你当前的extern inline写法不符合C99及后续标准的规范：
C标准规定，extern inline声明的函数，必须有且仅有一个编译单元提供该函数的普通外部定义（即非inline、非static的函数实现）。而你的代码中，所有编译单元（main.c和file1.c）都只使用了extern inline的定义，没有提供外部实现。
当前例子能运行只是因为编译器将f完全内联了，没有生成外部调用指令。一旦编译器因为优化级别降低、函数复杂度增加等原因无法内联f，链接器就会报undefined reference to 'f'的错误，导致程序链接失败。

如果要正确使用extern inline，应该调整写法：

• 在头文件中声明inline int f(int x) { ... }（不要加extern）；
• 在某一个单独的.c文件中（比如f.c）添加extern int f(int x); 或者直接写完整的函数实现，确保链接器能找到 fallback 的函数定义。

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