【数据结构和算法初阶(C语言)】二叉树铺垫--栈帧的创建与销毁--细节全解

 前言：

• 学习这么久以来，可能有很多疑问：
• 局部变量怎么创建的？
• 为什么局部变量的值是随机的？
• 函数是怎么传参的？传参的顺序是怎么样的？
• 形参和实参是什么样的关系？
• 函数调用是怎么做的？
• 函数调用结束后是怎么返回的？
• 那么本篇博文就来一一讲解一下。
• 环境：vs2021,大家也可以使用更低版本的编译器更容易观察出现象。（推荐vc6.0）在不同的编译器下面，函数调用的过程中栈帧的创建是稍有差异的，大体逻辑是一样的具体差异的细节取决于编译器的实现。（越新的编译器封装的就越复杂，不容易抽离出函数栈帧这个过程）

目录

 前言：

1.铺垫

寄存器

main函数被谁调用

2.正题

结论： 

---

1.铺垫

寄存器

百度百科链接

寄存器中有eax/ebx/ecx/ edx    /ebp/esp

重点是esp/ebp两个寄存器中存放的是地址，这两个地址是用来维护函数栈帧的。

一般吧ebp叫做栈底指针，把esp叫做栈顶指针，栈区的使用习惯是先使用高地址再使用低地址。我们今天测试环境中是rbp,rsp

每一个函数调用都要在栈区上创建或者开辟一块空间。

main函数被谁调用

我们调试调用堆栈

不会调试的可以先看我的这篇文章：vs2021环境调试详细

调用关系

那接下来我们就来看看具体的过程剖析

2.正题

F10运行调试起来，右键来到反汇编，看我们的反汇编代码

刚进入，我们的rbp和rsp在为我们的调用main函数的函数维护栈帧，进入main函数过后

先压入了一个rbp和一个rdi

再讲rsp减148h（这是一个16进制数字）

接着往下：

lea的意思是：load effective address 就是1加载一个地址造rbp中

那么现在的rbp和rsp就维护了main函数维护的这块空间。

main函数的空间开辟好了过后，开始执行main函数中的代码：

往下执行：

edx  存储20

ecx 存储10

然后call调用add函数

先将edx的值放到rsp+10的位置

将ecx的值放到rsp+8的位置

压入rbp和rdi

 return后，将rbp+E8h给rsp,相当于销毁了add的栈帧

将rbp和rid出栈（这里由于我重新启动了一次所以数据不一样，不过还是可以看到rbp和rsp之间相差20.回到了起点，原先的空间被释放了）

结论： 

那到这里我们就已经可以回答了

局部变量是如何创建的：

调用函数的时候在栈上开辟空间过后，在这块空间里给变量分配空间。

为什么局部变量不初始化是随机值？

因为随机值是随机写入的，创建好空间后就会将这块空间的值变为随机值。初始化就将随机值覆盖

函数如何传参：

还没有调用函数的时候，就将这参数的值通过寄存器（ebx,ecx）push到了栈顶,通过指针偏移的方式找到形参。

形参和实参的关系：

形参是在压栈时独立开辟的空间（ebx,ecx），值相同，空间二者各自独立。

函数是如何返回的

调用函数之前，都会调用call指令，会将调用call指令的后一条指令的地址先压入栈，然后将函数调用的上一个函数的rdp也压入栈，函数调用结束返回pop(弹出edp)就得到我们上一个函数的函数栈帧的维护地址，就回到了原始栈帧空间，又有下一条指令的地址，就可以继续运行。返回值通过寄存器eax带回。