函数栈帧的创建和销毁（超详细）

以VS2013为例，从汇编代码的角度详细分析函数调用和返回和全过程

int Add(int x, int y)
{
	int z = 0;
	z = x + y;
	return z;
}

int main()
{
	int a = 10;
	int b = 20;
	int c = 0;

	c = Add(a, b);
	printf("%d\n", c);
	return 0;
}

1.内存中的寄存器：eax ebx ecx edx

 ebp、esp两个寄存器用以维护函数栈帧（ebp为栈底指针、esp为栈顶指针）

通常栈区的使用是从高地址向低地址，ebp为高地址处指针，esp为低地址处指针，两者控制创建栈区的大小

 2.在VS2013中，调试后再调用堆栈中可以看到main函数也是被其他函数所调用的——main函数也有自己在栈区上创建和开辟的空间

 每次函数调用VS都会在栈区上为其分配空间，main函数也不例外

3.main函数栈帧的创建

 00C21410 指令将ebp目前的值压栈，即将目前的栈底所在的地址压栈

00C2411指令将esp目前的值赋值给ebp 即相当于把目前的栈底指针移动到栈顶指针的位置

00C2413指令将esp栈顶指针目前的值减去0E4h个字节——分配给main函数的空间！！

接下来三条指令，压栈三个元素ebx esi edi 随着压栈的动作栈底指针不变，栈顶指针向低地址移动

00C2141C指令为lea指令（lead effective address）加载有效地址值 将ebp-0E4h加载到edi中

接下来两条指令，给ecx赋值为39h 给eax赋值为0CCCCCCCCh

00C2142C指令 将新开辟的mian函数栈帧中的从edi开始向下ecx个双字（字节）初始化为eax值——即将栈顶指针向下的数据全部初始化为随机值

4.局部变量的创建

 接下来三条指令，将a、b、c三个局部变量赋值——从栈底指针向上找三个空间放值

5.函数调用前的准备

 前两条指令分别将刚才初始化并赋值的a、b两个变量的值赋值给eax和ecx两个寄存器，并分别压栈——相当于传参！

00C2144B call指令开始执行的时候，将call指令所在下一条指令压栈！（汇编中看不到，程序自动完成），保证函数执行之后可以继续回到main函数执行顺序逻辑

而后面的地址00C210E1 正是Add函数所在的地址——现在，开始函数调用了！

6.函数栈帧的创建

和mian函数栈帧的创建不能说是一模一样，只能说是完全一致！

VS2013所有函数栈帧的创建大致都是这个流程（不同编译环境中具体汇编实现会有所不同）

具体流程还是先将栈底指针压栈，然后栈顶指针向上移动分配一定字节空间，然后通过压栈ebx、esi、edi并赋值实现对新申请的内存空间的初始化

7.函数的具体实现

00C213DE是在申请的栈帧中创建z变量

00C213E5 先找到函数栈帧创建前做准备工作时压栈的a的值——作为x，放到寄存器eax中

00C213E8 再找到另一个操作数b，并加在刚才的eax寄存器中得到a和b的和

同时将eax寄存器中存的和给到z变量所在的内存空间中，完成加法操作

形参不是在函数栈帧中创建并申请空间的，而是在申请函数栈帧之前就已经在main函数栈帧中压栈的！！

形参就是实参的一份临时拷贝，因为传参的时候我们重新压栈的函数值与内存空间中原先存入的a和b的地址相互独立

8.函数栈帧的销毁——返回

 防止函数栈帧销毁后z的值消失，将要返回的值存到eax寄存器中

接下来三条指令将刚才压栈的三个临时变量弹栈

通过将esp和ebp归位回收内存空间（因为栈底位置不好记录，事先压栈存储，现在弹栈）

ret指令是将栈顶之前存储的下一条main函数中执行指令的地址弹栈并返回到该位置

9.局部变量的销毁

 ret返回00C21450指令后，通过esp指针变化将之前压栈的两个局部变量弹栈

00C21453指令 将eax返回的结果值存在c所在的内存空间，完成加法操作