Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用

文章目录

    • 何为动静态库
    • 库文件的链接
      • 静态链接
      • 静态库打包
      • 动态链接
      • 动态库打包
    • 第三方库的使用
      • 静态库的使用
      • 动态库的使用
    • 在系统层面上的动态链接理解

何为动静态库

静态库(.a):在程序编译链接时将静态库二进制码拷贝到程序代码中,程序运行时不再需要外部的静态库
动态库(.so):程序在编译链接完成后,进入运行时才会去链接动态库中的二进制代码,多个程序可以共享同一个动态库
动态链接:程序运行时,操作系统将动态库从磁盘加载到内存中,这个过程叫做动态链接
动态链接生成的可执行文件包含了一个表,表中存储需要使用的动态库函数地址,而不是函数的所有代码
操作系统在进程的页表中建立虚拟地址与动态库函数地址(动态库在内存中的物理地址)之间的映射,每个进程的页表都能映射内存中的动态库,所以只需要将动态库加载到内存中,该动态库就能被多个进程同时使用,比起静态链接将函数的所有代码拷贝到程序中的方式,动态链接生成的程序占用空间更少

库文件的链接

在当前目录的上级目录下有两个文件,hello.c,hello.h
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第1张图片
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第2张图片
两个文件是自定义函数Print的实现和声明,在当前目录下创建test.c,该程序包含了Print函数的头文件,并且使用上级目录的自定义函数Print
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第3张图片
编译该文件,但是系统报错,很显然,虽然程序有Print函数的声明(引用了上级目录的头文件…/hello.h,如果引用方式为hello.h程序报的错将是不明确的符号Print,找不到头文件hello.h,系统都不知道Print是个啥),但是没有Print的具体实现(报错信息为未定义引用的Print)。可以将Print看成一个库中的函数,除了包含头文件之外,要使用这个函数需要将目标文件与库文件进行链接,至于说为什么我们使用printf,scanf这样的库函数不需要我们链接,只需要包含对应的头文件,因为系统默认链接了这些标准库。当我们要使用第三方库时,就需要手动链接库文件

链接库文件则分为静态链接和动态链接两种方式

静态链接

先说明一个问题,对于刚才的代码,将Print函数的源文件hello.c编译生成obj目标文件,该目标文件能不能与test.c生成的目标文件test.o 一起编译生成可执行程序,如果能生成,该可执行程序能不能正确的运行?
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第4张图片
编译两个源文件后,当前目录生成了两个obj目标文件
在这里插入图片描述
将两个目标文件编译生成可执行文件test并运行,可以看到Print函数被成功执行

综上所述,只要有了由需要使用函数的源文件生成的obj文件(obj文件是翻译汇编语言生成的二进制机器文件),将obj文件与main函数所在的obj文件一起编译,生成的可执行程序就能调用所需要的函数。所以,当我们需要使用其他人定义的函数时,可以将函数所在的源文件进行编译,生成obj文件,当然,如果只有obj文件也是可以的,最后只需要将obj文件一起编译就能生成可执行文件,成功使用其他人定义的函数。

而所谓的静态链接就是将库中的obj文件与main函数所在的obj文件一起编译生成可执行文件的过程,执行静态链接后,因为将库的obj文件与自己的文件一起编译,所以生成的可执行文件会包含库文件的代码,占用较大的内存。

把多个源文件编译生成的obj文件打包,并存储在一个文件下,这个文件就叫做静态库

静态库打包

使用ar指令归档需要的obj文件生成静态库,归档后生成的文件可以检索源obj文件信息。
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第5张图片

具体指令为ar -rc 归档文件 原始文件

在归档文件名相同的情况下,r选项将新的归档文件替代旧的归档文件
在这里插入图片描述
当归档文件不存在时,使用c选项创建该归档文件
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第6张图片
我将创建静态库的操作放在makefile文件中,以下是makefile文件的内容
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第7张图片
库文件以lib开头,所以我们创建的归档文件名为libmyfirst.a,a后缀表示这是一个静态库,mymath_s.o和hello_s.o是需要进行归档的原始文件,原始文件是经过源文件的编译生成的二进制文件。

该目录此时只有mymath.c和hello.c这两个源文件,要得到obj目标文件需要使用gcc -c指令编译源文件。

静态库归档完成后,还需要头文件声明obj文件中的函数(使用一个静态库不仅需要库函数,还需要头文件告知编译器库函数的存在),所以定义一个伪目标static,该目标的依赖方法将创建两个目录,一个存放库文件,一个存放头文件,至此一个静态库文件就能向外发布了Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第8张图片
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第9张图片
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第10张图片
用tree指令打印lib-static的目录结构,可以看到头文件和库文件都被打包放入对应的目录下了。

动态链接

和静态库的原理相同,动态库也需要生成目标文件obj,区别就是动态库的obj文件不用拷贝到可执行文件中,系统会将其加载到内存中,可执行文件只需要知道动态库在内存的地址(函数入口地址),在程序运行时,可以通过该地址调用内存中的动态库函数。

动态库打包

打包动态库需要的obj文件与打包静态库需要的obj文件不同,因为静态链接将库文件拷贝到可执行文件中,库文件的代码会在进程地址空间呈现,在把源文件编译为obj文件时,编译器将代码的链接地址写死,即采用绝对地址的方式,当程序运行时,这些obj文件最后生成的可执行文件,只能在写死的链接地址上才能正确运行代码,也就是说,运行地址必须和链接地址相同,程序才可以正常运行。但对于动态库来说,一个动态库加载到内存后,可以被多个进程链接,每个进程共享区(存储动态库的虚拟地址的区域)存储的地址都可能不相同,即运行地址可能发生变化,所以动态库在编译obj文件时,不能采用将链接代码写死的方式,否则程序无法正确运行,应该采用相对代码的方式编译源文件,不将链接地址写死。

所以,对于动态库的源文件需要使用位置无关的方式编译,对于静态库的文件使用位置有关的方式编译即可。

gcc -fPIC -c生成的obj文件为位置无关文件,也就是刚才说的采用相对代码的方式编译,
gcc -shared 源obj文件 动态库文件,该指令可以将obj文件打包成一个动态库

Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第11张图片

第三方库的使用

静态库的使用

可以看到我在11_16这个目录下生成了静态库和动态库,接着退出这个目录,随意进入一个目录,在该目录下创建一个源文件,引用hello.h和mymath.h这两个头文件,然后调用Print和myPow函数(两函数分别在两头文件中声明)Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第12张图片
gcc编译该源文件,我们发现编译器不认识hello.h这个头文件(当然mymath.h也不认识,只是hello.h在前,不认识hello.h后直接报错,后面的错误没有显示)
在这里插入图片描述
很显然系统不知道有hello.h和mymath.h这两个头文件。系统编译程序时,默认会去/usr/include这个目录下查找头文件是否存在,如果不存在,系统报错,很显然我们自定义的头文件没有在这个目录下,我们只需要将我们的头文件添加到这个目录下就行了。
在这里插入图片描述
此时再次编译源文件
在这里插入图片描述
程序还是报错,虽然程序认识Print和myPow这两个函数,但程序却找不到这两个函数的定义。显然,程序在编译时知道有Print和myPow是两个函数,但是却不知道函数的地址,因为在之后的链接过程中,函数的地址会被写入,所以编译阶段就将函数地址放空,函数地址处于一个待写入的状态,接着编译完成。但是链接时找不到这两个函数的地址,因为在链接的库中,系统找不到哪个库中含有Print和myPow这两个函数。所以目前我们可知的是,包含Print和myPow 这两个函数的库没有被链接,在链接时,我们需要告知编译器库的路径(库在哪?),以及要链接哪个库(平常使用的标准库都存储在usr/lib64这个目录下,编译器会在该默认路径下链接你需要的标准库,所有使用第三方库时,我们需要告知编译器要链接哪个库,以及库所在的路径)。

gcc -l 要链接的库名称

在这里插入图片描述
将库文件和头文件都拷贝到系统的默认路径下,就不用告知编译器头文件和库文件的路径,因为编译器会区默认路径下查找。所以我们只需要告知编译器要链接的库名称。
在这里插入图片描述
注意,链接库文件时,库文件名不用加前缀lib和后缀.a或者.so,编译器会根据命名规范自动补足名称,然后查找对应的库。在拷贝自定义的库文件和头文件到系统默认路径下后,编译源文件时指定要链接的库就能成功编译。
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第13张图片
但是将自己的库文件和头文件安装到系统的默认路径下是一种不好的行为,会污染系统的库文件,除了将库文件和头文件安装到系统默认路径下,还能通过添加gcc编译时的选项使用第三方库。

gcc -L 库文件查找的路径
gcc -I 头文件查找的路径

刚才我们的编译只是指定了要链接的库,没有指定库文件和头文件的路径,因为编译器的默认行为,我们不需要特别指定路径。当我们需要链接的库不在系统默认路径下,就需要我们告知编译器库文件和头文件所在的路径。所以只要我们有静态库,并且知道库文件和头文件的路径,我们就能通过添加gcc的选项,指明对应文件路径的方式,编译一个使用第三方库的程序。
在这里插入图片描述

动态库的使用

动态库的使用也是两种方式,第一种是简单粗暴的在系统默认路径下添加库文件和头文件,最后在编译时,指定要链接的库,方法和静态库一样,这里不再阐述。

第二种方式也与静态库一样:添加编译选项,虽然可以生成可执行文件,但可执行文件却无法执行。
在这里插入图片描述
原因是程序运行时需要链接库文件,却找不到对应库文件,为什么静态库不存在这样的问题?静态链接编译生成的可执行程序将整个库都拷贝到可执行文件中,运行时不再需要静态库,而动态链接只是拷贝了一张地址表,在运行时需要通过表中地址查找并调用动态库中的函数,但现在的情况是:可执行程序知道要链接哪个动态库,却不知道动态库的路径(在磁盘中的位置),也就无法链接

在这里插入图片描述
在这里插入图片描述
解决无法链接动态库有三种方法,一是向环境变量LD_LIBRARY_PATH导入动态库路径,程序运行时,除了会在系统默认路径下查找需要链接的库,还会在该环境变量存储的路径下查找。但这种方式是一次性的,重启系统后,环境变量将会变为默认值。

另一种方式可以永久解决次问题:修改系统配置文件,/etc/ld.so.conf.d/目录下存储了许多配置文件,每个配置文件存储了一个路径,如果系统中使用了第三方库,那么程序在动态链接时,除了查找系统默认路径下的库文件,还会到/etc/ld.so.conf.d/路径下的配置文件存储的路径下查找库文件。

在/etc/ld.so.conf.d/路径下添加配置文件mylib.conf,向文件写入自定义库文件所在路径
在这里插入图片描述

然后执行sudo ldconfig,使新的配置文件生效
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第14张图片

最后一个方法,与第一种简单粗暴的向系统默认目录添加文件类似,都是向系统默认路径添加文件,只是这次添加的是库文件的软链接
Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第15张图片
进行链接的原文件最好是绝对路径,程序编译时,只需要告知需要的头文件路径以及要链接的库名称即可,编译生成的可执行文件不会出现找不到库的错误,因为系统会去默认库文件路径下查找需要链接的库是否存在。

在系统层面上的动态链接理解

Linux | 动静态库 | 动静态链接 | makefile库打包 | 第三方库使用_第16张图片
最开始时,可执行程序与其需要链接的动态库都存储在磁盘中,执行可执行程序后,操作系统将可执行程序与动态库从磁盘加载到内存,并建立task_struct描述可执行程序,task_struct中有一个mm_struct,不仅存储了进程的虚拟地址空间,还存储了映射虚拟地址空间与物理地址空间的页表。在虚拟地址空间中,堆区向上增长,栈区向下增长,两者相对而生,中间有一块共享区,该共享区存储的就是动态库函数的虚拟地址,动态库由磁盘加载到内存中,在物理空间上有属于自己的地址空间,页表将建立共享区与动态库的物理地址之间的映射。所以共享区存储了动态库函数的虚拟地址,程序在代码区执行代码时,如果遇到了动态库函数,会通过函数地址(虚拟地址)跳转到共享区,由于地址是虚拟地址,进程将通过页表的映射得到动态库函数的物理地址,进程将执行处于内存上的动态库函数,执行完毕,再从共享区跳转回代码区。

所以,当一个进程需要动态链接时,需要将动态库从磁盘加载到内存中,对于第三方库,如果系统不知道库文件在磁盘的哪个位置(不知道库文件路径),那么系统就无法找到库文件,更不用说将其加载到内存中,程序也就无法与库进行链接。所以对于第三方库文件没有存储在系统默认路径下的情况,可执行程序虽然知道要链接哪个库文件,但不知道库文件的位置,也就无法加载库文件,程序中的库函数没有映射对象,函数只有声明,没有定义,当然无法调用函数

你可能感兴趣的:(Linux学习总结,linux,运维,服务器)