浅谈~函数栈帧

如果清楚下面的问题，也就没必要花诸君的时间来阅读：

①调用函数一定形成临时拷贝吗？是如何拷贝的？

②临时变量为什么具有临时性？

③函数被调用后，形成的新栈帧是怎样被回收，释放的？

④函数临时变量的拷贝是否有规律可循？

⑤函数调用的成本体现在什么上？

1.什么是栈帧?

所谓的栈帧，就是指的是，在栈区开辟的一块临时内存空间。

图示：简画C程序空间区域分布：

2.汇编命令

要理解函数栈帧的过程，而栈的变化又难以在C中得到清晰的认识。因此要借助反汇编理解。

基本命令：

3.认识寄存器

我们都知道，函数调用完后，函数内创建值会自动“销毁”。那为何用return修饰的变量，就能被带回呢？

因此就牵涉到寄存器的概念:

return 就是把变量交给寄存器，再通过寄存器，得到函数的返回值。

有了以上的铺垫，我们便开始探讨函数栈帧的整个过程 。

4.函数的调用与函数的栈帧

(1)main函数会被调用?会形成成栈帧吗？

调用：

 形成栈帧：

把上面的反汇编相关命令弄下来: 

push ：数据入栈，同时 esp 栈顶寄存器也要发生改变

mov ：数据转移指令

sub ：减法命令

大意如下图：

(2)main函数内变量的创建与赋值

 

 (3)函数调用与传参

如果你足够熟悉，压入栈中的变量。你会知道[ebp-14]、[ebp-8] 他们代表的值b,a。

因此我们就回答了第一个问题：

只要发生函数调用一定会形成拷贝，在栈上开辟空间，且拷贝的顺序是从右到左！

我们来看看，push后栈顶(esp )的变化：

我们可以看到，形参实例化的内存开辟是连续的，因此理论上，我们可以在知道一个地址的情情况下，访问到形参的内容。 

所以我们可以进行如下实验：

可以看出，我们可以找到规律性的地址存储，轻易地去改变变量。

重点：call：函数调用，1. 压入返回地址 2. 转入目标函数

函数调用完需要返回，因此有必要保存调用时的下一个地址！！！

即：压入栈中！

简易图示：

(4)自定义函数

自定义函数变量的创建和赋值，以及return返回值：

(5)函数调用完后的销毁

函数栈内情况： 

pop ：数据弹出至指定位置，同时 esp 栈顶寄存器也要发生改变

ret ：恢复返回地址，压入 eip ，类似 pop eip 命令 

(6)尾声:

main函数的销毁方法和Add函数一样也就不用在多赘述：

小结： 

有帮到你吗？

感谢你的阅读，祝你好运 ~