C++静态库与动态库

概述

库是写好的、现有的、成熟的、可以复用的代码。现实中每个程序都要依赖很多基础的底层库，不可能每个人的代码都从零开始，因此库的存在意义非同寻常。

本质上来说库是一种可执行代码的二进制形式，可以被操作系统载入内存执行。库有两种：静态库（.a、.lib）和动态库（.so、.dll）。所谓静态、动态是指链接。

gcc/g++编译常用参数

• -E：只做预处理，得到.i文件
• -S：只做预处理、编译，得到.s文件
• -c：只做预处理、编译、汇编，得到.o二进制文件
• -I：指定头文件所在目录
• -g：编译时添加调试语句，用于gdb调试
• -Wall：显示所有警告信息
• -D：向程序中注册宏定义
• -l：指定动态库库名
• -L：指定动态库路径

静态库

之所以称为“静态库”，是因为在链接阶段，会将汇编生成的目标文件.o与引用到的库一起链接打包到可执行文件中。因此对应的链接方式称为静态链接。

试想一下，静态库与汇编生成的目标文件一起链接为可执行文件，那么静态库必定跟.o文件格式相似。其实一个静态库可以简单看成是一组目标文件（.o/.obj文件）的集合，即很多目标文件经过压缩打包后形成的一个文件。

静态库特点：

• 静态库对函数库的链接是放在编译时期完成的。
• 程序在运行时与函数库再无瓜葛，移植方便。
• 浪费空间和资源，因为所有相关的目标文件与牵涉到的函数库被链接合成一个可执行文件。

Linux下创建和使用静态库

Linux静态库命名规则，必须是"lib[your_library_name].a"：lib为前缀，中间是静态库名，扩展名为.a。

（1）首先，将代码文件（add.cpp，sub.cpp）编译成目标文件.o（add.o、sub.o）

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

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

g++ -c add.cpp -o add.o
g++ -c sub.cpp -o sub.o

注意带参数-c，否则直接编译为可执行文件

（2）然后，通过ar工具将目标文件打包成.a静态库文件

ar -rcs libmymath.a add.o sub.o

生成静态库libmymath.a。

（3）编写使用上面创建的静态库的测试代码。注意，静态库里的函数声明我都放在了头文件mymath.h里，测试代码里包含这个头文件：

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

#include <iostream>
#include "mymath.h"

using namespace std;

int main()
{       
        int a = 4, b = 3;
        cout << a << " + " << b << " = " << add(a, b) << endl;
        cout << a << " - " << b << " = " << sub(a, b) << endl;
        return 0;
}

（4）使用静态库，将main.cpp和静态库一起编译得到可执行文件

g++ main.cpp libmymath.a -o main

由于我的静态库、头文件和main.cpp都在同一个文件夹下，所以没有显式指定。若静态库在./lib/下，头文件在./inc/下，需要用-I指定搜寻的头文件路径。

g++ main.cpp ./lib/libmymath.a -o main -I ./inc/

执行效果：

动态库

空间浪费是静态库的一个问题。

另一个问题是静态库对程序的更新、部署和发布也会带来麻烦。如果静态库liba.lib更新了，所有使用它的应用程序都需要重新编译、发布给用户（对于玩家来说，可能是一个很小的改动，却导致整个程序重新下载，全量更新）。

动态库在程序编译时并不会被连接到目标代码中，而是在程序运行时才被载入。不同的应用程序如果调用相同的库，那么在内存里只需要有一份该共享库的实例，规避了空间浪费问题。动态库在程序运行时才被载入，也解决了静态库对程序的更新、部署和发布带来的麻烦。用户只需要更新动态库即可，增量更新。

动态库特点：

• 动态库把对一些库函数的链接载入推迟到程序运行的时期。
• 可以实现进程之间的资源共享。（因此动态库也称为共享库）
• 将一些程序升级变得简单。
• 甚至可以真正做到链接载入完全由程序员在程序代码中控制。

Linux下创建和使用动态库

动态链接库的名字形式为libxxx.so，前缀是lib，后缀名为.so。

（1）首先，生成目标文件，此时要加编译器选项-fPIC。-fPIC创建与地址无关的编译程序（PIC，Position Independent Code），是为了能够在多个应用程序间共享。

g++ -c add.cpp -o add.o -fPIC
g++ -c sub.cpp -o sub.o -fPIC

（2）然后，使用g++ -shared生成动态库，此时要加链接器选项-shared

g++ -shared -o libmymath.so add.o sub.o

生成动态库libmymath.so。此时若用file命令查看，会发现已经能看出来是动态链接文件了。

（3）我们仍然使用静态库的测试代码，并且头文件在./inc下，动态库在./lib下。编译可执行程序并指定所使用的动态库。-l：指定库名，-L：指定库路径

g++ main.cpp -o main -L ./lib -l mymath -I ./inc

执行完得到可执行文件main。需要注意的是，-l指定的库名不需要包含开头的lib和结尾的.so。

（4）此时运行可执行文件会发现爆错。

用ldd命令会发现not found

这是因为当系统加载可执行代码时候，知道了其所依赖的库的名字，但还需要知道绝对路径。此时就需要系统动态链接器(dynamic linker/loader)，它先后搜索elf文件的DT_RPATH段、环境变量LD_LIBRARY_PATH、/etc/ld.so.cache文件列表、/lib/、/usr/lib目录，找到库文件后将其载入内存。

解决方式：

1. 通过环境变量：export LD_LIBRARY_PATH=动态库路径。然后执行./main就能成功。（临时生效， 终端重启环境变量失效）
2. 永久生效： 写入终端配置文件：.bashrc
   a. vim ~/.bashrc
   b. 写入export LD_LIBRARY_PATH=动态库路径并保存
   c. . .bashrc/ source .bashrc/ 重启终端 —> 让修改后的.bashrc生效
   d. ./main成功
3. 拷贝自定义动态库到 /lib (标准C库所在目录位置)
4. 配置文件法
   a. sudo vim /etc/ld.so.conf
   b. 写入动态库绝对路径并保存
   c. sudo ldconfig -v使配置文件生效。
   d. ./main成功

执行成功效果：