无共享头文件/extern声明仍可链接函数？ARM/KEIL编译疑问

核心原因1：C语言函数的默认存储类是extern #

在C标准（尤其是老旧代码常用的C89）中，函数声明如果没有static修饰，默认就是extern属性。也就是说：

// 这两行声明在语义上完全等价
int GetSomething( int a );
extern int GetSomething( int a );

所以你在fileB.c里加不加extern，编译器对这个函数的存储类型判定都是全局可见的，生成的符号表条目完全一致，最终输出的二进制自然没有区别。

核心原因2：KEIL链接器的全局符号查找机制 #

KEIL的ARM链接器会遍历工程中所有编译生成的目标文件（.o），查找未解析的符号。fileA.c中GetSomething的定义没有static修饰，属于全局可见符号，链接器在处理fileB.c的目标文件时，能找到这个全局符号并完成地址绑定，因此可以正常链接。

补充细节说明 #

• 无公共头文件为何可行？：头文件的作用是统一提供函数声明，避免重复编写和签名不一致。但只要你在fileB.c中手动写了正确的函数声明，编译器就知道函数的返回值类型和参数列表，不会触发C89的隐式函数声明规则（隐式声明会默认函数返回int、参数不确定），因此编译阶段不会报错。
• fileB.c中声明缺分号为何没报错？：这其实是语法错误，但KEIL的ARMCC编译器在兼容C89的宽松模式下，可能会忽略这个小问题，将其视为有效的函数声明处理（如果是严格C99/C11模式，通常会报错）。
• 潜在风险：这种写法完全不规范，一旦函数签名出现不一致（比如fileA中参数是int，fileB中写成char），编译器可能无法检测到类型不匹配，链接器也能正常通过，但运行时会因参数传递错误导致崩溃或逻辑异常；如果省略声明直接调用，隐式声明的规则可能导致返回值处理错误。

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