在 Linux 系统中，动态库（也称为共享库，通常以 .so 为扩展名，即 Shared Object）是一种包含可重用代码和数据的文件 ，其核心作用是实现代码共享、减少资源占用并简化程序维护。具体来说，它的主要作用包括以下几个方面：
1. 节省磁盘空间和内存
**动态库在编译时不会被 "复制" 到可执行文件中，而是仅在程序运行时被加载到内存。**这意味着：
- 多个程序可以共享同一个动态库文件（磁盘上只需存储一份），避免了静态库中 "每个程序都包含一份库代码" 的冗余。
- 内存中，同一动态库的代码段（只读部分）可以被多个运行的程序共享（通过内存映射机制），减少内存占用。
2. 便于程序更新和维护
如果动态库的功能需要更新（例如修复 bug 或添加新特性），只需替换对应的 .so 文件，所有依赖该库的程序无需重新编译即可使用新功能。
而静态库若需更新，所有依赖它的程序都必须重新编译链接，维护成本高。
3. 支持模块化开发
大型软件可以拆分为多个独立的动态库（如功能模块、插件等），不同团队可分别开发和维护，最后通过动态链接整合。这不仅降低了开发复杂度，还能实现 "按需加载"（例如程序启动时不加载所有库，仅在需要时加载特定功能的库）。
4. 减小可执行文件体积
动态库的代码不嵌入可执行文件，因此生成的程序体积更小，便于分发和传输。
举例说明
Linux 系统中最基础的 glibc（GNU C 库）就是动态库（如 /lib/x86_64-linux-gnu/libc.so.6），几乎所有 C 语言程序都依赖它提供的基础功能（如输入输出、内存管理等）。如果没有动态库，每个程序都要包含一份完整的 C 库代码，会导致系统资源极大浪费。
总之，动态库是 Linux 系统中实现代码复用、优化资源效率和简化软件维护的核心机制，是现代操作系统不可或缺的组成部分。