一、基本概念
1.1什么是库
在windows平台和linux平台下都大量存在着库。
本质上来说库是一种可执行代码的二进制形式,可以被操作系统载入内存执行。
由于windows和linux的平台不同(主要是编译器、汇编器和连接器的不同),因此二者库的二进制是不兼容的。
本文仅限于介绍linux下的库。
1.2库的种类
linux下的库有两种:静态库和共享库(动态库)。
二者的不同点在于代码被载入的时刻不同。
静态库的代码在编译过程中已经被载入可执行程序,因此体积较大。
共享库的代码是在可执行程序运行时才载入内存的,在编译过程中仅简单的引用,因此代码体积较小。
1.3库存在的意义
库是别人写好的现有的,成熟的,可以复用的代码,你可以使用但要记得遵守许可协议。
现实中每个程序都要依赖很多基础的底层库,不可能每个人的代码都从零开始,因此库的存在意义非同寻常。
共享库的好处是,不同的应用程序如果调用相同的库,那么在内存里只需要有一份该共享库的实例。
1.4库文件是如何产生的在linux下
静态库的后缀是.a,它的产生分两步
Step 1.由源文件编译生成一堆.o,每个.o里都包含这个编译单元的符号表
Step 2.ar命令将很多.o转换成.a,成文静态库
动态库的后缀是.so,它由gcc加特定参数编译产生。
具体方法参见后文实例。
1.5库文件是如何命名的,有没有什么规范
在linux下,库文件一般放在/usr/lib和/lib下,
静态库的名字一般为libxxxx.a,其中xxxx是该lib的名称
动态库的名字一般为libxxxx.so.major.minor,xxxx是该lib的名称,major是主版本号,minor是副版本号
1.6如何知道一个可执行程序依赖哪些库
ldd命令可以查看一个可执行程序依赖的共享库,
例如# ldd /bin/lnlibc.so.6
=> /lib/libc.so.6 (0×40021000)/lib/ld-linux.so.2
=> /lib/ld- linux.so.2 (0×40000000)
可以看到ln命令依赖于libc库和ld-linux库
1.7可执行程序在执行的时候如何定位共享库文件
当系统加载可执行代码时候,能够知道其所依赖的库的名字,但是还需要知道绝对路径
此时就需要系统动态载入器(dynamic linker/loader)
对于elf格式的可执行程序,是由ld-linux.so*来完成的,它先后搜索elf文件的DT_RPATH段—环境变量LD_LIBRARY_PATH—/etc/ld.so.cache文件列表—/lib/,/usr/lib目录找到库文件后将其载入内存
如:export LD_LIBRARY_PATH=’pwd’
将当前文件目录添加为共享目录
1.8在新安装一个库之后如何让系统能够找到他
如果安装在/lib或者/usr/lib下,那么ld默认能够找到,无需其他操作。
如果安装在其他目录,需要将其添加到/etc/ld.so.cache文件中,步骤如下
1.编辑/etc/ld.so.conf文件,加入库文件所在目录的路径
2.运行ldconfig,该命令会重建/etc/ld.so.cache文件
二、实验设计
我们通常把一些公用函数制作成函数库,供其它程序使用。
函数库分为静态库和动态库两种。
静态库在程序编译时会被连接到目标代码中,程序运行时将不再需要该静态库。
动态库在程序编译时并不会被连接到目标代码中,而是在程序运行是才被载入,因此在程序运行时还需要动态库存在。
本文主要通过举例来说明在Linux中如何创建静态库和动态库,以及使用它们。
为了便于阐述,我们先做一部分准备工作。
2.1准备好测试代码lib.h、bill.c和program.c;
#include <stdio.h>
void bill(char* arg){
printf("bill:we passed %s\n",arg);
}
以上为bill.c的代码。
#ifndef _LIB_H
#define _LIB_H
void bill(char*);
void fred(int);
#endif
以上为lib.h的代码。
#include <stdlib.h>
#include "lib.h"
int main(){
bill("hello,world");
exit(0);
}
以上为program.c的代码。
2.2问题的提出
注意:这个时候,我们编译好的bill.o是无法通过gcc –o 编译的,这个道理非常简单,
bill.c是一个没有main函数的.c程序,因此不够成一个完整的程序,如果使用gcc –o 编译并连接它,GCC将报错。
无论静态库,还是动态库,都是由.o文件创建的。因此,我们必须将源程序bill.c通过gcc先编译成.o文件。
这个时候我们有三种思路:
1) 通过编译多个源文件,直接将目标代码合成一个.o文件。
2) 通过创建静态链接库libfoo.a,使得main函数调用hello函数时可调用静态链接库。
3) 通过创建动态链接库libfoo.so,使得main函数调用hello函数时可调用静态链接库。
2.3思路一:编译多个源文件
在系统提示符下键入以下命令得到bill.o文件。
# gcc -c bill.c
为什么不适用gcc –o bill bill.c 这个道理我们之前已经说了,使用-c是什么意思呢?这涉及到gcc 编译选项的常识。
我们通常使用的gcc –o 是将.c源文件编译成为一个可执行的二进制代码,这包括调用作为GCC内的一部分真正的C编译器(ccl),以及调用GNU C编译器的输出中实际可执行代码的外部GNU汇编器和连接器工具。
而gcc –c是使用GNU汇编器将源文件转化为目标代码之后就结束,在这种情况下连接器并没有被执行,所以输出的目标文件不会包含作为Linux程序在被装载和执行时所必须的包含信息,但它可以在以后被连接到一个程序。
我们运行ls命令看看是否生存了bill.o文件。
# ls
bill.c lib.h bill.o program.c
在ls命令结果中,我们看到了bill.o文件,本步操作完成。
同理编译program
#gcc –c program.c
将两个文件链接成一个.o文件。
#gcc –o program bill.o program.o
运行
# ./program
bill:we passed hello,world
完成^ ^!
2.4思路二:静态链接库
下面我们先来看看如何创建静态库,以及使用它。
静态库文件名的命名规范是以lib为前缀,紧接着跟静态库名,扩展名为.a。例如:我们将创建的静态库名为foo,则静态库文件名就是libfoo.a。在创建和使用静态库时,需要注意这点。创建静态库用ar命令。
在系统提示符下键入以下命令将创建静态库文件libfoo.a。
# ar cr libfoo.a bill.o
我们同样运行ls命令查看结果:
# ls
bill.c lib.h bill.o program.c libfoo.a
ls命令结果中有libfoo.a。
静态库制作完了,如何使用它内部的函数呢?只需要在使用到这些公用函数的源程序中包含这些公用函数的原型声明,然后在用gcc命令生成目标文件时指明静态库名,gcc将会从静态库中将公用函数连接到目标文件中。注意,gcc会在静态库名前加上前缀lib,然后追加扩展名.a得到的静态库文件名来查找静态库文件。
在程序3:program.c中,我们包含了静态库的头文件lib.h,然后在主程序main中直接调用公用函数bill。下面先生成目标程序program,然后运行program程序看看结果如何。
# gcc -o program program.c -L. -lfoo
# ./program
bill:we passed hello,world
我们删除静态库文件试试公用函数hello是否真的连接到目标文件hello中了。
# rm libfoo.a
rm: remove regular file `libfoo.a'? y
# ./program
bill:we passed hello,world
程序照常运行,静态库中的公用函数已经连接到目标文件中了。
编静态库的参数:
a:在库的一个已经存在的成员后面增加一个新的文件。如果使用任选项a,则应该为命令行中membername参数指定一个已经存在的成员名。
b:在库的一个已经存在的成员前面增加一个新的文件。如果使用任选项b,则应该为命令行中membername参数指定一个已经存在的成员名。
c:创建一个库。不管库是否存在,都将创建。
f:在库中截短指定的名字。缺省情况下,文件名的长度是不受限制的,可以使用此参数将文件名截短,以保证与其它系统的兼容。
i:在库的一个已经存在的成员前面增加一个新的文件。如果使用任选项i,则应该为命令行中membername参数指定一个已经存在的成员名(类似任选项b)。
l:暂未使用
N:与count参数一起使用,在库中有多个相同的文件名时指定提取或输出的个数。
o:当提取成员时,保留成员的原始数据。如果不指定该任选项,则提取出的模块的时间将标为提取出的时间。
P:进行文件名匹配时使用全路径名。ar在创建库时不能使用全路径名(这样的库文件不符合POSIX标准),但是有些工具可以。
s:写入一个目标文件索引到库中,或者更新一个存在的目标文件索引。甚至对于没有任何变化的库也作该动作。对一个库做ar s等同于对该库做ranlib。
S:不创建目标文件索引,这在创建较大的库时能加快时间。
u:一般说来,命令ar r...插入所有列出的文件到库中,如果你只想插入列出文件中那些比库中同名文件新的文件,就可以使用该任选项。该任选项只用于r操作选项。
v:该选项用来显示执行操作选项的附加信息。
V:显示ar的版本。
2.5思路三、动态链接库
我们继续看看如何在Linux中创建动态库。我们还是从.o文件开始。
动态库文件名命名规范和静态库文件名命名规范类似,也是在动态库名增加前缀lib,但其文件扩展名为.so。例如:我们将创建的动态库名为foo,则动态库文件名就是libfoo.so。用gcc来创建动态库。
在系统提示符下键入以下命令得到动态库文件libfoo.so。
# gcc -shared -fPCI -o libfoo.so bill.o
“PCI”命令行标记告诉GCC产生的代码不要包含对函数和变量具体内存位置的引用,这是因为现在还无法知道使用该消息代码的应用程序会将它连接到哪一段内存地址空间。这样编译出的bill.o可以被用于建立共享链接库。建立共享链接库只需要用GCC的”-shared”标记即可。
我们照样使用ls命令看看动态库文件是否生成。
# ls
bill.c lib.h bill.o program.c libfoo.a libfoo.so
调用动态链接库编译目标文件。
在程序中使用动态库和使用静态库完全一样,也是在使用到这些公用函数的源程序中包含这些公用函数的原型声明,然后在用gcc命令生成目标文件时指明动态库名进行编译。我们先运行gcc命令生成目标文件,再运行它看看结果。
gcc -o program program.c -L. -lfoo
使用”-lfoo”标记来告诉GCC驱动程序在连接阶段引用共享函数库libfoo.so。”-L.”标记告诉GCC函数库可能位于当前目录。否则GNU连接器会查找标准系统函数目录。
# ./program
./program: error while loading shared libraries: libfoo.so: cannot open shared object file: No such file or directory
#
错误提示,找不到动态库文件libfoo.so.so。程序在运行时,会在/usr/lib和/lib等目录中查找需要的动态库文件。若找到,则载入动态库,否则将提示类似上述错误而终止程序运行。我们将文件llibfoo.so复制到目录/usr/lib中,再试试。
# mv libfoo.so /usr/lib
# ./program
bill:we passed hello,world
#
这也进一步说明了动态库在程序运行时是需要的。