链接之从盘古开天辟地说起

学习链接,我们应先思考链接起源,才能知其所以然。

我们回到最古老的时代,程序员使用01编写程序,跳转指令的例子如下
0010代表jmp指令 0101代表跳转位置 所以1跳转到5
我们做一个假设 要是要在5的前面加一条指令程序(这就像我们在一行代码前加一行代码,太常见了)会怎么样呢?我们发现程序需要重定位(即jmp指令跳转位置重定位),因为5的位置改变了。这实在是太麻烦了,那时程序还是打字带,这样的话每次加指令都要重新打纸带,现在这是不可能的。
在这里插入图片描述
于是有人就像能用符号代表位置嘛?这样我们写的其实就是像跳转到一个动态的位置,于是汇编语言来了,我们看看汇编语言后的样子。
在这里插入图片描述
让我们看看右边程序对应的汇编语言,巧妙地解决了这个问题,我们将地址变成了符号L0.

好了,我们通过引入符号解决了这个问题,但符号带来的影响却没有结束,毕竟机器还是只认二进制的嘛,我们最后还是要将符号(汇编语言)翻译成二进制语言,这就是接下来要说的内容。注意:这段历史其实能够合理地解释后面地很多概念的来由,而不是死记硬背概念

下面我们引入两个新的定义

  • 符号定义
  • 符号的引用

详情见下图在这里插入图片描述
由于前文的历史,相信这两个定义很好理解了。
该图大致简述了链接器的由来,我们做一点补充。
至此,我们其实还没有给出符号的严格定义,其实这里的符号并不是我们直观理解的写的源程序中的符号,准确地说是非静态的函数和全局变量,不需要背,我们理解它,首先为什么局部变量不是符号?(实际上是局部符号,而我们前面的是全局符号,为了区别姑且说其不是符号,因为我们总是不考虑它们
其实很简单,全局符号是用于两个模块(函数)间地联系的,局部变量不能被其他模块引用,当然不是符号。反观是全局符号的,显然都会被引用(可能有人会疑惑非静态,我这里贴出一个讲静态变量讲的很清晰的博客https://blog.csdn.net/tr_ainiyangyang/article/details/80965574)。

最后贴两张链接的过程
图中解释了什么是符号解析和重定位,实际上就是链接器的全部任务
(4)稍微难理解 改成 在要引用符号的指令后面填上合并模块后符号的新地址即可
在这里插入图片描述
在这里插入图片描述

实际上链接前还有预处理 编译 汇编三个步骤,不过不是文章主要内容不多赘述了。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值