链接和加载

静态链接

静态链接（Static Linking）是一种在程序编译后的链接阶段，将所有必需的库代码从静态库（Static Library）文件中复制到最终可执行文件中的过程。

其核心思想是“一次性打包”。链接器在生成可执行文件时，会解析程序中所有对外部函数的调用（比如 printf()），然后从静态库文件中找到对应的函数代码，并将其直接嵌入到可执行文件内部。

这个过程通常发生在编译的最后一步，由链接器（如 ld）完成：

输入：链接器接收一个或多个由编译器生成的目标文件（Object Files，如 .o 文件），以及程序所依赖的静态库文件（在 Linux 上通常是 .a 格式，在 Windows 上是 .lib 格式）。 > 静态库文件（在 Linux 上通常是 .a 格式，a 代表 archive，意为“档案”或“归档”）本质上就是一系列目标文件（Object Files，.o 文件）的归档文件, 保存了多个由编译器生成的 .o 文件，每个 .o 文件都包含了某个函数或一组相关函数的机器码和数据。
符号解析和代码嵌入：链接器会扫描所有目标文件，并解析其中对外部函数和变量的引用（即“符号”）。对于每一个被引用的外部符号，链接器会从静态库中找到对应的代码和数据，并将它们精确地复制到最终的可执行文件中。
生成输出：链接器将所有目标文件中的代码、被引用的库代码以及其他必要的运行时信息（如文件头、数据段等）组合在一起，生成一个完整的、自包含的可执行文件。这个可执行文件在运行时不再需要外部库文件，因为它已经包含了所有必要的代码。

优点: - 高度可移植性：由于静态链接后的可执行文件在运行时不再需要外部库文件，你可以轻松地将它复制到任何兼容的系统上运行，而不用担心动态链接时目标系统是否安装了特定的库版本。这解决了“依赖地狱”（Dependency Hell）问题。

缺点: - 体积庞大：由于每个可执行文件都包含了所有必需的库代码，最终生成的文件会非常大。如果多个程序都使用了同一个静态库，那么每个程序都会有一份独立的库代码副本。

内存浪费：在多进程环境中，如果多个静态链接的程序同时运行，它们会各自在内存中加载同一份库代码，造成内存资源的重复占用。
更新不便：如果使用的某个静态库被发现有安全漏洞或 Bug，那么所有使用了这个库的程序都必须重新编译并重新分发，才能获得更新。这对于广泛部署的软件来说是一个巨大的维护负担。

动态链接（Dynamic Linking）是一种将程序依赖的库代码的链接工作，推迟到程序运行时才进行的链接方式。

其核心思想是“按需加载，共享使用”。程序在编译时并不会把库代码复制进来，而是在可执行文件中只保留对外部库函数的一个引用。当程序启动时，操作系统中的动态加载器（Dynamic Loader）会负责找到这些外部库文件，将它们加载到内存中，并完成最终的链接工作。

动态链接的流程如下：

编译器生成目标文件，其中对库函数的调用只是一个符号引用（例如，printf）。
链接器生成最终的可执行文件，但它并不会将库代码嵌入进来。它只会在可执行文件的特定区域（例如，Windows 的 IAT 或 Linux 的 GOT/PLT）记录下程序所依赖的库名称和函数名。此时，可执行文件体积很小，因为它只包含自己的代码和对外部库的“占位符”。
用户启动程序，操作系统将可执行文件加载到内存。此时操作系统的动态加载器接管控制权。它会读取可执行文件中的依赖列表，找到所需的动态库文件（例如，Windows 的 .dll 或 Linux 的 .so）并将这些动态库加载到内存的某个位置。
地址解析：加载器会“修补”可执行文件中的“占位符”，将对库函数的符号引用替换为这些库函数在内存中的实际地址。一旦所有依赖都成功加载和解析，加载器将控制权转交给程序，程序开始正式执行。

优点: - 节省磁盘空间：多个程序可以共享同一个动态库文件。磁盘上只需要存储一份库代码，大大减少了存储空间的占用。

节省内存：在内存中，动态库的代码段通常只被加载一次。如果有多个程序同时使用同一个动态库，它们会共享这块内存区域，从而显著提高了内存利用率。
便于程序升级与维护：当库文件被修复了 Bug 或进行了安全更新后，开发者只需要替换旧的库文件即可。所有依赖这个库的程序在下次运行时都会自动使用新版本，而不需要重新编译或分发。这解决了“DLL Hell”或“共享库地狱”的部分问题。
模块化开发：大型程序可以被分解为多个动态库，每个库可以由不同的团队独立开发和更新。

缺点: - 依赖性问题：程序在运行时必须依赖于目标系统上存在特定版本的动态库。如果库文件缺失、版本不兼容或被意外删除，程序将无法启动。