【专题】函数栈帧的创建和销毁

文章详细阐述了函数调用的过程,包括栈帧的创建与维护,如何通过寄存器ebp和esp管理栈,以及压栈和出栈操作。函数的参数通过传参变量栈的位置传递,局部变量在函数栈帧中分配空间,初始值可能是随机的。调用函数时,形参是实参的临时拷贝,通过压栈操作传递,并在函数结束后通过保存的下一条指令地址返回。
摘要由CSDN通过智能技术生成

一、基本概念

  • 栈帧,也叫活动记录。是编译器用来实现过程(或函数)调用的一种数据结构。但在不同的编译器下,函数栈帧的创建过程是略有差异的,其具体的细节取决于编译器的实现。
  • 寄存器,是有限存储容量的告诉储存部件,存储的是二进制代码。是由具有存储功能的触发器组合起来构成的。一个触发器可以存储1位二进制代码,故存放n位二进制代码的寄存器需要n个触发器构成。

其中,ebp和esp这两个寄存器中存放的是地址,并且这两个地址是用来维护函数栈帧的。

  • 压栈(push),给栈顶放一个元素;出栈(pop),从栈顶删除一个元素。
  • 每一个函数的调用,都要在栈区上创建空间。

在这里插入图片描述

_ tmainCRTStartup( )函数 调用了 main函数 ,说明 main函数 也是被调用的。而 __tmainCRTStartup( )函数 被 ** tmainCRTStartup( )函数** 调用。
在调用 Add( )函数 时,又会在栈区创建相应的函数栈帧。

二、详解函数的调用过程

在这里插入图片描述
通过找到传参变量栈的位置来实现函数的传参。在刚开始调用函数时,参数便传递过去,形参并不在函数内部创建,而是返回主函数寻找参数的位置。

三、问题总结

Q1:局部变量是如何创建的?

  • 首先为函数创建栈帧空间,在该空间初始化一部分空间然后在相应的空间内给局部变量分配位置。

Q2:为什么局部变量的值是随机值?

  • 随机值是在开辟空间时自动放进去的。 即未初始化时,局部变量中时随机值,在初始化之后便不是随机值了。实质是把随机值给覆盖了。

Q3:函数是如何传参的?传参的顺序是什么样的?

  • 当调用函数的时候,在函数还未运行时便通过push操作将函数参数进行压栈。在进入调用的函数后,通过参数的偏移量找到形参的地址进而找到形参的内容。

Q4:形参和实参是什么关系?

  • 形参是在压栈时开辟的空间,实质与实参相同。即形参是实参的一份临时拷贝。

Q5:函数调用是如何做到的?

  • 通过进行压栈操作,并在main函数之上(低地址方向)继续开辟一片临时空间,通过该空间存储函数。

Q6:函数调用结束后是如何返回的?

  • 在函数调用前,便把函数调用后的下一条语句的地址存储起来。当调用完函数时,通过下一条指令的地址开始返回并找到相关指令。

—— writing by Pan Qifan(潘琦藩) ——

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

向懒羊羊学习的大猫

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值