函数的栈帧与销毁

前言：

1.博主实力有限，博文有什么错误，请指出。万分感谢！

2.因为越高级的编译器，其内部封装性越高。因此本文是在vs2019的基础上以vs2013（其更容易观察函数的栈帧与销毁）的思路进行解释的。

3.其它编译器的观察可能会不同，但其思路应该是一样的，

1.问题（这些问题都可以通过函数的栈帧与销毁解释。）

1.为什么说形参是实参的临时拷贝？
2.为什么函数调用后会被销毁？
3.为什么函数被销毁了，其返回值可以被传回？
4.为什么说未初始化局部变量，其值是随机的？

2…补充：

1.寄存器：CPU内部用来存储数据的小型存储区，用来·暂时·存放参与运算的数据和运算结果，独立于计算机内存。
2.地址也是一种数据类型，如果定义指针变量，其·值·就是其指向变量的首地址，但其本身也是变量，也具有自己的地址。
3.函数和局部变量是存放在栈区。且栈区的规定（乌龟的屁股）是：在存储数据是先用高地址，后用低地址。
4.Push：向栈顶部中存储数据的过程，我们称”压栈“/“入栈”即Push
5.Pop：将栈顶部的数局删去的过程，我们称”出栈“即Pop
6.栈帧：调用函数时，为其开辟的栈空间称谓 ·栈帧·。
6.寄存器的类型有：eax,ebx,ecx,ebp,esp等,本文主要用到·ebp·和·esp·；
7.ebp:用于存放函数栈帧的·首地址·（高地址）——栈低指针。 esp：用于存放函数栈帧的·顶部地址·（低地址）——栈顶指针。 这2个寄存器是用来维护函数栈帧的。
8.push或者pop都会自动使esp改变，指向新的栈顶。。
9.word是2字节的意思， dword：4字节意思

函数栈帧与销毁

1.序章

1.程序

2.调用main函数的函数

我们发现在调试的调用堆栈中，main()已经被栈帧了，说明其被调用了。但是在vs2019版我们是看不到这个main函数被调用的过程。（2019版的vs封装性太好了。）但是通过vs2013，main函数被_tmainCRTStrarup()函数调用，__tmainCRTStrarup()又被mainCRTStrarup()调用。因此在内存中三者关系。

既然知道main函数会被调用，那么说明此时寄存器ebp和esp在维护这个函数_tmainCRTStrarup()。

main函数的栈帧创建与销毁

观察汇编代码我们知道：在执行main函数时会执行这些汇编语言

分析：

一.main函数栈帧的创建

1.push（压栈），将ebp中的值（tmainCRTStrarup的栈低地址）压入栈中。同时esp自动指向新的栈顶（此时X86下（32位）地址的大小是4），即esp+4
2.mov(将后值放到前值):将esp的值(tmainCRTStrarup的栈顶地址)放到ebp中。此时esp,ebp指向同一地址（栈顶)。
3.sub(前值-后值)将esp的值减去OE4h(228).
4.push ebx,esi,edi,同样道理

二.对main函数栈帧空间进行初始化

1.lea(加载)：将ebp的值–24h（36）放到edi中
2.mov：将9放到ecx
3.mov：将0xCCCCCCCCh放到eax中
4.rep stos：将从edi开始的地址，向下9次，每次将4字节（word为2字节，dward 4字节）的内存全部赋值为0xCCCCCCCCh

三.对程序变量进行存储

1.将0Ah(10)放到ebp-8的位置。
2.将14h放到ebp-14h的位置。
3.将0放到ebp-20h的位置。

四.对Add函数形参开辟内存

1.在执行Add函数前，会先对参数压栈。
2.将ebp-14h位置的值(即b的值)，放到eax中。
3.push eax
4.ebp-8位置的值（即a的值），放到ecx中
5.push ecx
6.call：将下一条指令add的地址进行push

五.开始调用Add函数

1.进入Add函数的栈帧创建

六.调用结束，执行call的下条指令

1.add：将esp加8（实际是销毁为形参开辟的内存）
2.mov：将eax的值赋值给[ebp-20h]即变量c。

七，执行输出语句

printf语句对应得汇编语言博主目前不会，后期会补上。

八.main函数栈帧的销毁

同Add函数销毁原理相同，销毁后esp，ebp维护_tmainCRTStrarup()函数。

Add函数的栈帧创建与销毁

分析：

一.Add函数栈帧的创建

1.push ：将ebp的值(main函数的栈低)进行压栈
2.mov：将esp的值赋值给ebp
3.sub：对esp的值减去0CCh（即改变其指向）
4.push ebx，esi，edi 进行压栈

二.对Add函数的栈帧初始化

1.lea：将ebp-0Ch的值赋值给edi
2.mov:将3赋值给ecx：
3.mov：将0CCCCCCCCCh赋值给eax
4.rep stos：将从edi开始的地址，向下3次，每次将4字节（word为2字节，dward 4字节）的内存全部赋值为0xCCCCCCCCh

三.对程序中的变量进行存储及运算

1.mov： 将0赋值给ebp-8的地址
2.mov ：将ebp+8地址的值（即形参a）赋值给eax
3.add：将ebp+0Ch地址的值（即形参b）加到eax中
4.mov：将eax中的值赋值给位于ebp-8地址即z。
5.mov ：将位于ebp-8地址的值（即z的值）赋值给eax。

四.Add函数栈帧的销毁与返回

1.pop：将栈顶元素弹出，并将栈顶的值放到edi中。
2.pop：将栈顶元素弹出，并将栈顶的值放到esi中。
3.pop：将栈顶元素弹出，并将栈顶的值放到ebx中。
4.mov ：将ebp的值赋值给esp（此时esp，ebp指向同一位置）
5.pop：弹出栈顶元素，并将此时ebp的值（main的栈底）赋值给ebp
6.ret ：回到main函数，并跳到main函数call指令的下一条指令（add指令）。

以gift的形式解释函数栈帧

解释问题

问题：

1.为什么说形参是实参的临时拷贝？
2.为什么函数调用后会被销毁？
3.为什么函数被销毁了，其返回值可以被传回？
4.为什么说未初始化局部变量，其值是随机的？

1.形参在函数调用前进行了压栈，即形参和实参在不同的空间，互不相关，所以对形参的改变是不影响实参的。但是如果形参是地址，通过指针我们可以找到实参的地址，进行想要的改变。函数调用结束后，形参会被销毁，因此说形参是实参的临时拷贝
2.分析Add函数栈帧创建与销毁第四步：当esp=ebp时，这部分为Add函数开辟的空间就被回收了。
3.分析Add函数栈帧创建与销毁第四步：z的值存放在了寄存器eax中。虽然z被销毁了，但其值被eax代保存下来了。在main函数eax的值赋值给了c
4.分析Add函数栈帧创建与销毁第2步：内存给变量申请空间时，其内存已经被提前初始化为0xCCCCCCCCh。所以当我们未初始化定义的变量时，虽然系统为其申请了空间，但其值为0xCCCCCCCCh即随机值

感言：希望本博文对你有帮助！