程序链接是指将多个代码块或目标文件结合成单个可执行文件的过程。这个过程通常包括解决符号引用问题，即将程序中使用的函数或变量的定义与其实际实现关联起来。链接是编译过程的最后阶段，它的主要目的是生成一个完整的、可以被操作系统加载和执行的可执行文件。
链接可以分为两种主要类型：
静态链接：
在编译时，所有代码块（包括程序本身、第三方库等）被直接链接到最终的可执行文件中。生成的可执行文件包含了程序所需的所有代码和资源，因此它是一个独立的文件，可以单独运行。静态链接的优点是生成的可执行文件不依赖于外部库，易于传输和使用。缺点是生成的文件通常较大，因为所有依赖的代码都包含在内。
动态链接：
在程序运行时，所需的代码块（库）才被链接到可执行文件中。这意味着在程序运行之前，操作系统不需要加载所有依赖的库。动态链接的优点是可以节省内存，因为每个程序只需加载和使用它实际需要的代码。缺点是可能会因为不同版本的库文件之间的兼容性问题而导致程序无法运行。
总结来说，程序链接是将多个代码或目标文件合并成一个可执行文件的过程，它使得程序能够被操作系统加载和执行。链接过程可以通过静态链接或动态链接的方式进行，各有其优缺点。