c語言函數(shù)棧幀的創(chuàng)建和銷毀過程詳解

更新時間：2021年08月11日 11:22:15 作者：weixin_52134286

我們知道c語言中函數(shù)都是被調(diào)用的，main函數(shù)里面能調(diào)用其他函數(shù)，其實main函數(shù)也是被別的函數(shù)調(diào)用的，下面通過本文給大家分享c語言函數(shù)棧幀的創(chuàng)建和銷毀過程，一起看看吧

1 相關(guān)知識介紹

1.1 寄存器

一般計算機內(nèi)通用寄存器包括eax，ebx，ecx，edx，esi，edi，esp，edp，其中esp，ebp這兩個寄存器是用來存放地址的，這兩個地址就是用來維護函數(shù)棧幀的

1.2 函數(shù)棧幀概述

我們知道c語言中函數(shù)都是被調(diào)用的，main函數(shù)里面能調(diào)用其他函數(shù)，其實main函數(shù)也是被別的函數(shù)調(diào)用的。main函數(shù)是在 _tmainCRTSartup 函數(shù)中被調(diào)用的，_tmainCRTSartup函數(shù)又是在mainCRTSartup函數(shù)中被調(diào)用。
每一次函數(shù)調(diào)用都是一個函數(shù)調(diào)用過程，這個過程要為函數(shù)開辟棧空間，用于本次函數(shù)的調(diào)用中臨時變量的保存、現(xiàn)場保護，也叫函數(shù)棧幀。棧幀也叫過程活動記錄，是編譯器用來實現(xiàn)過程/函數(shù)調(diào)用的一種數(shù)據(jù)結(jié)構(gòu)。

push 壓棧：給棧頂放上一個元素
pop 出棧：從棧頂刪除一個元素

函數(shù)棧幀結(jié)構(gòu)如下：
其中esp為棧頂指針，ebp為棧底指針，他們共同來維護函數(shù)棧幀。

在這里插入圖片描述

2 棧幀創(chuàng)建與銷毀過程

為了描述函數(shù)棧幀的創(chuàng)建和銷毀我們以一個簡單程序為例

#define _CRT_SECURE_NO_WARNINGS 1

#include <stdio.h>

int add(int x, int y)
{
	int z = 0;
	z = x + y;
	return z;
}
int main()
{
	int a = 20;
	int b = 10;
	int c = 0;
	c = add(a, b);
	printf("%d\n", c);
	return 0;
}

當進入main函數(shù)前，esp，ebp在如下位置

在這里插入圖片描述

我們此時可以進入調(diào)試模式然后進入反匯編模式看下匯編代碼從而觀察main函數(shù)棧幀的創(chuàng)建

在這里插入圖片描述

這里是將ebp壓棧（用來記錄上一個ebp方便函數(shù)銷毀時找到上一個函數(shù)的位置），然后將esp的值傳給ebp，在將esp的內(nèi)容減去0E4h，從而為main函數(shù)創(chuàng)建了一個棧幀，并且將ebx，sei，edi的值進行壓棧。效果如下

在這里插入圖片描述

這里是將ebp-0E4h的值加載到edi里面，然后將39h放到ecx寄存器里，再將0CCCCCCCCh放到eax寄存器里，最后將edi這個地址下面的39h個字節(jié)數(shù)據(jù)的值全部置為CCCCCCCC.

在這里插入圖片描述

這段匯編代碼時將14h賦值到ebp-8的空間里面，將0Ah賦值到ebp-14h的空間里面，將0賦值到ebp-20h的空間里面.

在這里插入圖片描述

然后進入c = add(a,b)語句，首先將ebp-14h的值放到eax寄存器中在將eax的值進行壓棧操作，再將ebp-8的值放到ecx寄存器中在將ecx的值進行壓棧操作。

下面圖片中綠色框里eax應該是10，ecx是20，畫圖時寫反了實在是抱歉

在這里插入圖片描述

這里是跳轉(zhuǎn)到add函數(shù)，并將下一條語句的地址壓入棧內(nèi)

在這里插入圖片描述

000E17C0  push        ebp  //記錄上一個ebp內(nèi)容
000E17C1  mov         ebp,esp  //將esp的值賦給ebp
000E17C3  sub         esp,0CCh  //將0CCh賦給esp，為add創(chuàng)建棧幀
000E17C9  push        ebx  
000E17CA  push        esi  
000E17CB  push        edi  
000E17CC  lea         edi,[ebp+FFFFFF34h]  
000E17D2  mov         ecx,33h  
000E17D7  mov         eax,0CCCCCCCCh  
000E17DC  rep stos    dword ptr es:[edi]  
000E17DE  mov         ecx,0EC003h  //與前面類似
000E17E3  call        000E1307  //進入add函數(shù)
     7: 	int z = 0;
000E17E8  mov         dword ptr [ebp-8],0  //將0賦給ebp-8的內(nèi)容
     8: 	z = x + y;
000E17EF  mov         eax,dword ptr [ebp+8] //將a的值賦給eax寄存器
000E17F2  add         eax,dword ptr [ebp+0Ch]  //將b+a的值賦給eax
000E17F5  mov         dword ptr [ebp-8],eax  //將eax的值賦給ebp-8的內(nèi)容里面
     9: 	return z;
000E17F8  mov         eax,dword ptr [ebp-8] //將ebp-8的內(nèi)容里面賦給eax

在這里插入圖片描述