C++ 静态库与动态库

这次分享的宗旨是——让大家学会创建与使用静态库、动态库，知道静态库与动态库的区别，知道使用的时候如何选择。这里不深入介绍静态库、动态库的底层格式，内存布局等，有兴趣的同学，推荐一本书《程序员的自我修养——链接、装载与库》。库是写好的现有的，成熟的，可以复用的代码。现实中每个程序都要依赖很多基础的底层库，不可能每个人的代码都从零开始，因此库的存在意义非同寻常。本质上来说库是一种可执行代码的二进制形式，可以被操作系统载入内存执行。库有两种：静态库和动态库。所谓静态、动态是指链接。之所以称为静态库，是因为在链接阶段，会将汇编生成的目标文件 .o 与引用到的库一起链接打包到可执行文件中。因此对应的链接方式称为静态链接。试想一下，静态库与汇编生成的目标文件一起链接为可执行文件，那么静态库必定跟 .o 文件格式相似。其实一个静态库可以简单看成是一组目标文件的集合，即很多目标文件经过压缩打包后形成的一个文件。静态库特点总结：• 静态库对函数库的链接是放在编译时期完成的。• 程序在运行时与函数库再无瓜葛，移植方便。• 浪费空间和资源，因为所有相关的目标文件与牵涉到的函数库被链接合成一个可执行文件。下面编写一些简单的四则运算 C++类，将其编译成静态库给他人用，头文件如下所示：

#pragma once
class StaticMath
{
public:
    StaticMath(void);
    ~StaticMath(void);
    static double add(double a, double b);//加法
    static double sub(double a, double b);//减法
    static double mul(double a, double b);//乘法
    static double div(double a, double b);//除法
    void print();
};

Linux 下使用 ar 工具，将目标文件压缩到一起，并且对其进行编号和索引，以便于查找和检索。Linux 静态库命名规范，必须是 lib[your_library_name].a，lib 为前缀，中间是静态库名，扩展名为 .a。通过上面的流程可以知道，Linux 创建静态库过程如下：首先，将代码文件编译成目标文件 .o（StaticMath.o）

g++ -c StaticMath.cpp

注意带参数-c，否则直接编译为可执行文件然后，通过 ar 工具将目标文件打包成 .a 静态库文件

ar -crv libstaticmath.a StaticMath.o

生成静态库 libstaticmath.a。大一点的项目会编写 makefile 文件 CMake 等等工程来生成静态库，输入多个命令太麻烦了。编写使用上面创建的静态库的测试代码：

#include "StaticMath.h"
#include <iostream>
using namespace std;
int main(int argc, char* argv[])
{
    double a = 10;
    double b = 2;
    cout << "a + b = " << StaticMath::add(a, b) << endl;
    cout << "a - b = " << StaticMath::sub(a, b) << endl;
    cout << "a * b = " << StaticMath::mul(a, b) << endl;
    cout << "a / b = " << StaticMath::div(a, b) << endl;
    StaticMath sm;
    sm.print();
    return 0;
}

Linux 下使用静态库，只需要在编译的时候，指定静态库的搜索路径、指定静态库名。

g++ TestStaticLibrary.cpp -L../StaticLibrary -lstaticmath

-L：表示要连接的库所在目录-l：指定链接时需要的动态库，编译器查找动态链接库时有隐含的命名规则，即在给出的名字前面加上 lib，后面加上 .a 或 .so 来确定库的名称。通过上面的介绍发现静态库，容易使用和理解，也达到了代码复用的目的，那为什么还需要动态库呢？

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

另一个问题是静态库对程序的更新、部署和发布也会带来麻烦。如果静态库 liba.lib 更新了，所以使用它的应用程序都需要重新编译、发布给用户。动态库在程序编译时并不会被连接到目标代码中，而是在程序运行时才被载入。不同的应用程序如果调用相同的库，那么在内存里只需要有一份该共享库的实例，规避了空间浪费问题。动态库在程序运行时才被载入，也解决了静态库对程序的更新、部署和发布也会带来麻烦。用户只需要更新动态库即可，增量更新。动态库把对一些库函数的链接载入推迟到程序运行的时期。可以实现进程之间的资源共享，因此动态库也称为共享库。甚至可以真正做到链接载入完全由程序员在程序代码中控制。动态链接库的名字形式为 libxxx.so，前缀是 lib，后缀名为“.so”。针对于实际库文件，每个共享库都有个特殊的名字“soname”。在程序启动后，程序通过这个名字来告诉动态加载器该载入哪个共享库。在文件系统中，soname 仅是一个链接到实际动态库的链接。对于动态库而言，每个库实际上都有另一个名字给编译器来用。它是一个指向实际库镜像文件的链接文件 lib+soname+.so。

#pragma once
class DynamicMath
{
public:
    dynamicMath(void);
    ~DynamicMath(void);
    static double add(double a, double b);
    static double sub(double a, double b);
    static double mul(double a, double b);
    static double div(double a, double b);
    void print();
};

首先，生成目标文件，此时要加编译器选项-fpic

g++ -fPIC -c DynamicMath.cpp

-fPIC 创建与地址无关的编译程序，是为了能够在多个应用程序间共享。然后，生成动态库，此时要加链接器选项-shared

g++ -shared -o libdynmath.so DynamicMath.o

-shared 指定生成动态链接库。

其实上面两个步骤可以合并为一个命令：

g++ -fPIC -shared -o libdynmath.so DynamicMath.cpp

#include "../DynamicLibrary/DynamicMath.h"
#include <iostream>
using namespace std;
int main(int argc, char* argv[])
{
    double a = 10;
    double b = 2;
    cout << "a + b = " << DynamicMath::add(a, b) << endl;
    cout << "a - b = " << DynamicMath::sub(a, b) << endl;
    cout << "a * b = " << DynamicMath::mul(a, b) << endl;
    cout << "a / b = " << DynamicMath::div(a, b) << endl;
    DynamicMath dyn;
    dyn.print();
    return 0;
}

编译成可执行文件，跟静态库方式一样：

g++ TestDynamicLibrary.cpp -L../DynamicLibrary -ldynmath

然后运行：./a.out，发现竟然报错了！！！发现还是报错！！！那么，在执行的时候是如何定位共享库文件的呢？1)当系统加载可执行代码时候，能够知道其所依赖的库的名字，但是还需要知道绝对路径。此时就需要系统动态载入器。2)对于 elf 格式的可执行程序，是由 ld-linux.so* 来完成的，它先后搜索 elf 文件的 DT_RPATH 段、环境变量 LD_LIBRARY_PATH、/etc/ld.so.cache 文件列表、/lib/、/usr/lib 目录找到库文件后将其载入内存。如果安装在 /lib 或者 /usr/lib 下，那么 ld 默认能够找到，无需其他操作。如果安装在其他目录，需要将其添加到 /etc/ld.so.cache 文件中，步骤如下：• 编辑 /etc/ld.so.conf 文件，加入库文件所在目录的路径• 运行 ldconfig，该命令会重建 /etc/ld.so.cache 文件我们将创建的动态库复制到/usr/lib 下面，然后运行测试程序。另外如何从 C++动态库中获取类，附上几篇相关文章，但我并不建议这么做：《LoadLibrary 调用 DLL 中的 Class》：http://www.cppblog.com/codejie/archive/2009/09/24/97141.html
《C++ dlopen mini HOWTO》：http://blog.csdn.net/denny_233/article/details/7255673
“显式”使用 C++动态库中的 Class 是非常繁琐和危险的事情，因此能用“隐式”就不要用“显式”，能静态就不要用动态。

-shared ：指定生成动态链接库。
-static ：指定生成静态链接库。
-fPIC ：表示编译为位置独立的代码，用于编译共享库。目标文件需要创建成位置无关码，概念上就是在可执行程序装载它们的时候，它们可以放在可执行程序的内存里的任何地方。
-L. ：表示要连接的库所在的目录。
-l：指定链接时需要的动态库。编译器查找动态链接库时有隐含的命名规则，即在给出的名字前面加上lib，后面加上.a/.so来确定库的名称。
-Wall ：生成所有警告信息。
-ggdb ：此选项将尽可能的生成gdb 的可以使用的调试信息。
-g ：编译器在编译的时候产生调试信息。
-c ：只激活预处理、编译和汇编,也就是把程序做成目标文件(.o文件) 。
-Wl,options ：把参数(options)传递给链接器ld 。如果options 中间有逗号,就将options分成多个选项,然后传递给链接程序。

有时候可能需要查看一个库中到底有哪些函数，nm 命令可以打印出库中的涉及到的所有符号。库既可以是静态的也可以是动态的。nm 列出的符号有很多，常见的有三种：一种是在库中被调用，但并没有在库中定义表明需要其他库支持，用 U 表示；一种是库中定义的函数，用 T 表示，这是最常见的；一种是所谓的弱态符号，它们虽然在库中被定义，但是可能被其他库中的同名符号覆盖，用 W 表示。

nm libhello.h

ldd 命令可以查看一个可执行程序依赖的共享库。

二者的不同点在于代码被载入的时刻不同

静态库在程序编译时会被连接到目标代码中，程序运行时将不再需要该静态库，因此体积较大。动态库在程序编译时并不会被连接到目标代码中，而是在程序运行时才被载入，因此在程序运行时还需要动态库存在，因此代码体积较小。动态库的好处是，不同的应用程序如果调用相同的库，那么在内存里只需要有一份该共享库的实例。