静态链接库与动态链接库的用法

静态库的用法和动态库的用法在 C++ 开发中是非常重要的知识点。以下是对它们的详细介绍，包括创建、使用方法以及它们之间的区别。

---

一、静态库（.a 文件）

1. 什么是静态库？

静态库是一组目标文件（.o 文件）的集合，打包成一个归档文件（.a 文件）。在编译时，静态库的代码被复制到可执行文件中。这意味着可执行文件在运行时不依赖于外部库。

2. 创建静态库

步骤：

• 编译源文件为目标文件（.o）

  gcc -c file1.c -o file1.o
  gcc -c file2.c -o file2.o
  

• 使用 ar 工具创建静态库

  ar rcs libmylib.a file1.o file2.o
  

  • r：插入文件到归档中
  • c：创建归档文件
  • s：索引，方便快速查找

示例：

假设有两个源文件 add.c 和 sub.c：

// add.c
int add(int a, int b) {
    return a + b;
}

// sub.c
int sub(int a, int b) {
    return a - b;
}

创建静态库：

gcc -c add.c -o add.o
gcc -c sub.c -o sub.o
ar rcs libcalc.a add.o sub.o

3. 使用静态库

编译程序时链接静态库：

• 编译源文件

  gcc -c main.c -o main.o
  

• 链接静态库

  gcc main.o -L. -lcalc -o main
  

  • -L.：指定库所在的目录（当前目录）
  • -lcalc：链接名为 libcalc.a 的库（省略前缀 lib 和后缀 .a）

示例：

// main.c
#include <stdio.h>

int add(int a, int b);
int sub(int a, int b);

int main() {
    int x = 5, y = 3;
    printf("Add: %d\n", add(x, y));
    printf("Sub: %d\n", sub(x, y));
    return 0;
}

编译并链接：

gcc -c main.c -o main.o
gcc main.o -L. -lcalc -o main

运行程序：

./main

输出：

Add: 8
Sub: 2

4. 静态库的优点和缺点

• 优点：

  • 可执行文件独立性强，运行时不依赖外部库。
  • 部署简单，不需要担心库文件的版本问题。

• 缺点：

  • 可执行文件体积较大，因为包含了库的所有代码。
  • 更新库需要重新编译可执行文件。

---

二、动态库（共享库，.so 文件）

1. 什么是动态库？

动态库是在程序运行时加载的库，文件扩展名为 .so（Shared Object）。多个程序可以共享同一个动态库，节省内存和磁盘空间。

2. 创建动态库

步骤：

• 编译源文件为位置无关代码（PIC，Position Independent Code）

  gcc -fPIC -c file1.c -o file1.o
  gcc -fPIC -c file2.c -o file2.o
  

• 使用 gcc 创建共享库

  gcc -shared -o libmylib.so file1.o file2.o
  

示例：

使用前面的 add.c 和 sub.c。

创建动态库：

gcc -fPIC -c add.c -o add.o
gcc -fPIC -c sub.c -o sub.o
gcc -shared -o libcalc.so add.o sub.o

3. 使用动态库

编译程序时链接动态库：

• 编译源文件

  gcc -c main.c -o main.o
  

• 链接动态库

  gcc main.o -L. -lcalc -o main
  

注意：

• 动态库的命名规则与静态库相同，链接时使用 -l 选项。

运行程序时需要找到动态库：

• 方法一：设置 LD_LIBRARY_PATH 环境变量

  export LD_LIBRARY_PATH=.:$LD_LIBRARY_PATH
  ./main
  

• 方法二：将动态库复制到系统库目录

  sudo cp libcalc.so /usr/local/lib/
  sudo ldconfig
  ./main
  

4. 动态库的优点和缺点

• 优点：

  • 可执行文件体积小，多个程序共享同一个库，节省内存。
  • 更新库时无需重新编译可执行文件，只需确保接口兼容。

• 缺点：

  • 运行时依赖库文件，需确保库文件存在并可被找到。
  • 可能会出现库版本不兼容的问题（“依赖地狱”）。

---

三、静态库与动态库的区别总结

特性	静态库 (.a)	动态库 (.so)
链接时间	编译时链接，代码复制到可执行文件	运行时加载，可执行文件中不包含库的代码
可执行文件体积	较大，包含库的代码	较小，库的代码在外部
内存占用	较高，每个程序都有自己的库副本	较低，多个程序共享同一个库
部署和运行	简单，可执行文件独立运行	需确保库文件存在，可能需要配置库搜索路径
更新库的影响	需要重新编译可执行文件	可执行文件自动使用更新后的库（需接口兼容）
版本兼容性	不受影响，每个可执行文件有自己的库副本	可能出现版本冲突，需要管理库的版本

---

四、库的搜索路径

编译时

• 头文件搜索路径：

  • 默认搜索 /usr/include 和 /usr/local/include。

  • 使用 -I 选项添加额外的头文件目录：

    gcc -I/path/to/include -c main.c -o main.o
    

• 库文件搜索路径：

  • 默认搜索 /lib、/usr/lib、/usr/local/lib。

  • 使用 -L 选项添加额外的库目录：

    gcc main.o -L/path/to/lib -lcalc -o main
    

运行时

• 动态库搜索路径：

  • 默认搜索 /lib、/usr/lib、/usr/local/lib。
  • 可以通过以下方式指定额外的库路径：

    • 设置 LD_LIBRARY_PATH 环境变量：

      export LD_LIBRARY_PATH=/path/to/lib:$LD_LIBRARY_PATH
      

    • 将库路径添加到 /etc/ld.so.conf 文件，然后运行 sudo ldconfig。

---

五、实际开发中的选择

• 何时使用静态库：

  • 希望可执行文件独立运行，不受外部库版本影响。
  • 部署环境受限，无法确保动态库的存在或版本一致性。

• 何时使用动态库：

  • 需要节省磁盘和内存空间。
  • 希望能够更新库而不需要重新编译可执行文件。
  • 多个程序需要共享相同的库功能。

---

六、示例项目的完整流程

1. 创建库

• 源文件：

  • mathlib.h

    #ifndef MATHLIB_H
    #define MATHLIB_H
    
    int add(int a, int b);
    int sub(int a, int b);
    
    #endif
    

  • add.c

    #include "mathlib.h"
    
    int add(int a, int b) {
        return a + b;
    }
    

  • sub.c

    #include "mathlib.h"
    
    int sub(int a, int b) {
        return a - b;
    }
    

• 创建静态库：

  gcc -c add.c sub.c
  ar rcs libmath.a add.o sub.o
  

• 创建动态库：

  gcc -fPIC -c add.c sub.c
  gcc -shared -o libmath.so add.o sub.o
  

2. 使用库

• 主程序：main.c

  #include <stdio.h>
  #include "mathlib.h"
  
  int main() {
      int x = 10, y = 5;
      printf("Add: %d\n", add(x, y));
      printf("Sub: %d\n", sub(x, y));
      return 0;
  }
  

• 编译并链接（静态库）：

  gcc main.c -L. -lmath -o main_static
  

• 编译并链接（动态库）：

  gcc main.c -L. -lmath -o main_shared
  

• 运行程序：

  • 静态库程序：

    ./main_static
    

  • 动态库程序（确保能找到库）：

    export LD_LIBRARY_PATH=.:$LD_LIBRARY_PATH
    ./main_shared
    

---

七、注意事项

• 库命名规范：

  • 静态库以 lib 为前缀，.a 为后缀，例如 libname.a。
  • 动态库以 lib 为前缀，.so 为后缀，例如 libname.so。

• 函数声明和定义：

  • 头文件中应包含函数的声明，源文件中包含函数的定义。
  • 在创建动态库时，确保函数符号是可导出的，可以使用 __attribute__((visibility("default"))) 控制符号的可见性。

• 位置无关代码（PIC）：

  • 创建动态库时，必须使用 -fPIC 编译选项，生成位置无关代码。

• 版本控制：

  • 对于动态库，可以使用 SONAME 和版本号，方便库的管理和更新。

---

八、总结

• 静态库和动态库是 C++ 开发中管理代码复用和模块化的重要方式。

• 静态库在编译时链接，生成的可执行文件独立性强，但体积较大。

• 动态库在运行时加载，节省磁盘和内存空间，但需要管理库的存在和版本。

• 选择合适的库类型取决于项目的需求、部署环境和性能考虑。

---