C语言之函数栈帧(动图详解)

心已赠人 2024-03-29 14:37 73阅读 0赞

**目录**

1.什么是栈帧

2.相关寄存器和汇编指令

1.相关寄存器

2.部分汇编指令

3.程序介绍

4.过程分析(汇编角度)

1.执行main函数

2.形成Add()函数栈帧

3.执行Add()函数

4.Add函数栈帧释放与返回

5.总结

--------------------

### 1.什么是栈帧 ###

C程序在调用函数时，会先在栈上给函数预先开辟一个足够的空间，后续函数中的内容，如非静态局部变量，返回值等都会保存在这段空间中。这段空间就叫栈帧。

当函数调用时，就会形成栈帧；当函数返回时，栈帧也会被释放。所谓释放，是指将某段空间设置为无效，使得可以被覆盖，而并非清空。

### 2.相关寄存器和汇编指令 ###

本期我们将通过汇编的角度来了解函数调用前后栈帧的形成与释放过程，首先我们先来认识以下一些相关的寄存器和可能用到的汇编命令：

#### 1.相关寄存器 ####

<table style="width:500px;"> 
 <tbody> 
  <tr> 
   <td style="text-align:center;">寄存器名称</td> 
   <td style="text-align:center;">功能</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">eax</td> 
   <td>通用寄存器，保存临时数据，常用于返回值</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">ebx</td> 
   <td>通用寄存器，保存临时数据</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">ebp</td> 
   <td>栈底寄存器</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">esp</td> 
   <td>栈顶寄存器</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">eip</td> 
   <td>指令寄存器，保存当前指令的下一条指令的地址</td> 
  </tr> 
 </tbody> 
</table>

#### 2.部分汇编指令 ####

<table style="width:500px;"> 
 <tbody> 
  <tr> 
   <td style="text-align:center;">助记符</td> 
   <td style="text-align:center;">说明</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">mov</td> 
   <td>数据转移指令</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">push</td> 
   <td>数据入栈，同时esp栈顶寄存器也要发生改变</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">pop</td> 
   <td>数据弹出至指定位置，同时esp栈顶寄存器也要发生改变</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">sub</td> 
   <td>减法指令</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">add</td> 
   <td>加法指令</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">call</td> 
   <td>函数调用，1.压入返回地址 2.转入目标函数</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">jump</td> 
   <td>通过修改eip，转入目标函数，进行调用</td> 
  </tr> 
  <tr> 
   <td style="text-align:center;">ret</td> 
   <td>恢复返回地址，压入eip，类似于pop eip指令</td> 
  </tr> 
 </tbody> 
</table>

### 3.程序介绍 ###

下面就是本文研究的样例代码，是在vs2022下进行编译(不同编译器效果可能略有不同)：

#include<stdio.h>
    
    
    int Add(int x, int y)    //求出两数和并返回
    {
    	int z = 0;
    	z = x + y;
    	return z;
    }
    
    int main()
    {
    	int a = 0xA;       //定义两个变量，用16进制
    	int b = 0xB;
    	int c = 0;
    	c = Add(a, b);     //求和函数
    	printf("%d", c);   //打印结果
    	return 0;
    }

> 我们将分别从执行main函数内容，形成Add函数栈帧，执行Add函数内容，Add函数栈帧释放四个阶段来对Add()函数进行演示。

### 4.过程分析(汇编角度) ###

#### 1.执行main函数 ####

我们使用VS，进入调试，打开内存窗口，寄存器窗口，转到反汇编如下：

![47c0835b15864e0695db4c3b3d78061d.png][]

## ![bd4cba3bd3ef4569b6dc163406d62fb0.png][] ##

这里我们需要知道的是，main函数也是函数，它被\_tmainCRTStartup函数调用，而\_tmainCRTStartup又被mainCRTStartup函数调用，mainCRTStartup函数又是被操作系统所调用的。因此，main函数也会形成栈帧，定义a之前的汇编代码就是用来形成main函数栈帧并进行初始化的，与我们后续要讨论的Add函数的栈帧形成过程相同，这里就不加讨论。我们直接从int a=0xA之后开始分析：

## ![1a39a2a895344098a03a29c92dd3d91d.png][] ##

我们F10运行到int a=0xA所对应的汇编指令，此时eip指向下一条要指向的指令地址，也就是int a所对应的指令:

![02af59011df74e2cac02d5f01038499b.png][]

根据ESP，EBP，我们得出main函数的栈帧在栈上的位置如下(**地址从上到下递增，下同**)：

![ac198439297d41a29b8cb9816d0907a4.png][]

点击F10，执行指令，由于栈是从高地址向低地址增长的，因此在栈底向上8个字节处开辟a的空间并将数据mov进去。此时栈底寄存器不变，ebp-8处内存数据被改为0AH。如下：

![bfd1af071ab1477e9599298982d3a45b.png][]

同时，eip自动指向下一条要执行的指令，与a同理，将b，c变量入栈如下：

![dbfce027b4c04605802af6cf41ad10e3.png][]

具体过程动图如下：

![7c0bfb7447db4b6d9540564f8a30d335.gif][]

> **我们可以发现，变量与变量之间不是连续的**

接下来就要开始执行下一条语句，调用函数并给c赋值，共有7条指令：

![c11b085d422b49e7a38a8116d72ff303.png][]

首先是调用Add()前(即call指令前)的4条指令，我们可以看出前两条指令的作用是先将变量b的值移动到eax寄存器，然后以压栈push的方式压入栈中，此时栈顶向上移动一个b变量大小：

![5cc1a4d8d92547cb9e5a0b79f11b0569.png][]

![464b5fbac59a4b60b75e9aedf23128de.png][]

后两条指令也是如此，将a变量的值拷贝入ecx寄存器，然后压入栈中：

![3517d0e592fb44ddac74cd2af92a4794.png][]

具体过程动图如下：

![4a860645623144c8afa12af68d03ff1c.gif][]

> 这两个临时变量的形成就是我们所说的形参实例化。我们发现形参实例化是在函数正式调用前就形成了(这里指call之前)，形参实例化的顺序是按照参数列表从右向左。同时，我们可以发现，通过压栈形成的变量空间是连续的。

接下来，我们将执行函数调用指令，由于我们是通过跳转指令修改eip寄存器转入目标函数地址，Add函数调用结束后还需返回main函数执行后续内容，因此我们需要将下一条指令的地址先保存起来，然后进行跳转。因此这个指令分为两步：1.将返回地址压入栈中 2.转入目标函数。

![c41606fa1f56440881dc44ce0223f470.png][]

点击F11进入函数，我们可以发现函数返回后的指令地址被压入栈中(即00EE18F7)，然后修改eip进行跳转，转入Add()函数：

![f16082718d1e4cbfa79723d88d6c0bbe.png][]

![1ab77aa550f9463e9875c2786e3d4575.png][]

压栈的具体过程动图如下：

![b89e78b7f0514b1e91a879c1e6777571.gif][]

> 至此，我们进入了Add()函数内部，接下来就要开始准备形成Add()函数的栈帧。

--------------------

#### 2.形成Add()函数栈帧 ####

前3条指令就是栈帧的形成过程，而后面几条是对栈帧的初始化与赋值，我们重点来解析一下前3条指令：

![cda76ba6e7634208b16d1504cb8a130d.png][] 首先是第一条指令，单击F10，将栈底寄存器的内容压入栈中，即把main函数栈底的地址压入栈中：

![b57ee2558ae3486da70dc205da4690c6.png][]

由于是压栈，栈顶向低字节偏移4个字节，保存main函数栈底的地址，具体动图如下：

![26ce35a39db349c09b9feba217bbc312.gif][]

然后是第二条指令，单击F10，将栈顶寄存器的内容移动到栈底寄存器，使得栈顶寄存器和栈底寄存器指向同一个地址空间：

![76d613108acc440598beaa7a5aaf1260.png][]

最后是第三条指令，单击F10，将esp栈顶寄存器的内容减去0CCH，使其向低地址偏移0CC个字节，如下：

![05001c9858924f90b8d611528f924b1a.png][]

第二条指令与第三条指令的具体过程动图如下：

![f82583f4947c423d95e27b811a29d0be.gif][]

> 由此我们便得到的一个大小为0CC个字节的空间，这个空间就是Add()函数的栈帧。eap指向这个栈帧的栈顶，ebp指向这个栈帧的栈底。

--------------------

#### 3.执行Add()函数 ####

我们略过初始化栈帧部分运行到int z=0所对应的指令处:

![0ca9122766dd468c826ca3f196f87439.png][]

点击F10，与前面a，b变量相同，这条指令就是通过mov给z分配空间，将0放入栈底向上8个字节处：

![cda35a70d49e46edb63d5f12acfb7f18.png][]

具体过程动图如下：

![71de6a9b41f84ef692c7d37d358f2d09.gif][]

单击F10，执行z=x+y，这条语句有三条指令，首先把ebp向下偏移8个字节的内容移动到eax寄存器中，然后将ebp向下偏移0CH(12)个字节的内容与eax寄存器中内容相加并存到eax寄存器中，最后将eax寄存器的内容存到ebp向上偏移8个字节处：

![fa72aa4311654a0bb89906b3452ddb67.png][] 我们不难发现，由于压栈得到的地址空间是连续的，而我们的栈底向下的几个空间都是通过压栈得到的。因此ebp+8就为临时变量x的地址，ebp+0CH就是临时变量y的地址。由此，我们就把x和y的值进行相加最后存入ebp-8中，也就是变量z中。

![18d3eff224c94aaeaf8c03a286d9baea.png][]

![c26cf115f273475d884c7689c79d668c.png][] 具体过程动图如下：

![fe55c5bb84f94f31930a1491e05c9ddb.gif][]

最后，执行return z语句，将ebp-8处的内容(即z)放入eax寄存器中：

![f4545b333adc49048b7b0206f8d36700.png][]

![f00f24ef22b7408ab0ad949d5dbf64a8.png][]

具体过程动图如下：

![554f0ac0d90d45df8355f49415938df4.gif][]

> 至此，ADD函数调用完毕，进入最后一步，栈帧释放(销毁)。

#### 4.Add函数栈帧释放与返回 ####

栈帧的销毁我们重点来谈后三条语句，前几条语句对应着前面栈帧创建时的初始化操作，进行设置，我们不做深究 。

![b242cee901f846fdabbcf274621138de.png][]

首先是第一条mov命令，我们单击F10运行，ebp栈底寄存器的值赋给esp栈顶寄存器，此时ebp与esp指向同一个地址空间：

![f6a203f68d014387bde49956e0fc8fb7.png][]

具体动图如下：

![b5571c556e4340b186dfbc8f2455279a.gif][]

> 实际上这时，Add函数的栈帧所在空间就被置为无效了，栈帧就被释放了

接下来就是恢复main函数栈帧的操作了。

我们单击F10，执行下一条pop指令，将栈顶内容弹出并放入ebp栈底寄存器中，同时esp栈顶寄存器的指向发生改变。由于栈顶处内容为main函数栈底地址，因此pop操作完成后ebp就重新指向main栈帧的栈底。

![996c317a7d9f4ffd98348a1169e9e45b.png][]

具体过程动图如下：

![75eeb80421f2454f92b4bc9068e9776b.gif][] 最后，执行ret指令，ret作用是恢复返回地址，压入eip，类似于pop eip指令，即把栈顶元素(保存的指令返回地址)弹出到eip指令寄存器中，改变下一条执行的指令。我们单击F10，发现返回到了main函数，此时eip的内容就是我们之前保存的下一条main函数指令地址，esp栈顶寄存器发生改变：

![d20640e9ddd94e4d8b2ef030bdf4121d.png][]

具体过程动图如下：

![ced44d31707b46818402cc8b82d7679f.gif][]

之后执行main函数中的下一条add指令，将esp栈顶寄存器的值加8并存回esp栈顶寄存器，此时esp向下偏移8个字节，指向原main函数栈顶：

![0e428c7a39a24f8f920bc3c58efb3199.png][]

具体过程动图如下：

![7764a623135a4789a7fe6989733ae970.gif][]

> 至此，main函数的栈帧恢复完毕， Add函数栈帧被释放，Add函数调用过程结束，进入main函数后续内容。

最后，执行mov语句将存在eax寄存器的Add函数返回值赋值给变量c：

![b7a710b8bd8d4da39379113ae1b8798a.png][]

具体过程动图如下：

![c4defcd079284089835c06ce3f3a69dc.gif][]

> 以上就是Add()函数栈帧的创建和释放(销毁)的全过程。后续的printf()也是函数，与Add()函数也会创建函数栈帧，但是总体的步骤都是一样的，这里就不再说明。

--------------------

### 5.总结 ###

> 通过以上分析，我们可以得出几点**结论**：
> 
> 1.函数正式调用(call)前会进行形参实例化，分配存储空间，形参实例化的顺序是从右向左。
> 
> 2.临时空间的开辟，是在对应函数栈帧的内部通过mov命令的方式开辟的。
> 
> 3.函数调用完毕，栈帧结构被释放。
> 
> 4.临时变量具有临时性的本质是：栈帧具有临时性。
> 
> 5.调动函数是有成本的，体现在时间和空间上，本质是形成和释放栈帧有成本。
> 
> 6.函数调用，因拷贝而形成的临时变量，变量和变量之间的位置关系是有规律的。
> 
> 7.函数的栈帧是自己形成的，esp减多少是由编译器决定的。即栈帧的大小是由编译器决定的。编译器有能力知道所有类型对应定义变量的大小。

--------------------

***以上，就是本期的全部内容。***

***制作不易，能否点个赞再走呢qwq***

[47c0835b15864e0695db4c3b3d78061d.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/1c354199069a4b60a252e8c0a918e930.png
[bd4cba3bd3ef4569b6dc163406d62fb0.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/f1d6b18c2cd24eefb4fbd9b77853fbb8.png
[1a39a2a895344098a03a29c92dd3d91d.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/0e855986372d453dbe69554ec9012b32.png
[02af59011df74e2cac02d5f01038499b.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/986aa86dd90d443bb97b2bb443edd06b.png
[ac198439297d41a29b8cb9816d0907a4.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/cec50374e6bf49b4816b42007c6030ac.png
[bfd1af071ab1477e9599298982d3a45b.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/40b490efc2c7467d86fdab570823df2d.png
[dbfce027b4c04605802af6cf41ad10e3.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/acadb88f19594403bbbe4b2190454722.png
[7c0bfb7447db4b6d9540564f8a30d335.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/1fab532192ac48d580019c3e8d38e590.png
[c11b085d422b49e7a38a8116d72ff303.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/8e8069bf32a64352a2b292318eb8b16c.png
[5cc1a4d8d92547cb9e5a0b79f11b0569.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/aab2d6354c1448949c7dd31bd0485edf.png
[464b5fbac59a4b60b75e9aedf23128de.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/58ae24c4868e4fd89b9f4beb96c7294f.png
[3517d0e592fb44ddac74cd2af92a4794.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/47356afb2294430a89f9dbbfbaf5ec5c.png
[4a860645623144c8afa12af68d03ff1c.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/dd65b81c0bbc493db1ea26004c25b4cb.png
[c41606fa1f56440881dc44ce0223f470.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/e3783c44510f473c878686c49d037cb6.png
[f16082718d1e4cbfa79723d88d6c0bbe.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/c32b0a487aed4d2f908de9bd9a2b5024.png
[1ab77aa550f9463e9875c2786e3d4575.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/b1b54ce967c547c9b0cf3a07463f147c.png
[b89e78b7f0514b1e91a879c1e6777571.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/45dd483ca0384951b79147a4a279a855.png
[cda76ba6e7634208b16d1504cb8a130d.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/8c92c8e122394c9b9bae4b302d30a64e.png
[b57ee2558ae3486da70dc205da4690c6.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/f5316bd0cc3f42829fc31a4c38ec5416.png
[26ce35a39db349c09b9feba217bbc312.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/29894e34276142358a2083800d88bff8.png
[76d613108acc440598beaa7a5aaf1260.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/914cc4a5b46746c584794ceca3f3f0d8.png
[05001c9858924f90b8d611528f924b1a.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/224baaeac1a04f2bbcb773c9a30ca143.png
[f82583f4947c423d95e27b811a29d0be.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/103ea7dc43a34785a4a5ba5baa208b67.png
[0ca9122766dd468c826ca3f196f87439.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/8bbcaea25a6c4db0a56e4683a40bce79.png
[cda35a70d49e46edb63d5f12acfb7f18.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/9947f3836dfc4e418545fe22bad1352c.png
[71de6a9b41f84ef692c7d37d358f2d09.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/f5fc0a8ae6fc4050b5793f5be15c23f8.png
[fa72aa4311654a0bb89906b3452ddb67.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/1eddc61d9c734f14bb01da22318d9541.png
[18d3eff224c94aaeaf8c03a286d9baea.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/3ea235249093460594791221d1f5d66a.png
[c26cf115f273475d884c7689c79d668c.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/9797c3417cf6490bae68f23eb7d55d35.png
[fe55c5bb84f94f31930a1491e05c9ddb.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/854168a4b800446c93eb1c19f385b79d.png
[f4545b333adc49048b7b0206f8d36700.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/fb9982bc5bcb4556b79fbb9a17b7298a.png
[f00f24ef22b7408ab0ad949d5dbf64a8.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/80580940aba943619a57134fccd72738.png
[554f0ac0d90d45df8355f49415938df4.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/b67b664fde71405f9d124f4cdb4cd31a.png
[b242cee901f846fdabbcf274621138de.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/a4534f43470b433e939906d89634c7ab.png
[f6a203f68d014387bde49956e0fc8fb7.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/906193d8defd402aac7c8bae48ab00aa.png
[b5571c556e4340b186dfbc8f2455279a.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/fdd90467b26d4040b745f34a50409150.png
[996c317a7d9f4ffd98348a1169e9e45b.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/6fd98e317e2b4e4ebce5fe94e6ac20bb.png
[75eeb80421f2454f92b4bc9068e9776b.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/47eb901624514c588e134979de1d5613.png
[d20640e9ddd94e4d8b2ef030bdf4121d.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/11601e509bd446ba8213ce5dab445d5a.png
[ced44d31707b46818402cc8b82d7679f.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/82ac0b0fb1974cba958a1f5874644a44.png
[0e428c7a39a24f8f920bc3c58efb3199.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/8640b046af864ffc82bfc620e2e4ca8c.png
[7764a623135a4789a7fe6989733ae970.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/72e6febbfc324a51b7ca3bbd3c4c2ab6.png
[b7a710b8bd8d4da39379113ae1b8798a.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/079f59a69dee49c3bf64c00bc0b01d6f.png
[c4defcd079284089835c06ce3f3a69dc.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/a40f360662d04eebb97f5fd54cbc5eea.png