C程序的链接是指将编译器生成的目标文件、库文件、操作系统启动代码等组织起来，最终形成一个可以直接在计算机上执行的可执行文件的过程。这个过程主要由链接器（Linker）完成。
链接器的工作可以总结为以下几点：
拼接目标文件：
链接器将编译器生成的目标文件（通常是`.o`文件）拼接在一起。这些目标文件包含了程序的各个编译单元的代码和数据。
解析符号引用：
链接器会解析程序中使用的全局符号（如函数名、变量名）的引用，并将它们与相应的实现连接起来。如果某个符号在多个编译单元中引用，链接器需要确保这些引用是唯一的。
处理外部引用：
对于程序中引用的外部库函数（如`printf`），链接器需要找到这些库函数的实现，并将它们与程序代码连接起来。
生成可执行文件：
链接器将所有的目标文件和库文件整合成一个可执行文件（如`.exe`文件或Linux下的可执行文件）。这个文件包含了程序所需的所有代码和数据，可以直接在操作系统上运行。
链接器还可以根据链接类型分为静态链接和动态链接。静态链接在程序运行时将库文件直接嵌入到可执行文件中，而动态链接则在程序运行时动态加载库文件。
通过链接过程，C程序得以从抽象的源代码转变为可以在计算机上直接执行的实体，完成了程序开发过程的最后一步。