【Linux】深刻理解动静态库

1.什么是库

库是写好的现有的,成熟的,可以复⽤的代码。现实中每个程序都要依赖很多基础的底层库,不可能每个⼈的代码都从零开始,因此库的存在意义⾮同寻常。本质上来说库是⼀种可执⾏代码的⼆进制形式,可以被操作系统载⼊内存执⾏。库有两种:

  • 静态库 .a[Linux]、.lib[windows]
  • 动态库 .so[Linux]、.dll[windows]

2.手动制作静态库

如果我们要做一个静态库的话,首先我们需要把我们源文件(.c/.cpp)隐藏起来,头文件(.h)必须暴露出来,
1.我们先要把我们所有的.c文件编译成.o文件,因为我们都知道我们正常进行程序翻译的时候,首先要做的工作就是把.c变成.o文件,最后把所有.o都链接起来。

2.把所以.o文件打包
指令:ar -rc
ar是 Unix 和类 Unix 系统下用于创建、修改和提取归档文件的工具,
ar -rc是
ar命令的一个常用选项组合,其功能如下:

  • -r**(replace)** :该选项用于将文件替换或插入到归档文件中。如果归档文件中已存在同名文件,-r选项会用新文件替换旧文件;如果归档文件中不存在同名文件,则将新文件插入到归档文件中。

  • -c**(create)** :用于创建一个新的归档文件。若指定的归档文件已存在,-c选项不会报错,而是静默处理,使得ar -rc能够在归档文件不存在时创建新的归档文件,存在时进行更新操作。
    语法:

    ar [选项] 归档文件 目标文件...

  • 归档文件:指定要创建或修改的归档文件的名称,通常具有.a扩展名,如libexample.a。

  • 目标文件:指定要添加到归档文件中的一个或多个源文件的名称,可以是 C、C++ 源文件,也可以是目标文件(.o文件)等。

  • 静态库必须有前缀lib,后缀.a。
    这个库制作好了,直接把他安装到系统里面:
    把我们头文件拷贝到系统特定路径里,Linux系统里默认搜索头文件路径是/usr/include


    然后把我们库也要安装到系统里,默认路径一般是/lib64/


    这样静态库和头文件都被安装到系统中去了,所以Linux系统中,所有的安装本质就是拷贝。

3.手动调用我们自己的静态库

然后试试别人能不能直接使用头文件中的方法:
创建一个other目录:

cpp 复制代码
#include<my_stdio.h>
#include<my_string.h>
#include<stdio.h>
int main()
{
    const char *a = "abcdf";
    printf("%s: %d\n",a,my_strlen(a));
    myFILE *fp =mfopen("./log.txt","a");
    if(fp ==NULL) return 1;
    mfwrite(a,my_strlen(a),fp);
    mfwrite(a,my_strlen(a),fp);
    mfwrite(a,my_strlen(a),fp);
    mfclose(fp);
    return 0;
}


为什么会链接报错呢?
因为编译器找不到,那同样是库,那为什么那么多库,能找到libc.aC语言的库呢?为什么不要告诉编译器呢?所以那是因为gcc是编C语言的,他默认要认识C标准库的,我们刚才写的库叫第三方库,如何要让编译器认识?刚才头文件和库都拷贝到系统,都能被找到,但是库有那么多,究竟应该链接哪一个库呢,所以

-l 这个l就是link(链接),然后库名libmystdio.a取掉前缀后缀就是stdio,所以这样就能找到库,并且能使用

-l就是引入指定名称的第三方库。
我们也可以不用把这些安装到系统里,别人直接给我们提供了头文件和库,这时我们该怎么使用呢?

指令:gcc main.c -o main -L. -lstdio
-L 告诉编译器,编译的时候,查找库,除了在系统路径下查找,也要在指定路径下查找

  • gcc:是 GNU Compiler Collection 的缩写,是一个广泛使用的开源编译器套件,支持多种编程语言,这里主要用于编译 C 语言程序。
  • main.c:是要编译的源文件,通常包含 C 语言的源代码。
  • -o main:-o选项用于指定输出文件的名称,这里将编译后的可执行文件命名为main。如果不使用-o选项,默认的输出文件名是a.out。
  • -L.:-L选项用于指定库文件的搜索路径。这里的.表示当前目录,即告诉编译器在当前目录下搜索库文件。
  • -lstdio:-l选项用于指定要链接的库。这里的stdio是库的名称(去掉lib前缀和.a或.so后缀),编译器会在-L指定的路径(这里是当前目录)下搜索名为libstdio.a或libstdio.so的库文件,并将其链接到可执行文件中。

    所以我们把库写好了,库里面应不应该有没有main函数?
    1.库里面绝对不能有main函数, 如果库中也有main 函数,那么在链接库到其他程序时,就会出现多个main 函数,这会导致链接错误,因为程序不知道该从哪个main 函数开始执行。
    2.库我们在发布的时候,我们建议,把所有的头文件放在include目录下,把我们库放在lib64目录下。
    通过makefile来制作静态库:
cpp 复制代码
libmystdio.a:my_stdio.o my_string.o
    ar -rc $@ $^
%.o:%.c
    gcc -c $<
.PHONY:clean
clean:
    rm -f *.a *.o       

发布我们写的库:
指令:tar
tar是 Unix 和类 Unix 系统中常用的归档工具,用于将多个文件或目录打包成一个归档文件,也可以从归档文件中提取文件或目录。以下是关于
tar的详细介绍:

基本功能

  • 打包:可以将多个文件和目录组合成一个单一的归档文件,方便存储、传输和备份。
  • 压缩:通常与压缩工具(如gzip、bzip2等)结合使用,在打包的同时进行压缩,减小文件占用的存储空间。
  • 解压:从归档文件中恢复出原始的文件和目录结构。

常用命令选项

  • -c**(create)** :创建新的归档文件。例如:tar -cvf archive.tar file1 file2 dir1,这会将file1、file2和dir1打包到archive.tar中。
  • -x**(extract)** :从归档文件中提取内容。例如:tar -xvf archive.tar,会将archive.tar中的文件和目录提取到当前目录。
  • -t**(list)** :列出归档文件中的内容,但不提取。例如:tar -tvf archive.tar,会显示archive.tar中包含的文件和目录列表。
  • -f**(file)** :指定归档文件的名称。这个选项必须紧跟在-c、-x或-t之后,后面跟上归档文件的路径和名称。
  • -z**(gzip)** :使用gzip进行压缩或解压。例如:tar -czvf archive.tar.gz file1 file2,会创建一个gzip压缩的归档文件archive.tar.gz;tar -xzvf archive.tar.gz,会解压gzip压缩的归档文件。
  • -j**(bzip2)** :使用bzip2进行压缩或解压。例如:tar -cjvf archive.tar.bz2 file1 file2,会创建一个bzip2压缩的归档文件archive.tar.bz2;tar -xjvf archive.tar.bz2,会解压bzip2压缩的归档文件。
cpp 复制代码
libmystdio.a:my_stdio.o my_string.o
    ar -rc $@ $^
%.o:%.c
    gcc -c $<
.PHONY:clean
clean:
    rm -rf *.a *.o stdc
.PHONY:output
output:
    mkdir -p stdc/include
    mkdir -p stdc/lib
    cp -f *.h stdc/include
    cp -f *.o stdc/lib
    tar -czf stdc.tgz stdc


操作使用:

然后怎么使用呢?

  • gcc:GNU Compiler Collection 的缩写,是一个广泛使用的编译器,用于编译 C 语言等程序。
  • main.c:要编译的源文件,其中包含了 C 语言的源代码。
  • -o main:-o选项用于指定输出文件的名称,这里将编译后的可执行文件命名为main。如果不使用-o选项,默认的输出文件名是a.out。
  • -I stdc/include:-I(大写的 i)选项用于指定头文件的搜索路径。这里告诉编译器在stdc/include目录下搜索main.c中#include指令所包含的头文件。例如,如果main.c中有#include "myheader.h",编译器会在stdc/include目录中查找myheader.h文件。
  • -L stdc/lib:-L选项用于指定库文件的搜索路径。这意味着编译器会在stdc/lib目录下搜索后续-l选项指定的库文件。
  • -l mystdio:-l(小写的 L)选项用于指定要链接的库。这里的mystdio是库的名称(去掉lib前缀和.a或.so后缀),编译器会在-L指定的路径(即stdc/lib)下搜索名为libmystdio.a或libmystdio.so的库文件,并将其链接到可执行文件main中。

4.手动制作动态库

动态库前缀也要加lib,后缀加.so
gcc/g++不仅能形成可执行程序,还能形成动态库
gcc -shared 用于生成共享库(shared library),在 Linux 和类 Unix 系统中,共享库是一种可执行代码的二进制形式,能被多个程序同时使用,以节省内存并实现代码复用。
形成动态库时,形成.o的过程要新增一个选项 -fPIC,形成与位置无关码
-fPIC是 GCC 编译器中的一个重要选项,全称为 "Position - Independent Code",即生成位置无关代码。以下从多个方面详细介绍它:

1. 作用原理

在编译生成共享库(shared library)或可执行文件时,程序的代码和数据在内存中的加载位置会影响指令的执行。传统的可执行文件在编译时,代码中的内存地址引用是基于固定的加载地址计算的。但共享库比较特殊,它可能被多个不同的程序加载到不同的内存地址空间运行。
-fPIC选项会让编译器生成的代码,不依赖于特定的内存加载地址。编译器通过使用相对地址而不是绝对地址来引用数据和代码,这样生成的代码可以在内存的任意位置加载执行,而不需要在加载时进行重定位(relocation)。

2. 为何重要

  • 共享库的需求:共享库是为多个程序所共享的代码集合。如果没有-fPIC生成位置无关代码,那么每个使用该共享库的程序在加载共享库时,都需要对共享库中的代码进行重定位,这不仅增加了加载时间,而且还可能导致内存使用效率低下。通过-fPIC,共享库可以在不同进程的地址空间中共享相同的物理内存页面,极大地节省了内存资源。
  • 动态链接的基础:现代操作系统普遍采用动态链接机制,允许程序在运行时动态加载所需的共享库。-fPIC生成的代码使得动态链接过程更加高效和灵活,能够适应不同的内存布局和加载场景。
cpp 复制代码
libmystdio.so:my_stdio.o my_string.o
    gcc -o $@ $^ -shared
%.o:%.c
    gcc -c $< -fPIC
.PHONY:clean
clean:
    rm -rf *.so *.o stdc

指令:ldd

ldd是一个在 Linux 和类 Unix 系统中非常有用的命令,主要用于查看程序运行时所依赖的共享库(shared libraries)。

1. 基本语法
ldd [选项] <文件名>
其中,
<文件名>是要检查的可执行文件或共享库的名称,选项可以用来获取更详细或特定格式的输出。

3. 常用选项

  • -v**(详细模式)**
    • 提供更详细的信息,包括共享库的版本号、加载的起始地址等。

4.输出解释

ldd 的输出通常包含以下信息:

  • 库名称 :这是程序或共享库所依赖的动态库的名称,通常以 lib 开头,以 .so 结尾。
  • 库的完整路径 :显示了动态库在文件系统中的实际位置。如果显示 not found,表示该动态库未找到,这可能会导致程序无法正常运行。
  • 库的地址:显示了该动态库在内存中的加载地址。这通常在运行时由动态链接器分配,对于大多数用户来说,这个信息可能不太重要,除非你正在进行一些系统级的调试。

3.如果把动态库删了,可执行程序会怎么样?

  1. 立即崩溃(在某些情况下)
  • 如果可执行程序在启动时就需要加载被删除的动态库,并且系统无法找到合适的替代库来满足依赖关系,那么程序在启动阶段就会崩溃。例如,一个程序依赖于一个特定版本的图形库来进行界面初始化,当这个图形库动态文件被删除后,程序在启动时尝试加载该库就会失败,从而无法正常启动。
  • 这是因为动态库中的函数和数据是在程序运行时按需加载的,当找不到所需的动态库时,操作系统无法完成程序的初始化过程
  1. 运行时出错
  • 即使程序成功启动,如果在运行过程中需要调用被删除的动态库中的函数,也会出现错误。例如,一个计算程序在运行过程中需要调用动态库中的数学计算函数,当动态库被删除后,一旦执行到调用该函数的代码部分,就会出现 "无法找到动态库" 或 "无法解析符号(函数名)" 等错误。

  • 这种情况通常会导致程序的部分功能失效或者直接崩溃,具体取决于程序对该动态库的依赖程度以及如何处理动态库加载失败的情况。有些程序可能会有一定的错误处理机制,能够在检测到动态库缺失时给出友好的错误提示并尝试恢复或继续执行其他功能,但很多程序没有这样的机制,就会直接异常终止。


如果把静态库删了,可执行程序会怎么样?

  1. 基本不受影响(一般情况)
  • 当可执行程序链接了静态库后,库中的代码和数据会在编译和链接阶段被复制到可执行文件中。所以,在程序已经成功生成后,删除静态库通常不会影响可执行程序的正常运行。

  • 例如,一个简单的 C 语言程序main.c链接了一个静态库libmath.a(其中包含了一些数学计算函数)来计算数值。在编译链接过程中,gcc main.c -o main -L. -lmath(假设库在当前目录下),libmath.a中的相关代码被整合进了main这个可执行文件。之后,即使删除了libmath.a,main依然可以正常运行,因为它已经拥有了运行所需的全部代码。
    同时存在动静态库,默认用的是动态库,除非加 -static

一、默认使用动态库

  • 编译时
    在类 Unix 系统(如 Linux)中,当同时存在一个库的静态版本(例如 libexample.a)和动态版本(例如 libexample.so),并且在编译链接可执行程序时没有特别指定使用静态库,编译器通常会默认使用动态库。例如,如果你有以下命令:

    复制代码
    gcc main.c -L. -lexample -o main

    这里 -L. 表示在当前目录查找库文件,-lexample 表示链接 libexample 库,编译器会优先使用 libexample.so(如果存在),因为这是默认行为。这是因为使用动态库可以节省磁盘空间和内存,因为多个程序可以共享同一个动态库,并且在更新库时,只需要更新动态库而不需要重新编译程序。

二、使用静态库

  • 使用 -static 选项
    如果你想强制使用静态库,可以使用 -static 选项。例如:

    复制代码
    gcc main.c -L. -lexample -o main -static

    此命令将强制编译器使用静态库 libexample.a 而不是 libexample.so 进行链接。这样,最终生成的可执行程序将包含静态库的代码,而不依赖于外部的动态库,其优点是可执行程序的独立性更强,可在不同环境中运行而不依赖于特定的库版本,但缺点是可执行程序的体积会变大。

三、库搜索顺序

  • 搜索顺序
    1. 编译器首先会搜索动态库。如果没有使用 -static 选项,它会优先使用动态库。
    2. 编译器会根据 -L 选项指定的路径查找库文件。如果没有使用 -L,则会按照系统的默认库搜索路径查找,通常包括 /usr/lib/usr/local/lib 等。
    3. 对于动态库,系统会在运行时根据 LD_LIBRARY_PATH 环境变量、/etc/ld.so.conf 文件和系统默认的库路径来查找所需的动态库。

四、注意事项

  • 库命名规则
    静态库通常以 .a 结尾,动态库通常以 .so 结尾(在 Linux 系统中)。库的名称通常遵循 lib<库名>.<后缀> 的格式,例如 libexample.alibexample.so
  • 性能和空间权衡
    • 动态库
      • 优点:多个程序可以共享同一个动态库,节省磁盘空间和内存,更新库时不需要重新编译程序。
      • 缺点:可能存在兼容性问题,如果库版本不兼容,可能导致程序无法正常运行。
    • 静态库
      • 优点:可执行程序不依赖于外部库,可在不同环境中稳定运行。
      • 缺点:可执行程序体积较大,每个程序都包含一份库的副本。
相关推荐
和煦的春风2 分钟前
性能案例分析 | Waiting for GPU completion
android·linux
道路与代码之旅33 分钟前
Delphi - IndyHttpServer接收上传文件
运维·服务器
lybugproducer1 小时前
深入 Linux 文件系统:从数据存储到万物皆文件
linux
烦躁的大鼻嘎1 小时前
【Linux】深入Linux多线程架构与高性能编程
linux·运维·服务器·开发语言·c++·ubuntu
羚羊角uou1 小时前
【Linux】system V共享内存
linux·运维·服务器
林克爱塞尔达1 小时前
Linux入门(二)
linux·运维·chrome
破烂儿1 小时前
Ubuntu Server 安装图形界面和通过Window远程桌面连接服务器(Xrdp)
linux·服务器·ubuntu
Hello.Reader1 小时前
Kafka 运维实战基本操作含命令与最佳实践
运维·kafka·linq
存储服务专家StorageExpert2 小时前
手搓一个 DELL EMC Unity存储系统健康检查清单
linux·运维·服务器·存储维护·emc存储
笑口常开xpr2 小时前
Linux 库开发入门:静态库与动态库的 2 种构建方式 + 5 个编译差异 + 3 个加载技巧,新手速看
linux·c语言·动态库·静态库