C 编译器隐式函数声明(Implicit function declarations in C)
引子
最近在帮同事定位一个 bug,简化如下:两个 c 文件,a.c 和 b.c 分别如下:
a.c 简化如下:
// a.c
#include <stdio.h>
long* func() {
long* addr = (long*)0x12345678cccccccc;
printf("======func: addr = %p\n", addr);
return addr;
}
b.c 简化如下:
// b.c
#include <stdio.h>
int main() {
long* addr = func();
printf("======main: addr = %p\n", addr);
}
定位过程中,func 函数内部和调用点分别打印,发现结果不一致:
======func: addr = 0x12345678cccccccc
======main: addr = 0xffffffffcccccccc
显然,得到的结果被截断了。背后的原因其实就是:C 编译器隐式函数申明。
C 编译器隐式函数申明
上面的例子中,b.c 引用了外部 a.c 中的 func 函数,但是 func 函数没有申明。在这种情况下,编译器会自动生成隐式函数声明。编译器生成的隐士函数申明的返回值是 int 类型:
int func();
那么前文提到的问题就非常明显了,返回值被强制转换为了 int 类型,被截断了。解决办法也很简单,增加一个头文件 a.h,给出正确的申明:
// a.h
extern long* func();
再 b.c 中包含该头文件即可。
警示
其实,上面这个问题,编译器在编译时会产生 warning
警告:
b.c: In function ‘main’:
b.c:5:18: warning: implicit declaration of function ‘func’ [-Wimplicit-function-declaration]
5 | long* addr = func();
| ^~~~
b.c:5:18: warning: initialization of ‘long int *’ from ‘int’ makes pointer from integer without a cast [-Wint-conversion]
只是这个 warning 被淹没在编译日志中没有被发现,或者发现了也没重视。因此,建议在项目的编译脚本中添加 -Werror
编译选项,强制让 warning 转为 error。
另外,该问题是 GCC 编译器历史遗留问题,使用 C++ 编译器编译则会直接报错。