静态库与动态库

1. 程序库概述

1.1 库的基本概念

• 定义：库是预先编译好的二进制文件形式，包含了一系列函数接口。
• 作用：提供复用功能，类似标准库（Standard Library），开发者可以自定义库供他人调用。
• 形式：
  • 源代码（.c）经过编译打包后形成二进制库文件。
  • 调用时直接调用打包好的库，而非直接使用 .c 源码。
• 常见类型：
  • C 库：基础功能。
  • 数学库：处理复杂数学问题。
  • 线程库：处理多线程进程操作。
• 设计原则：
  • 高复用性：库函数接口需要高度抽象，不依赖于特定应用环境，像一个“壳子”供任何人套用。
  • 二进制形式：库文件通常是二进制形式，源码保密，无法还原。

1.2 库文件的位置与注意事项

• 系统路径：
  • 静态库通常位于 /lib 或 /usr/lib。
  • 动态库通常位于 /lib 或 /usr/lib。
• 文件后缀：
  • 静态库：.a (Archive)。
  • 动态库：.so (Shared Object)。
• 警告：
  • 系统库文件千万不要手动删除或修改，否则可能导致系统无法正常运行或调用失败。
  • Windows 和 Linux 的库文件格式不兼容，不可混用。

2. 静态库 (Static Library)

2.1 静态库的特点

• 链接时机：在程序编译阶段将库代码拷贝并链接到可执行文件中。
• 优势：
  • 执行速度快：运行时不需要额外加载库，代码已在程序内部。
  • 独立性：生成的可执行文件不依赖外部库文件，移植方便。
• 不足：
  • 体积冗余：每个使用该库的程序都会包含一份库代码拷贝，导致可执行文件体积变大，占用磁盘空间多。
  • 维护困难：如果库函数需要升级，所有使用该库的程序都需要重新编译。

2.2 静态库的制作流程

1. 编写源代码：
   • 实现库函数（例如 hello.c），包含功能实现（如 printf("Hello World")）。
   • 确保包含必要的头文件（如 #include <stdio.h>）。
2. 生成目标文件 (.o)：
   • 命令：gcc -c hello.c -o hello.o
   • 说明：只编译到汇编后的目标文件阶段，不生成可执行文件。
3. 打包成静态库 (.a)：
   • 命令：ar -rsv libhello.a hello.o
   • 命名规范：必须以 lib 开头，以 .a 结尾（例如 libhello.a）。
   • 参数解释：
     • r：如果库存在则更新。
     • s：生成符号表（Symbol Table），方便程序调用时查找。
     • v：显示详细创建过程信息。
   • 若有多个 .o 文件，需全部列在命令后。

2.3 静态库的使用流程

1. 声明接口：
   • 在主程序（如 main.c）中声明库函数原型，或包含对应的头文件。
2. 编译链接：
   • 命令：gcc main.c -L. -lhello -o main
   • 参数解释：
     • -L.：指定库文件搜索路径为当前目录（.）。
     • -lhello：指定库名称（省略 lib 前缀和 .a 后缀，编译器会自动查找 libhello.a）。
3. 运行：
   • 直接执行 ./main 即可，无需额外环境配置。

2.4 查看静态库信息

• 工具：nm 命令。
• 命令：nm libhello.a
• 作用：查看库中的符号表，了解库提供了哪些函数接口。
• 符号含义：
  • T：表示该符号是全局文本符号（代码段），说明函数代码已包含在库中。

3. 动态库 (Dynamic Library / Shared Library)

3.1 动态库的特点

• 链接时机：在程序运行阶段动态加载库代码。
• 优势：
  • 节省空间：可执行文件体积小，不包含库代码。
  • 内存共享：多个程序运行时可共享内存中的同一份库代码（共享动态库）。
  • 易于维护：库文件升级只需替换 .so 文件，主程序无需重新编译。
• 不足：
  • 启动稍慢：运行时需加载库，增加少量启动时间。
  • 依赖环境：运行环境必须存在对应的库文件，否则无法运行。

3.2 动态库的制作流程

1. 生成位置无关代码目标文件：
   • 命令：gcc -fPIC -c hello.c -o hello.o
   • 关键参数：-fPIC (Position Independent Code)。
   • 原因：保证生成的代码在内存中加载位置无关，方便动态链接器在不同内存地址加载。
2. 生成动态库文件 (.so)：
   • 命令：gcc -shared -o libhello.so hello.o
   • 参数解释：
     • -shared：指定生成共享库。
   • 命名规范：必须以 lib 开头，以 .so 结尾（例如 libhello.so）。

3.3 动态库的使用流程

1. 编译链接：
   • 命令：gcc main.c -L. -lhello -o main
   • 说明：编译阶段告知编译器库的位置和名称（与静态库相同）。
2. 运行时配置（关键步骤）：

   • 问题：直接运行 ./main 可能报错 error while loading shared libraries: libhello.so: cannot open shared object file。

   • 原因：编译器 -L 参数仅用于编译阶段查找库；运行阶段动态链接器默认不去当前目录查找，而是查找系统环境变量指定的路径。

   • 解决方法：设置 LD_LIBRARY_PATH 环境变量。

   • 临时设置命令：

     export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$(pwd)
     

     • LD_LIBRARY_PATH：指定动态库搜索路径。
     • $(pwd)：获取当前绝对路径。
     • :：路径分隔符。

   • 生效：设置后需执行 source 命令或重新打开终端使环境变量刷新。

   • 永久设置：可将 export 命令写入 ~/.bashrc 文件末尾。

3.4 查看动态库信息

• 工具：nm 命令。
• 命令：nm libhello.so
• 符号含义：
  • U：表示 Undefined（未定义）。
  • 原因：动态库在编译主程序时并未将代码拷贝进去，因此在主程序的符号表中，库函数显示为“未定义”，等待运行时加载解析。
• 依赖查看：
  • 命令：ldd main
  • 作用：查看可执行文件依赖哪些动态库。

4. 静态库与动态库对比总结

5. 关键命令与注意事项

5.1 常用编译与处理命令

• 编译目标文件：gcc -c source.c -o target.o
• 生成静态库：ar -rsv libname.a target.o
• 生成动态库：gcc -shared -fPIC -o libname.so target.o
• 链接库文件：gcc main.c -L. -lname -o main
  • -L：指定库路径。
  • -l：指定库名（去掉 lib 和 后缀）。
• 查看符号表：nm library_file
• 查看动态依赖：ldd executable_file
• 设置环境变量：export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/path/to/lib

5.2 开发规范与注意事项

1. 大小写敏感：Linux 系统严格区分大小写，库文件名、命令参数均需准确。
2. 命名冲突：同一路径下不能有同名的库文件，避免链接错误。
3. 路径安全：
   • 不要随意删除 /lib 或 /usr/lib 下的系统库。
   • 开发测试时尽量使用独立目录，避免污染系统环境。
4. 环境变量优先级：
   • 运行时链接器优先查找 LD_LIBRARY_PATH 指定的路径。
   • 编译时的 -L 参数不影响运行时查找路径。
5. 位置无关代码：
   • 制作动态库必须加 -fPIC 参数，否则可能无法正确加载或共享。

5.3 故障排查

• 问题：运行时报 cannot open shared object file: No such file or directory。
• 解决：
  1. 检查库文件是否存在。
  2. 检查 LD_LIBRARY_PATH 是否包含库文件所在目录。
  3. 使用 ldd 命令检查可执行文件是否找到了库。
• 问题：编译时报 undefined reference to ...。
• 解决：
  1. 检查是否正确链接了库（ -l 参数）。
  2. 检查库路径是否正确（ -L 参数）。
  3. 检查函数声明是否匹配。