一、基本概念
- 栈帧,也叫活动记录。是编译器用来实现过程(或函数)调用的一种数据结构。但在不同的编译器下,函数栈帧的创建过程是略有差异的,其具体的细节取决于编译器的实现。
- 寄存器,是有限存储容量的告诉储存部件,存储的是二进制代码。是由具有存储功能的触发器组合起来构成的。一个触发器可以存储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(潘琦藩) ——