【c语言技能树】函数的创建与销毁 --函数栈帧

Halo，这里是Ppeua。平时主要更新C语言，C++，数据结构算法......感兴趣就关注我吧！你定不会失望。

🌈个人主页：主页链接

🌈算法专栏：专栏链接

     我会一直往里填充内容哒！

🌈LeetCode专栏：专栏链接 

    目前在刷初级算法的LeetBook 。若每日一题当中有力所能及的题目，也会当天做完发出

🌈代码仓库：Gitee链接

🌈点击关注=收获更多优质内容🌈

 本章内容记录下函数的创建与销毁，也即函数栈帧的内容

目录

0.相关知识

1.基础栈帧模型

2.Main函数的函数栈帧

 3.Main函数代码的运行

4.Add函数的函数栈帧

 5.return->Main函数

 至此,完成了函数的创建与销毁,感谢观看!

 

0.相关知识

以下内容可能乍一看有点费解,但在我讲的过程中再看就很容易理解啦,

eax：通用寄存器，保留临时数据，常用于返回值
ebx：通用寄存器，保留临时数据
ebp：栈底寄存器
esp：栈顶寄存器
eip：指令寄存器，保存当前指令的下一条指令的地址

mov：数据转移指令
push：数据入栈，同时esp栈顶寄存器也要发生改变
pop：数据弹出至指定位置，同时esp栈顶寄存器也要发生改变
sub：减法命令
add：加法命令
call：函数调用，1. 压入返回地址 2. 转入目标函数
jump：通过修改eip，转入目标函数，进行调用
ret：恢复返回地址，压入eip，类似pop eip命令

1.基础栈帧模型

在操作系统中,栈总是自上而下增长的,在x86-64的环境下,栈顶由Esp进行定位.

如图,这是一个基础的栈帧模型

每一次函数的调用,就要为本次函数调用开辟一段空间,这就是函数栈帧空间.

通过esp与ebp来维护这段函数空间,ebp记录的是栈底的位置,而esp则记录栈顶的位置

但需要注意:

esp相对于ebp来说,地址较低.

执行push操作时,esp上移一段,将数据进栈

执行pop操作时,弹出数据到制定位置,同时esp下移一段

现在介绍完了基础知识,我们来看看下面这段代码在编译器中是怎么运行的吧

#include<iostream>
using namespace std;
int add(int x, int y)
{
	int z = 0;
	z = x + y;
	return z;
}
int main()
{
	int a = 1;
	int b = 2;
    int c = 0;
	c = add(1, 2);
	return 0;
}

2.Main函数的函数栈帧

只要你学过c语言就一定知道,代码是从main函数开始运行的.也就是若要创建其他函数的函数栈帧,是从main函数中创建的.

那么谁来创建main的函数栈帧呢?

 我们打开vs2022来看看

发现在调用main函数之前就先调用了invoke_main()这个函数 但我们不深究这个函数,我们只需要知道,main函数也是被其他函数调用产生的就可以了.所以invoke_main也会有自己的函数栈帧.

接下来我们来看看如何初始化Main的函数栈帧,打开反汇编指令

00BE1820 push ebp
00BE1821 mov ebp,esp
00BE1823 sub esp,0E4h
00BE1829 push ebx
00BE182A push esi
00BE182B push edi

第一步 将ebp(维持栈底空间的寄存器)加入栈帧

第二步 将invoke_main函数的esp移动到现在ebp的位置

第三步 将esp减去也就是上移0E4h的空间,也就是十进制下的228,这个操作就使得ebp与esp之间维护了一段栈帧空间

第三步 将ebx esi edi三个寄存器插入到栈帧空间中,同时push操作会使esp继续上移

 

00BE182C lea edi,[ebp-24h]
00BE182F mov ecx,9
00BE1834 mov eax,0CCCCCCCCh
00BE1839 rep stos dword ptr es:[edi]

 上面三步使得栈空间中维护了一段空间,接下来需要将空间初始化.

        在edi中放入ebp-24h的值,也就是ebp的值

        将9放入ecx

        在eax中放入初始化的值0cccccccch

        之后将esp到edi(ebp)之间的值都给上cccccccc

 到此完成了main栈帧的初始化,可以开始运行代码了!(这里也说明为什么数据不初始化直接进行打印会是烫烫烫烫烫 因为这就是操作系统分配的随机值)

 3.Main函数代码的运行

首先看看我们的代码

	int a = 3;
	int b = 5;
    int c = 0;    

这两步对应到汇编代码中就是

00BE183B mov dword ptr [ebp-8],3
00BE1842 mov dword ptr [ebp-14h],5
00BE1849 mov dword ptr [ebp-20h],0

        在ebp-8的位置与ebp-12 ebp-16的位置放上3,5与0

完成对变量abc的初始化(这里也说明局部变量是存在栈上的)

之后开始执行这段代码,涉及到了新函数的开辟.

c = add(a, b);

 首先回忆刚刚Main函数的创建过程.有了一个新的函数我们肯定需要创建一个新的栈帧

00BE1850 mov eax,dword ptr [ebp-14h]
00BE1853 push eax
00BE1854 mov ecx,dword ptr [ebp-8]
00BE1857 push ecx

因为这里用到了a,b这两个变量.

所以我们需要先将a,b拷贝到出来 不然待会要用的时候访问不到.

        将ebp-12的地方的值(b)拷贝出来,放入eax中,将eax进行压栈处理

        将ebp-8的地方的值(a)拷贝出来,放入ecx中,将ecx进行压栈处理

 之后进行调用函数的处理!

00BE1858 call 00BE185D
00BE185D add esp,8

           call 将原本主函数中要执行的下一条指令地址进行压栈,因为现在不是在进行Add函数的创建吗?之后再跳回来的时候能找到下一条指令的地址(也就是add 的这一条指令) 执行完call,我们要正式进入Add的创建

4.Add函数的函数栈帧

与Main函数栈帧创建大致相同,我们再来复习

0BE1760 push ebp 

        记录下main函数的ebp放在什么位置,将其压栈

00BE1761 mov ebp,esp 
00BE1763 sub esp,0CCh 
00BE1769 push ebx 
00BE176A push esi 
00BE176B push edi 

        创建大小为0cch的空间,其余操作与Main函数创建一样就不细讲了

 

00BE176C mov dword ptr [ebp-8],0 
00BE1773 mov eax,dword ptr [ebp+8] 
00BE1776 add eax,dword ptr [ebp+0Ch] 
00BE1779 mov dword ptr [ebp-8],eax 

         之后在ebp-8的位置创建变量z赋值为0

         将刚刚的那两个变量放入到a` b`放入到eax中完成相加

        再将其放入到z中

 

00BE177C mov eax,dword ptr [ebp-8]

        将z的值放入到eax寄存器当中,因为临时变量会被销毁,而存储到寄存器中的值不会被销毁

00BE177F pop edi 
00BE1780 pop esi 
00BE1781 pop ebx  

        最开始有提到过,pop操作就是将其出栈,并将这个元素的值放入到对应的寄存器当中.

00BE1782 mov esp,ebp
00BE1784 pop ebp
00BE1785 ret

        这里是将ebp的值先放到esp中,这样就等于收回了Add函数的栈帧,之后弹出ebp的值,

所以此时ebp又回到了Main函数的位置,

        ret指令就是弹出栈顶刚刚call存入的指令地址,并执行.然后pop

 5.return->Main函数

00BE185D add esp,8
00BE1860 mov dword ptr [ebp-20h],eax

        将esp+8也就是将a` b`弹出栈,之后将eax中的值放回到c中

 至此,完成了函数的创建与销毁,感谢观看!

🌈本篇博客的内容【函数的创建与销毁 --函数栈帧】已经结束。

🌈若对你有些许帮助，可以点赞、关注、评论支持下博主，你的支持将是我前进路上最大的动力。

🌈若以上内容有任何问题，欢迎在评论区指出。若对以上内容有任何不解，都可私信评论询问。

🌈诸君，山顶见！