目标代码链接程序（Linker）是一种软件工具，它的主要功能是将 多个目标代码文件（Object Files）以及所需的库文件（Library Files）链接组合成一个可执行程序（Executable File）。目标代码是由编译器将源代码转换生成的中间代码，通常包含机器指令、目标文件控制信息和符号表等部分。这些目标代码文件由于包含了相对地址，因此不能直接运行，需要链接器将其解析为绝对地址，并处理外部符号引用，最终生成一个可以在操作系统上直接运行的可执行程序。
链接过程通常包括以下步骤：
符号解析：
将程序中使用的变量、函数和其他符号与它们的定义进行匹配。
重定位：
修改目标代码中的相对地址，使其成为绝对地址。
类型检查：
确保不同目标文件中的相同符号名称不会发生冲突。
合并节区：
将不同的节区（如代码段、数据段）合并为一个连续的内存空间。
生成可执行文件：
添加必要的文件头信息，形成可在操作系统上执行的文件。
链接器在编译过程的最后阶段自动调用，用户通常无需直接干预。通过链接器，多个源代码文件可以组织成一个完整的程序，同时通过链接不同的库文件，程序可以访问和使用库中的函数和数据。