【基础IO】谈谈动静态库(怒肝7000字)

文章目录

前言
实验代码样例
静态库
动态库
- 创建动态库
- 加载动态库
动静态链接

前言

在软件开发中，库（Library）是一种方式，可以将代码打包成可重用的格式 ，供其他程序调用。库可以分为静态库（Static

Libraries）和动态库（Dynamic Libraries 或 Shared Libraries）。这两种类型的库在链接和执行时有各自的特点和用途。本篇文章将围绕动静态库的原理及其使用展开讲解。

实验代码样例

cpp 复制代码

/add.h/
 #ifndef __ADD_H__
 #define __ADD_H__ 
 int add(int a, int b); 
 #endif // __ADD_H__
 /add.c/
 #include "add.h"
 int add(int a, int b)
 {
 return a + b;
 }
 
 /sub.h/
 #ifndef __SUB_H__
 #define __SUB_H__ 
 int sub(int a, int b); 
 #endif // __SUB_H__
 /sub.c/
 #include "add.h"
 int sub(int a, int b)
 {
 return a - b;
 }
 
 ///main.c
 #include <stdio.h>
 #include "add.h"
 #include "sub.h"
 
 int main( void )
 {
 int a = 10;
 int b = 20;
 printf("add(%d, %d)=%d\n", a, b, add(a, b));
 a = 100;
 b = 20;
 printf("sub(%d,%d)=%d\n", a, b, sub(a, b));
 }

解释以上代码：

该代码分为三个部分，一个是main函数，一个是add函数的声明与定义文件，一个是sub函数的声明与定义文件。

静态库

静态库是一种在程序编译时就被整合到可执行文件中的代码和数据集合。一般来说，无论是动态库还是静态库，其库中的内容都是一些被编译过但是还未被链接的目标文件（以.o或者.obj结尾的二进制文件）。

为什么要将这些目标文件打包成库呢?

首先就是便于代码复用。将常用的功能打包成库使得这些代码可以轻松的在多个项目中重用。这大大节省了开发的时间，也有助于提高代码的一致性。

使项目设计变得更加模块化。需要什么功能就添加什么库，将整个项目分解为更小更容易管理的模块。每个模块的库执行特定的功能，通过提供接口与其它模块交互。这有助于提高代码的维护性与可读性。

版本控制和兼容性。库可以独立于使用它们的应用程序进行版本控制。开发者可以对库进行更新和改进。对于我们使用者来说，只需要更新一下就能使用最新的库了。

团队协作。库允许不同的开发者或小组专注于特定的功能领域。例如，一个团队可以负责数据库交互的库，而另一个团队则可以专注于用户界面的组件。这样的分工促进了专业化，可以提高开发效率和产品质量。

生成一个静态库

根据库的特点，我们需要先将add.c文件和sub.c文件编译成目标文件，使用带-c选项的gcc指令：

接下来使用归档工具 ar 命令将一组对象文件打包成一个库文件。具体使用方式如下：
ar -rc libmymath.a add.o sub.o

其中，-rc是参数，表示替换、创建。libmymath.a表示要生成的库文件(一般静态库是以.a为后缀)。add.o、sub.o则是输入的对象文件。

用指令ar -tv查看库中的目录列表

选项t表示列出静态库中的文件，v表示详细信息。

归档工具ar

ar是一个用于创建和管理归档文件的工具，通常用于创建静态库 。生成的归档文件是一个单独的文件，用来存储多个其它的文件和目录，常常在编译链接阶段用于组织静态库中的对象文件（.o文件）。ar来源于archive(归档)，其主要功能就是把多个文件合并成一个文件，以便于管理。

虽然我们可以用-tv选项查看归档文件中的目录，但它本身并不是一个目录，只是看起来像而已！此外，ar的功能其实与zip类似，但是ar对于处理这种目标文件是非常有效的。

给出ar指令的选项功能：

r: 插入文件到归档中（如果归档已存在，这个选项会替换或添加文件）。
c: 创建归档文件，如果它不存在。
s: 创建一个对象文件索引（符号表），这对于链接器加速访问归档中的目标文件很重要。
t: 列出归档内容。
x: 从归档中提取文件。
d: 从归档中删除文件。
u: 只有当被添加的文件比归档中现有的同名文件更新时才添加文件。

总之，区别于我们用gcc一个一个链接目标文件，这种打包成库的方式简化了链接和构建的过程，显得非常的方便且灵活。

静态库的链接

当创建可执行文件时，如果程序依赖于某个静态库，链接器（linker）会将静态库中的相关对象文件整合到最终的可执行文件中 。回到上面的代码样例。我们的main.c文件依赖于add与sub函数的实现，如果不链接库。按照我们之前的方式，只能一个一个链接源文件：

而现在我们已经将add.o与sub.o打包成了静态库libmymath.a，该怎么使用呢？

考虑使用以下指令：
gcc main.o -L/path/to/library -lexample -o main

其中 -L/path/to/library 告诉链接器在哪个目录下 查找库文件。如果库文件在标准库路径下例如 /usr/lib/ 或 /usr/local/lib/，可以省略这个选项。
-lexample 指定链接器使用名为 libexample.a 的库。注意这里的使用命名规则，并不是直接将库静态库的全名加上去，而是要进行一些"处理"。因为链接器会自动寻找以lib开头，.a结尾的文件 。我们只需要提供去掉lib和.a的部分。-l选项表示指定添加库。

库搜索路径：

从左到右搜索-L指定的路径
由环境变量指定的目录（LIBRARY_PATH）
标准库路径例如 /usr/lib/ 或 /usr/local/lib/

所以针对样例代码，我们可以这样链接静态库：

这样我们就成功的链接了一个静态库。

值得注意的是，一旦我们成功链接了某个静态库之后，该静态库中的所有数据和代码就存在可执行文件中了。所以我们之后即使把静态库删除也不会影响到程序的执行。这是一个一次性的过程。

动态库

动态库（Dynamic Libraries）是现代软件开发中常用的一种资源共享和模块化技术。动态库能够使多个程序共享同一份库代码，而不需要将这些代码复制到每个程序的可执行文件中，从而节省系统资源并便于维护和更新。

与静态库不同的是，动态库被链接后存在于进程的共享区域 内，该区域内的数据和代码可以供多个进程使用。而且是用时访问，即程序在运行阶段会不断地访问。也就意味着，如果我们在生成可执行文件之后，将动态库删除，程序便会报链接错误。这是和使用静态库不一样的地方。

我们可以观察动态库在程序的内存分布：

其中动态库在内存的数据共享区，该区域于其它进程共享数据。而静态库中的数据被链接之后就成为了代码段与数据段的一部分。

创建动态库

创建静态库使用了归档工具ar，而创建一个动态库gcc工具就可以。

考虑以下指令：
gcc -fPIC -c sub.c add.c
gcc -shared -o libmymath.so sub.o add.o

首先解析第一条指令：

选项-fPIC表示生成位置无关码。
什么叫位置无关码？

位置无关码的意思就是，生成的代码在内存中可以被加载到任何位置，而不是某个固定的地址。这种特性对于动态库尤其重要，因为动态库需要能够被多个不同的程序共享，并且每个程序可能将库加载到不同的地址空间。

位置无关码的寻址方式为相对寻址，可以将代码中的所有指针认为是一个个偏移量，不同的程序给与它不同的初始地址，这样就能灵活的将库加载到其它的地方。

生成位置无关码是创建动态库的标准做法 ，因为它确保库能在不同的应用程序和不同的运行实例中被正确地共享和使用。如果我们不用-fPIC选项生成位置无关码，程序在运行时就会报错。