未包含头文件仅声明函数原型即可调用标准库函数的原因探究

我在代码编辑器中操作时偶然写出如下代码，该代码在Debian 11系统的GCC编译器下可正常编译运行，函数原型由VS Code的IntelliSense提供。未包含<stdio.h>和<math.h>头文件，却能调用printf与pow函数，请问这是为何？

代码示例 #

double pow(double _x, double _y);
int printf(const char *__restrict__ __format, ...);

int main(void)
{
    printf("%f\n", pow(2, -1));
}

输出结果 #

0.500000

核心原因是你手动声明了这两个函数的正确原型，再加上GCC的默认链接行为，才让代码能正常运行：

• C语言规则允许在使用函数前手动提供函数声明（原型），只要你写的签名和标准库中对应函数的签名完全匹配，编译器就会认可这个函数的存在，不会因为找不到头文件而报错。你这里写的pow和printf原型完全符合标准库定义，编译器能正确处理参数传递和返回值。
• printf属于标准C库（libc），GCC编译时默认会自动链接libc，所以只要原型正确，链接器就能找到printf的实际实现并完成链接。
• pow属于数学库（libm），在Debian 11的GCC环境下，编译器会自动检测到代码中对数学函数的调用，自动链接libm库，所以也能找到pow的实现。不过要注意，有些环境下编译数学函数需要手动加-lm参数，你的环境刚好默认处理了这件事。

但这种写法非常不规范：

• 头文件不只是提供函数原型，还包含很多必要的宏定义、类型声明（比如<stdio.h>里的size_t、NULL，<math.h>里的数学相关宏），手动声明原型很容易因为写错签名导致未定义行为。
• 你用的__restrict__是GCC的扩展关键字，换成其他编译器可能会报错，跨平台兼容性很差。

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