为什么包含C标准库头文件时无需向编译器传入对应源文件

核心结论是：编译器不会自动查找标准库对应的源文件，标准库的实现已经被提前预编译为二进制库文件，编译器工具链默认会自动链接这些预设的系统库。

具体原理可以和自定义头文件的逻辑对比理解：

• 当你自己写#include "foo.h"时，头文件仅存放函数、变量的声明，对应的实现在foo.c中。编译时你传入gcc main.c foo.c，本质是告诉编译器要把两份源码都编译为目标文件，再由链接器合并为可执行文件，所以必须显式提供实现对应的源码。
• 而C标准库（比如Linux下GCC配套的glibc、Windows下MSVC配套的MSVCRT）的所有函数实现（包括stdio.h中声明的printf、fopen等），早就被官方提前编译为二进制库文件（静态库如libc.a、动态库如libc.so），不存在编译时需要找stdio.c源码的场景。
• GCC等编译器在链接阶段默认会自动将标准库加入链接输入，同时会自动从系统默认的库路径中搜索这些预编译好的库，你用到的标准库函数会直接从预编译库中提取（静态链接）或者标记为运行时动态加载（动态链接），因此不需要你手动传入任何标准库相关的源码或链接参数。

补充特殊场景：部分非核心标准库（比如数学库math.h）在部分编译器版本中不会默认自动链接，此时你需要手动添加链接参数-lm，本质就是手动告诉链接器要额外链接预编译好的数学库libm，和你手动传入foo.c的逻辑类似，区别仅在于你传入的是已经编译完成的二进制库而非源码。

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