静态库: 编译到可执行程序中的库
动态库: 在程序运行时被加载到内存中,以文件形式独立存在
对比
- 静态库在文件中静态展开,所以有多少文件就展开多少次,非常吃内存,100M 展开 100 次,就是 1G,但是这样的好处就是静态加载的速度快
- 使用动态库会将动态库加载到内存,10 个文件也只需要加载一次,然后这些文件用到库的时候临时去加载,速度慢一些,但是很省内存
一、静态库
1.1 静态库制作
静态库命名以lib
开头,以.a
结尾
静态库生成指令
ar rcs libmylib.a file1.o //file1.o 制作静态库的原材料
静态库制作及使用:
- 编译源代码生成
.o
文件
gcc -c add.c -o add.o
- 制作静态库
ar rcs libname.a file1.o file2.o …
- 编译静态库到可执行文件中
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 为依据,当其要调用时,其加载到内存之后才会有地址
步骤:
- 将.c 文件生成.o 文件 (生成与位置无关的代码 -fPLC)
gcc -c add.c -o add.o -fPIC
- 使用 gcc -shared 制作动态库
gcc -shared -o lib库名.so add.o sub.o div.o
- 编译可执行程序时指定所使用的动态库。-l:指定库名 -L:指定库路径
gcc test.c -o a.out -l mymath -L ./lib
- 运行可执行程序./a.out
项目文件目录结构如下:
2.2 动态库加载错误原因及解决方式
链接器: 工作于链接阶段,工作时需要 -l
和 -L
动态链接器: 工作于程序运行阶段,工作时需要提供动态库所在目录位置
在上面的第4 步运行生成的可执行文件时,我们发现运行不了,出现了error,提示加载共享库时,没有找到该文件。这是因为动态链接器在加载动态库时,都是去到指定目录中寻找动态库的,我们定义的动态库并没有在该目录下,所以自然是找不到文件。
要解决这个问题,只需通过环境变量指定动态库所在的位置即可:
export LD_LIBRARY_PATH=./lib
但是我们重新打开一个终端之后再执行a.out 文件,我们会发现运行依然会出现跟刚才一样的错误。这是因为环境变量是跟着进程走的,刚刚我们export 环境时,只是为刚刚那个终端设置的环境变量,打开了一个新的终端之后,新的终端与旧的终端是两个进程,刚刚export 的环境变量自然就不能再生效了。
要想永久生效,需要修改中端的配置文件:
sudo vim ~/.bashrc
- 在该配置文件中加入语句:
export LD_LIBRARY_PATH=./lib
(等号后面的值建议使用绝对路径) - 然后再
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页)。