c++ 静态链接库与动态链接库的区别详解_C/C++

一、基本概念

在软件开发中，链接库（library）是预编译好的可重用代码集合，用于提供特定功能，避免开发者重复编写相同代码。根据链接方式和加载时机的不同，主要分为静态链接库和动态链接库两大类。

二、静态链接库

1. 定义与特点

静态链接库（static library，在 windows 中通常为 .lib 文件，在 linux/macos 中为 .a 文件）在编译链接阶段就被完整地复制到最终的可执行文件中。

链接时机：编译时（compile-time）
文件包含：库的代码和数据被直接嵌入到最终的可执行文件（.exe 或可执行二进制文件）中。
运行时依赖：生成的可执行文件可以独立运行，不再需要原始的库文件。
文件大小：可执行文件体积较大，因为它包含了所有用到的库代码。

2. 工作流程示例

// math_lib.h (静态库头文件)
int add(int a, int b);
int multiply(int a, int b);
// main.c (主程序)
#include "math_lib.h"
#include <stdio.h>
int main() {
int sum = add(5, 3);
int product = multiply(5, 3);
printf("sum: %d, product: %d\n", sum, product);
return 0;
}

编译链接命令（linux 示例）：

# 1. 将库源码编译成目标文件
gcc -c math_lib.c -o math_lib.o
2. 将目标文件打包成静态库
ar rcs libmath.a math_lib.o
3. 编译主程序并链接静态库
gcc main.c -l. -lmath -o main_static
4. 运行（无需 libmath.a）
./main_static

三、动态链接库

1. 定义与特点

动态链接库（dynamic library，在 windows 中为 .dll 文件，在 linux 中为 .so 文件，在 macos 中为 .dylib 文件）在程序运行时才被加载到内存中。

链接时机：运行时（run-time）
文件包含：可执行文件中只包含对动态库的引用（函数名、变量名等），不包含库的实际代码。
运行时依赖：程序运行时必须能在系统路径或指定路径下找到对应的动态库文件，否则无法启动。
文件大小：可执行文件体积较小，多个程序可以共享同一个动态库实例，节省内存和磁盘空间。

2. 工作流程示例

// math_lib.h (动态库头文件，与静态库相同)
int add(int a, int b);
int multiply(int a, int b);
// main.c (主程序，与静态库示例相同)
#include "math_lib.h"
#include <stdio.h>
int main() {
int sum = add(5, 3);
int product = multiply(5, 3);
printf("sum: %d, product: %d\n", sum, product);
return 0;
}

编译链接命令（linux 示例）：

# 1. 编译生成位置无关代码（pic）的动态库
gcc -fpic -c math_lib.c -o math_lib.o
gcc -shared -o libmath.so math_lib.o
2. 编译主程序并链接动态库（注意是链接引用，不复制代码）
gcc main.c -l. -lmath -o main_dynamic
3. 运行前需要确保动态库在链接器搜索路径中（如当前目录）
export ld_library_path=.:$ld_library_path
./main_dynamic

四、核心区别对比

对比维度	静态链接库	动态链接库
链接时机	编译时	运行时
文件包含关系	库代码被复制到可执行文件中	可执行文件只包含引用，库文件独立存在
可执行文件大小	较大（包含库代码）	较小（仅包含引用）
运行时依赖	无，可独立运行	有，必须能找到对应的库文件
内存占用	每个进程都加载一份完整的库代码副本	多个进程可共享同一份库代码内存实例
更新维护	库更新需重新编译链接整个程序	只需替换库文件，程序无需重新编译（接口兼容时）
加载速度	启动快（代码已在可执行文件中）	启动稍慢（需要加载外部库）
常见文件后缀	.lib (windows), .a (unix-like)	.dll (windows), .so (linux), .dylib (macos)

五、如何选择？

在实际项目中，可以根据以下场景进行选择：

选择静态链接的场景：
- 程序需要独立分发，不希望依赖外部环境。
- 对启动速度有极致要求。
- 使用的库版本固定，不希望被系统或其他程序中的库版本影响。
- 库代码体积很小，或对最终文件大小不敏感。
选择动态链接的场景：
- 多个程序共用同一个库，希望节省磁盘和内存空间。
- 库需要频繁更新或打补丁，且希望不重新编译主程序。
- 开发插件系统或模块化架构，支持运行时加载功能模块。
- 库文件很大，希望减小主程序体积。