当前位置：首页 > news >正文

【Linux】Linux下的静态链接的底层逻辑

news 2025/9/29 5:45:22

前言：欢迎各位光临本博客，这里小编带你直接手撕**，文章并不复杂，愿诸君**耐其心性，忘却杂尘，道有所长！！！！

在这里插入图片描述

IF’Maxue：个人主页
🔥 个人专栏:
《C语言》
《C++深度学习》
《Linux》
《数据结构》
《数学建模》

⛺️生活是默默的坚持，毅力是永久的享受。不破不立！

这是一篇博客的雏形，请用通俗化的语言结合图片内容和上下文，不要修改减少或增添所有的图片，以图片为中心上下文内容要强关联，对其进行优化，
要求：通俗化，简洁化，分段式，详细化，结合代码

大家好！今天我们来聊聊程序编译和链接的那些事儿。想象一下，写代码就像拼乐高：源代码是零件，编译器是组装工，链接器就是最终拼接大师。静态链接和动态链接是两种拼接方式，我会用通俗语言、结合图片和代码，一步步带你搞懂核心原理。所有图片都来自真实案例，我会以它们为中心，详细解释上下文。

当我们写C程序时，比如hello.c和code.c，编译器会先把它们变成目标文件（.o文件）。这些文件就像未组装的乐高零件包，里面包含代码和数据，但还没合并。

看看hello.o的数据节：

这张图展示了hello.o的内部结构。数据节（Data Section）存储变量和常量，大小约12个字节。代码节（Text Section）放机器指令，比如printf函数的调用。注意：如果变量在其他文件定义（如extern int global_var;），这里会标记为“未定义”（UND），因为编译器还不知道它的地址。
再看code.o的数据节：

code.o的大小也约12个字节，和hello.o规模相似。但这里定义了全局变量（如int global_var = 42;），数据节是“已定义”状态。两个文件独立时，彼此不知道对方的存在——就像两个乐高包没拆封。

关键点：

链接器的作用是把多个.o文件（如hello.o和code.o）拼成一个可执行程序。这就像把乐高零件包拆开，按图纸组装。合并后，所有代码和数据节统一编址，解决未定义符号的问题。

合并目标文件：

链接器将多个.o文件的Text和Data节合并成一个。例如，hello.o的Text节和code.o的Data节拼接，形成新结构。原本独立的节（如.text、.data）被重新编号（如图中Section 14）。
工具objdump：看内部机器码
用objdump -d反汇编目标文件，能看机器指令：

这里，call指令的地址是00 00 00 00（全0），因为函数地址还没确定。链接后，这些空白被真实地址填充。

结合代码示例：
假设hello.c调用printf，code.c定义全局变量。编译后汇编如下：

// hello.c（简化版）
extern int global_var;
void hello() {printf("Value: %d\n", global_var); // 调用外部函数和变量
}

编译成汇编（hello.s）：

; hello.s 片段
call printf   ; 机器码 e8 00 00 00 00（地址未填充）

hello.c vs hello.s
call指令的机器码是e8，后跟4字节地址。链接前是0，因为模块未合并。

链接后，可执行程序在磁盘上就有完整地址了，这叫地址重定位。它基于虚拟地址空间——程序运行时“看到”的内存地图，不是真实物理地址。

填充地址空白：

链接器计算每个符号的偏移量。例如，printf函数在合并Text节中的位置是0x400500，就填充到call指令后。公式简单： $地址 = 基址 + 偏移量$ 。
虚拟地址空间：平坦模式

可执行程序在磁盘上使用虚拟地址编址（如从0x400000开始）。Text节放代码，Data节放变量，BSS节放未初始化数据。这种“平坦模式”让程序加载到内存时，地址直接映射，无需大调整。

关键点：

动态链接（共享库）让多个程序共用同一份代码，节省内存。不同于静态链接（库代码复制到每个程序），动态库加载到内存共享区。

进程如何看待动态库：

进程虚拟地址空间包含共享区（如libc.so）。调用库函数时，CPU跳转到共享区执行，完成后返回。

操作系统用mm_struct管理虚拟内存，库代码通过页表映射到共享区。
优势：代码不重复

动态库（如.so文件）在磁盘只有一份，所有进程共享内存中的副本。例如，100个程序用printf，内存中只存一份libc代码。