函数栈帧的创建与销毁

最新推荐文章于 2021-12-02 00:13:03 发布

爱编辑

最新推荐文章于 2021-12-02 00:13:03 发布

阅读量335

点赞数 10

本文链接：https://blog.csdn.net/m0_60117108/article/details/119464170

版权

本文详细解析C语言中函数栈帧的工作原理，包括栈帧的创建、局部变量的初始化、函数传参和调用过程。通过实例代码分析，揭示了局部变量为何会有随机值，以及函数调用后的返回机制。同时，介绍了eax、ebx、ecx等寄存器在函数调用中的作用，特别是ebp和esp寄存器在维护栈帧中的关键角色。

摘要由CSDN通过智能技术生成

前言：

我们在初学C语言的时候可能会有不少的疑问，例如：

局部变量是怎么创建的？
为什么局部变量的值是随机值？
函数是怎么传参的？传参的顺序是怎样的？
形参和实参是什么关系？
函数调用是怎么做？
函数调用结束后怎么返回的?

下面，博主会带领大家一起通过了解函数栈帧，来一一回答上面的问题。

注：博主此次用的编译环境：VS2013-X86-Debug
在不同的编译器下，函数调用过程中栈帧的创建是略有差异的，具体细节取决于编译器的实现。不要使用太高级的编译器，越高级的编译器，越不容易学习和观察。

1.寄存器

要了解函数栈帧的创建，那必然离不开寄存器
寄存器是中央处理器内的组成部分。寄存器是有限存贮容量的高速存贮部件，它们可用来暂存指令、数据和位址。在中央处理器的控制部件中，包含的寄存器有指令寄存器 (IR)和程序计数器 (PC)。

本文不必过多深入了解寄存器，只要知道寄存器集成在CPU之中以及通用寄存器即可

寄存器名称	寄存器的功能
eax	(针对操作数和结果数据的)累加器，返回函数结果
ebx	(常存放存储器地址)基址寄存器
ecx	(字符串和循环操作数)计数器
edx	(存放数据)数据寄存器
ebp	(表示堆栈区域中的基地址)基址指针寄存器
esp	(指示堆栈区域的栈顶地址)堆栈指针寄存器
esi	(常保存存储单元地址)源变址寄存器
edi	(常保存存储单元地址)目的变址寄存器

本篇重点在于要掌握ebp和esp 两个寄存器，这两个寄存器中存放的是地址，这两个地址是用来维护函数栈帧的。

2.函数栈帧

2.1什么是栈帧？

栈帧也叫过程活动记录，是编译器用来实现函数调用过程的一种数据结构。
C语言中，每个栈帧对应着一个未运行完的函数。

每一个函数调用，都要在栈区创建一个空间，我们称为帧，所有这个函数里面的内部变量都保存在这个帧里面。

所有的帧都存放在Stack，由于帧是一层层叠加的，所以Stack叫做栈。生成新的帧，叫做“入栈”，英文是push；栈的回收叫做“出栈”，英文是 pop。

栈的特点是，最晚入栈的帧最早出栈。

寄存器ebp指向当前的栈帧的底部（高地址），寄存器esp指向当前的栈帧的顶部（低地址）。
栈区的使用习惯

2.2函数栈帧的创建和销毁

下面的代码是博主对于本次了解函数栈帧的实验对象

#include<stdio.h>
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);
	return 0;
}

2.2.1 观察main函数的函数栈帧的准备

对于main函数的函数栈帧并不是直接就创立的，而是建立在编译器的隐藏条件上的，我们进入调试打开调用堆栈
在这里插入图片描述

从这个调用堆栈里看出main函数也是被调用了的，那么它是被谁调用了呢？

我们往上面翻，最后发现，他是被__tmainCRTStartup()函数调用了，而__tmainCRTStartup()又被mainCRTStartup 函数调用。

在VS2013中，main函数也是被其他函数调用的。

也就是说在main()函数的栈帧被创建出来之前，编译器就已经创建好了__tmainCRTStartup()的函数栈帧，
在这里插入图片描述
然后在这个基础上，在来创建我们的main()函数的函数栈帧
让我们进入代码界面感受一下吧，首先进入调试界面，然后在调试开始处的箭头位置不要动，单击鼠标右键，点击转到反汇编

然后就可以看到这个反汇编语言这个界面：

然后在这个界面再次单击右键，如果显示符号名前面被勾选，那就取消它在这里插入图片描述
因为如果用符号名，不利于我们理解观察
下面是取消符号名和未取消符号名的对比：

我们可以发现，取消符号名之后，我们对于编译器的执行观察得更加清楚明白，看到它是如何将值存在栈里面的，存在栈里哪个位置的，都是一目了然。

2.2.2 main函数的函数栈帧的创建

刚开始的时候，ebp和esp是 __tmainCRTStartup()函数的函数栈帧里，对 __tmainCRTStartup()的函数栈帧进行维护，但是经过图¹的三步走之后，ebp和esp 跑到 __tmainCRTStartup()函数的函数栈帧上面去开辟了main函数的函数栈帧，并对main函数进行维护。
最直观的表现就是他们的地址：
打开监视和内存，让我们直观感受三步走之后的变化。
这是未变化之前的地址：
在这里插入图片描述
ebp:

esp：

走完第一步压栈后：

在这里插入图片描述
我们可以对比前后发现，此时的esp的地址大小减少了4个字节，然后压栈之后，此时 esp存放的值是ebp 的地址

注意：栈的使用习惯是先用高地址，后用低地址，所以这里的存放ebp的地址的时候，是倒着存储的。

走完第二步mov后

mov			ebp,esp
 //就是将esp的值存放在ebp里面

这里大家可能多少看的有点懵，我们还是在内存和监视里面一起来直观感受下。

此时的ebp:
在这里插入图片描述

mov之后：
ebp:

ebp的地址发生了变化，它的地址比之前小，可见它在栈中在向前移，因为是将esp的值mov给ebp，所以ebp这个栈底指针来到了esp这个栈顶指针的位置，那么，既然ebp顶替了esp，那么esp呢？
别急，马上就知道了。

最后一步：sub开辟main空间

sub				esp,0E4h
//sub 就是减法的意思，用esp - 0E4h

这里的esp的地址减去0E4h，这就解释了上面esp的去处，那么esp与ebp之间的空间就是 main函数的函数栈帧
此时的esp:
在这里插入图片描述

示意图：

在这里插入图片描述
然后接下来又是三次push压栈：

又给栈顶压入三个元素，这三个元素我们暂不作讨论，就知道它压入进去就行了

在这里插入图片描述

2.2.3局部变量随机值

压入，三个元素之后，esp又往上走了3步，然后我们再进入到下一步：
在这里插入图片描述

lea -> load effective address//加载有效地址
就是将 [ebp+FFFFFF1Ch]存到edi里面

我们就这样是看不出来它到底加上了多少，但是我们在将它变成在显示符号的情况下，我们就能看到了
在这里插入图片描述
它是一个八进制数：

这样我们就清楚edi里面存放的多少

mov ecx,39h
// 39h->0x00000039
//ecx是计数器寄存器，这里存放0x00000039次
mov eax,0CCCCCCCCh
//将0CCCCCCCCh 存放到累加寄存器eax里
rep stos dword ptr es:[edi]
//意思是从ebp-0E4h及其以下，全部转换成CCCCCCCC