C语言链接程序（Linker）是 将编译器生成的目标文件组合成一个可执行文件（如.exe文件）的程序。在C语言编程中，源代码首先被编译成目标文件（.obj文件），这些文件包含了程序的机器代码和符号信息。然而，这些目标文件并不能直接运行，因为它们可能还依赖于其他目标文件或库文件中的符号。链接程序的作用就是解析这些依赖关系，将它们融合成一个完整的程序。
链接程序主要处理以下问题：
符号解析：
将一个目标文件中的符号（如变量、函数等）引用解析为另一个目标文件或库文件中的实际地址。
重定位：
修改目标文件中的代码和数据，使其在最终的可执行文件中的内存地址是有效的。
类型检查：
确保不同目标文件中的相同符号具有相同的类型。
内存分配：
为程序中的静态数据分配内存，并处理外部引用。
生成可执行文件：
将链接后的目标文件打包成一个可执行文件，如Windows平台上的.exe文件或UNIX系统上的ELF文件。
总之，C语言链接程序是编译过程的最后一步，它将多个目标文件和库文件组合成一个可以在操作系统上执行的可执行程序。