Linux系统编程——静态库和动态库的制作

静态库： 编译到可执行程序中的库
动态库： 在程序运行时被加载到内存中，以文件形式独立存在
对比

• 静态库在文件中静态展开，所以有多少文件就展开多少次，非常吃内存，100M 展开 100 次，就是 1G，但是这样的好处就是静态加载的速度快
• 使用动态库会将动态库加载到内存，10 个文件也只需要加载一次，然后这些文件用到库的时候临时去加载，速度慢一些，但是很省内存
  

一、静态库

1.1 静态库制作

静态库命名以lib 开头，以.a 结尾

静态库生成指令

ar rcs libmylib.a file1.o	//file1.o 制作静态库的原材料

静态库制作及使用：

1. 编译源代码生成.o 文件

gcc -c add.c -o add.o

2. 制作静态库

ar rcs libname.a file1.o file2.o …

3. 编译静态库到可执行文件中
   gcc test.c libname.a -o test //test为生成的可执行文件
   
   上图中，test.c 直接使用了 mymath 库中的 add，sub 函数，所以在编译时要导入静态库编译时出现了函数未定义的警告，可以忽略，让系统生成默认的定义。
   add.c

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

test.c

#include <stdio.h>

int main()
{
    int a = 9, b = 3;
    printf("%d+%d=%d\n", a, b, add(a, b));
    printf("%d-%d=%d\n", a, b, sub(a, b));
}

1.2 静态库使用及头文件对应

对于上图链接阶段时出现的警告，编译器会隐式声明相关函数
但编译器只能声明返回值为int 的函数，如果函数返回类型不是int 类型的，则隐式声明失效，链接报错
对于此，可以在test.c 中显式加入相关函数声明

#include <stdio.h>

int add(int, int);
int sub(int, int);

int main()
{
    int a = 9, b = 3;
    printf("%d+%d=%d\n", a, b, add(a, b));
    printf("%d-%d=%d\n", a, b, sub(a, b));
}

这样，链接静态库时，gcc 就不会有warning 警告了。
但是，用这种方式，需要逐个将使用到的库里面的函数显式声明到代码里，这并不利于他人对这个静态库的使用
对于此，可以声明一个静态库的.h 头文件：

#ifndef _MYMATH_H_	// 如果_MYMATH_H_未定义，这几条预编译指令防止了头文件被重复包含
#define _MYMATH_H_	// 定义 _MYMATH_H_

int add(int, int);
int sub(int, int);

#endif

然后再test.c 里 #include 这个头文件即可。
若动态库和头文件与源代码不在同一目录下，则链接命令如下：

二、动态库

2.1 动态库制作-生成与位置无关代码

链接阶段： 数据段合并，地址回填
对于一般函数，其在内存中的地址都是固定的
在没有链接之前，即在.c 文件生成的.o 文件中，完成链接后，地址回填，main的地址不再为0。
制作动态库后，动态库中的函数在运行时，地址不再是以main 为依据，当其要调用时，其加载到内存之后才会有地址
步骤：

1. 将.c 文件生成.o 文件 （生成与位置无关的代码 -fPLC）

gcc -c add.c -o add.o -fPIC

2. 使用 gcc -shared 制作动态库

gcc -shared -o lib库名.so add.o sub.o div.o

3. 编译可执行程序时指定所使用的动态库。-l:指定库名 -L:指定库路径

gcc test.c -o a.out -l mymath -L ./lib

4. 运行可执行程序./a.out
   
   项目文件目录结构如下：
   

2.2 动态库加载错误原因及解决方式

链接器： 工作于链接阶段，工作时需要 -l 和 -L
动态链接器： 工作于程序运行阶段，工作时需要提供动态库所在目录位置
  在上面的第4 步运行生成的可执行文件时，我们发现运行不了，出现了error，提示加载共享库时，没有找到该文件。这是因为动态链接器在加载动态库时，都是去到指定目录中寻找动态库的，我们定义的动态库并没有在该目录下，所以自然是找不到文件。
  要解决这个问题，只需通过环境变量指定动态库所在的位置即可：

export LD_LIBRARY_PATH=./lib

  但是我们重新打开一个终端之后再执行a.out 文件，我们会发现运行依然会出现跟刚才一样的错误。这是因为环境变量是跟着进程走的，刚刚我们export 环境时，只是为刚刚那个终端设置的环境变量，打开了一个新的终端之后，新的终端与旧的终端是两个进程，刚刚export 的环境变量自然就不能再生效了。
要想永久生效，需要修改中端的配置文件：

1. sudo vim ~/.bashrc
2. 在该配置文件中加入语句：export LD_LIBRARY_PATH=./lib（等号后面的值建议使用绝对路径）
3. 然后再source ~./bashrc使导入的环境变量生效即可。

这样我们打开新的终端后运行新的可执行文件就不会报错了。
当然，除了上述的方式外，还可以有另外的两种方式使用我们自己制作的动态库：
方法一：将我们自定义的动态库拷贝到 /lib 目录下（标准C 库所在目录位置），不太推荐使用
方法二：
1. sudo vim /etc/ld.so.conf
2. 写入动态库绝对路径，保存
3. sudo ldconfig -v 使配置文件生效。
4. ./a.out 成功
关于动态库是否可以加载成功外，还可以使用ldd命令查看可执行文件，以此来查看可执行文件加载的动态库：
  
  如果删除了/lib 目录下的我们自定义的动态库文件，则ldd 的结果如下，可以看到我们自定义的动态库的路径显示的是not found：
  

2.3 数据段合并

  在链接阶段，为了节省空间，会把只读的.text 段和.rodata 合并，读写的.data 段和.bss 段合并，合并的大小都为4k（1页）。