共享库又称动态链接库，是在程序运行时才会被加载到内存中的库文件，它的核心特点是多个进程可以共享同一份库的物理内存副本，减少内存占用。动态链接的实现依赖动态链接器在程序启动阶段的地址重定位工作，和静态库在编译阶段就将库代码合并到可执行文件中的方式有明显区别。
共享库动态链接实现函数调用的流程
1. 编译阶段生成位置无关代码
共享库在编译时需要生成位置无关代码（PIC），这样库被加载到内存的任意地址都能正常执行。以Linux下的C语言共享库为例，编译命令如下：
# 编译生成位置无关的目标文件 gcc -fPIC -c mylib.c -o mylib.o # 生成共享库文件 gcc -shared mylib.o -o libmylib.so
2. 动态链接器的工作流程
当可执行文件依赖共享库时，程序启动后动态链接器会完成以下工作：
- 查找可执行文件依赖的所有共享库，按照依赖顺序加载到内存
- 为每个共享库分配虚拟地址空间，完成符号重定位，将可执行文件中调用的共享库函数地址绑定到实际加载的地址
- 初始化共享库的全局变量等数据
- 跳转回可执行文件的入口点开始执行程序逻辑
3. 函数调用的实际执行逻辑
可执行文件中调用共享库函数的代码会先跳转到过程链接表（PLT）的对应项，首次调用时PLT会触发动态链接器解析函数实际地址，后续调用会直接使用解析后的地址，避免重复解析。下面是一个简单的调用示例：
// mylib.c 共享库代码
#include <stdio.h>
void print_hello() {
printf("Hello from shared libraryn");
}
// main.c 可执行文件代码
void print_hello(); // 声明共享库中的函数
int main() {
print_hello(); // 调用共享库函数
return 0;
}
编译可执行文件时需要指定共享库的路径和名称：
gcc main.c -L. -lmylib -o main # 运行时需要指定共享库加载路径 export LD_LIBRARY_PATH=. ./main
共享库与静态库的核心区别
静态库是在编译阶段就将库的目标代码合并到可执行文件中，生成的可执行文件不依赖外部的库文件。二者的差异可以通过下表对比：
| 对比维度 | 共享库 | 静态库 |
|---|---|---|
| 编译阶段处理 | 仅记录依赖关系，不合并库代码 | 合并库的目标代码到可执行文件 |
| 可执行文件大小 | 较小 | 较大，包含完整的库代码 |
| 内存占用 | 多个进程可共享同一份库内存，占用低 | 每个进程都有独立的库代码副本，占用高 |
| 更新维护 | 替换共享库文件即可生效，无需重新编译可执行文件 | 库更新后需要重新编译可执行文件 |
| 启动速度 | 需要动态链接过程，启动稍慢 | 无需额外链接，启动更快 |
二者的适用场景
如果程序需要频繁更新依赖的库功能，或者多个程序共用同一套库代码，优先选择共享库，能够减少内存占用和更新成本。如果是嵌入式等对启动速度要求高，或者不希望程序依赖外部库文件的场景，选择静态库更合适。需要注意的是，共享库的版本兼容问题需要额外关注，避免出现库版本不匹配导致的程序运行错误。