【Linux】深刻理解动静态库

news2025/1/23 10:26:22

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目录:
#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.alibstdio.so的库文件,并将其链接到可执行文件中。
所以我们把库写好了,库里面应不应该有没有main函数?
1.库里面绝对不能有main函数, 如果库中也有main 函数,那么在链接库到其他程序时,就会出现多个main 函数,这会导致链接错误,因为程序不知道该从哪个main 函数开始执行。
2.库我们在发布的时候,我们建议,把所有的头文件放在include目录下,把我们库放在lib64目录下。
通过makefile来制作静态库:
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的详细介绍:

基本功能

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

常用命令选项

  • -c(create):创建新的归档文件。例如:tar -cvf archive.tar file1 file2 dir1,这会将file1file2dir1打包到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.gztar -xzvf archive.tar.gz,会解压gzip压缩的归档文件。
  • -j(bzip2):使用bzip2进行压缩或解压。例如:tar -cjvf archive.tar.bz2 file1 file2,会创建一个bzip2压缩的归档文件archive.tar.bz2tar -xjvf archive.tar.bz2,会解压bzip2压缩的归档文件。
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.alibmystdio.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生成的代码使得动态链接过程更加高效和灵活,能够适应不同的内存布局和加载场景。
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.a 和 libexample.so
  • 性能和空间权衡
    • 动态库
      • 优点:多个程序可以共享同一个动态库,节省磁盘空间和内存,更新库时不需要重新编译程序。
      • 缺点:可能存在兼容性问题,如果库版本不兼容,可能导致程序无法正常运行。
    • 静态库
      • 优点:可执行程序不依赖于外部库,可在不同环境中稳定运行。
      • 缺点:可执行程序体积较大,每个程序都包含一份库的副本。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2280851.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【java数据结构】其他非基于比较排序

【java数据结构】其他非基于比较排序 一、计数排序二、基数排序三、桶排序 博客最后附有整篇博客的全部代码&#xff01;&#xff01;&#xff01; 一、计数排序 场景&#xff1a;集中在某个范围内的一组数据 思路&#xff1a; 找到这组序列的最大值和最小值&#xff0c;通过…

博客之星2024年度总评选——我的年度创作回顾与总结

2024年&#xff0c;是我在CSDN博客上持续耕耘、不断成长的一年。在此&#xff0c;与大家分享一下我的年度创作回顾与总结。 一、创作成长与突破 在人工智能领域&#xff0c;技术迭代迅速&#xff0c;知识更新频繁。为了保持自己的竞争力&#xff0c;在今年&#xff0c;我始终…

ChromeOS 132 版本更新

ChromeOS 132 版本更新 1. 企业定制化 Chrome Web Store 管理员现在可以使用新设置定制 Chrome Web Store 以适应他们管理的用户&#xff0c;包括以下功能&#xff1a; 添加公司标志添加首页横幅和自定义公告策划扩展集合实施基于类别的控制 这些设置可以通过管理员控制台进…

Golang Gin系列-5:数据模型和数据库

在这篇Gin教程的博客中&#xff0c;我们将探索如何将模型和数据库与Gin框架无缝集成&#xff0c;使你能够构建健壮且可扩展的web应用程序。通过利用流行的库并遵循最佳实践&#xff0c;你将学习如何定义模型、建立数据库连接、执行CRUD操作以及确保基于gin的项目中的数据完整性…

计算机毕业设计hadoop+spark股票基金推荐系统 股票基金预测系统 股票基金可视化系统 股票基金数据分析 股票基金大数据 股票基金爬虫

温馨提示&#xff1a;文末有 CSDN 平台官方提供的学长联系方式的名片&#xff01; 温馨提示&#xff1a;文末有 CSDN 平台官方提供的学长联系方式的名片&#xff01; 温馨提示&#xff1a;文末有 CSDN 平台官方提供的学长联系方式的名片&#xff01; 作者简介&#xff1a;Java领…

设计模式的艺术-代理模式

结构性模式的名称、定义、学习难度和使用频率如下表所示&#xff1a; 1.如何理解代理模式 代理模式&#xff08;Proxy Pattern&#xff09;&#xff1a;给某一个对象提供一个代理&#xff0c;并由代理对象控制对原对象的引用。代理模式是一种对象结构型模式。 代理模式类型较多…

Spring Boot整合Thymeleaf、JDBC Template与MyBatis配置详解

本文将详细介绍如何在Spring Boot项目中整合Thymeleaf模板引擎、JDBC Template和MyBatis&#xff0c;涵盖YAML配置、依赖版本匹配、项目结构设计及代码示例。 一、版本兼容性说明 Spring Boot版本与Java版本对应关系 Spring Boot 2.x&#xff1a;支持Java 8、11&#xff08;推…

【博客之星】2024年度创作成长总结 - 面朝大海 ,春暖花开!

没关系的&#xff0c;大家都会做错选择&#xff0c;会 莫名其妙掉眼泪&#xff0c;走在路上会突然崩溃&#xff0c; 但这并不影响我们去看看晚霞&#xff0c; 再次爱上这个世界。 面朝大海 &#xff0c;春暖花开! about meReviewLife about me 现在我是一名24级计算机类的…

StyleMaster: Stylize Your Video with Artistic Generation and Translation 论文解读

目录 一、概述 二、相关工作 1、图像风格化 2、视频风格化 三、StyleMaster 1、创建对比数据集 2、提取全局描述子 3、局部描述和全局描述结合 4、时间和风格质量的运动适配器 5、Gray Tile ControlNet 四、实验 一、概述 Our StyleMaster demonstrates superior vi…

c++进阶---c++三大特性之一---多态

多态的简单介绍&#xff1a;是一种动态的访问函数&#xff0c;比如&#xff1a;你定义了一个一个人类和一个学生类&#xff0c;当你传入的是学生类的时候&#xff0c;你需要有购物优惠&#xff0c;这种情境下用多态就很适用。 1.简单的多态使用&#xff1a; 1.1构造多态的条件…

安卓程序作为web服务端的技术实现(二):Room 实现数据存储

已经实现web服务器安卓程序作为web服务端的技术实现&#xff1a;AndServer 实现登录权限拦截-CSDN博客 现在需要和正常web项目类似&#xff0c;那么就需要操作数据库 一般web项目都是选择较为重型的数据库如MySQL&#xff0c;SQL server等 这里是安卓项目&#xff0c;我目前…

如何使用Python脚本将本地项目上传到 GitHub

前言 这里我们通过创建一个新的github仓库&#xff0c;来测试我们的脚本能否上传我们本地的项目&#xff0c;并且进行更新。首先你需要先安装 Git&#xff0c;关于这部分我好像没有记录过&#xff0c;这里我搜索看了一下&#xff0c;这篇博客写的Git安装详解应该是比较齐全的&…

Day 15 卡玛笔记

这是基于代码随想录的每日打卡 222. 完全二叉树的节点个数 给你一棵 完全二叉树 的根节点 root &#xff0c;求出该树的节点个数。 完全二叉树 的定义如下&#xff1a;在完全二叉树中&#xff0c;除了最底层节点可能没填满外&#xff0c;其余每层节点数都达到最大值&#x…

IO进程----进程

进程 什么是进程 进程和程序的区别 概念&#xff1a; 程序&#xff1a;编译好的可执行文件 存放在磁盘上的指令和数据的有序集合&#xff08;文件&#xff09; 程序是静态的&#xff0c;没有任何执行的概念 进程&#xff1a;一个独立的可调度的任务 执行一个程序分配资…

【Postgres_Python】使用python脚本将多个PG数据库合并为一个PG数据库

需要合并的多个PG数据库表个数和结构一致&#xff0c;这里提供一种思路&#xff0c;选择sql语句insert插入的方式进行&#xff0c;即将其他PG数据库的每个表内容插入到一个PG数据库中完成数据库合并 示例代码说明&#xff1a; 选择一个数据库导出表结构为.sql文件&#xff08…

微软预测 AI 2025,AI Agents 重塑工作形式

1月初&#xff0c;微软在官网发布了2025年6大AI预测&#xff0c;分别是&#xff1a;AI模型将变得更加强大和有用、AI Agents将彻底改变工作方式、AI伴侣将支持日常生活、AI资源的利用将更高效、测试与定制是开发AI的关键以及AI将加速科学研究突破。 值得一提的是&#xff0c;微…

《Java核心技术 卷II》获取Web数据提交表单数据

提交表单数据 了解即可&#xff0c;直接上案例 package 第4章网络.post;import java.io.IOException; import java.io.InputStream; import java.io.PrintWriter; import java.io.Reader; import java.net.CookieHandler; import java.net.CookieManager; import java.net.Co…

Spring Boot AOP实现动态数据脱敏

依赖&配置 <!-- Spring Boot AOP起步依赖 --> <dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-aop</artifactId> </dependency>/*** Author: 说淑人* Date: 2025/1/18 23:03* Desc…

JavaScript —— 变量与运算符

变量与常量 let&#xff1a;用来定义变量&#xff0c;可以只声明不定义&#xff1b; 例如&#xff1a; <script type"module">let a; // 只声明不定义let x 2, name "kitty"; // 定义若干个变量let d { // 定义一个对象&#xff0c;类似于p…

YOLO-cls训练及踩坑记录

提示&#xff1a;文章写完后&#xff0c;目录可以自动生成&#xff0c;如何生成可参考右边的帮助文档 文章目录 前言 一、模型训练 二、测试 三、踩坑记录 1、推理时设置的imgsz不生效 方法一&#xff1a; 方法二&#xff1a; 2、Windows下torchvision版本问题导致报错 总结 前…