为何已包含stdio.h头文件仍需链接printf.o目标文件？

你说的没错，#include <stdio.h>在预处理阶段确实会把整个头文件的内容原封不动插入到你的源代码里，但这里的核心区别你已经摸到了——stdio.h里只有函数的声明，没有函数的实现代码。

举个具体的例子，stdio.h里关于printf()的内容大概是这样的：

int printf(const char *format, ...);

这行代码只是告诉编译器两件事：

• 有一个名叫printf的函数
• 它接受一个字符串格式参数和若干可变参数，返回值是int类型

它完全没说printf到底要怎么执行（比如怎么把内容输出到屏幕、怎么处理格式化字符）——这些具体的实现代码，是放在C标准库的预编译目标文件里的（比如Linux下的libc.a或libc.so，Windows下的msvcrt.lib这类文件）。

接下来我们拆解编译和链接的分工：

• 编译阶段：编译器只负责处理你写的代码，只要看到printf的声明，就能检查你调用它的方式是否合法（比如参数类型对不对、有没有传够必要的参数），然后把你的代码翻译成机器码，生成目标文件（后缀通常是.o或.obj）。但这个目标文件里，只有你写的代码的机器码，printf的执行代码是缺失的，只有一个“待填充”的标记。
• 链接阶段：链接器的核心工作就是“补全”这些缺失的部分——它会找到标准库中预编译好的printf等函数的机器码，把它们和你的目标文件合并到一起，最终生成一个能独立运行的可执行文件。如果跳过链接，你的目标文件根本找不到printf的具体执行逻辑，自然无法运行。

最后补充个小细节：为什么不把printf的实现直接写到stdio.h里？如果这么做，每个包含stdio.h的程序都会重复编译一遍printf的代码，不仅编译速度会慢到离谱，生成的可执行文件也会冗余大量重复代码。把声明和实现分开，让标准库预编译好供所有程序共享，才是高效合理的设计。

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