一看就懂的函数栈帧的创建和销毁

本文深入探讨函数栈帧的创建步骤,包括为形参分配空间、保存返回地址、初始化函数栈及返回值处理。通过汇编代码分析,揭示函数调用背后的内存操作和控制流程。

我们从3个角度高度概括总结函数的栈帧和创建前后到底他做了什么

下来小伙伴们可以结合汇编代码经行分析

1.为形参开辟空间。

2.压入下一条指令的地址,压入前一个函数的栈底的地址为的是函数调用结束时让edp能够回到之前函数的栈底。

3.为函数开辟空间esp经行跳跃,并压入其他寄存器的值,再给开辟好的函数栈帧初始化,为内存分配内存和值

4.将返回值压入寄存器,执行ret指令。

C语言函数创建销毁与程序在内存中的执行过程紧密相关。以如下代码为例进行讲解: ```c #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); printf("%d\n", c); return 0; } ``` ### 函数创建 在程序执行时,每个函数在调用时都会在创建,用于保存该函数的局部变量、参数、返回地址等信息。当调用`main`函数时,会为`main`函数创建。在`main`函数中定义局部变量`a`、`b`、`c`,这些变量会被存储在`main`函数中。当调用`Add`函数时,会进行以下操作: - **参数传递**:函数的参数并未在函数创建,而是通过压操作放到`Add`函数底的下面位置。例如,`Add(a, b)`调用时,会将实参`a``b`的值进行压操作,传递给`Add`函数。这里的形参其实是实参的份拷贝,对形参的修改不会影响实参 [^2][^3]。 - **保存返回地址**:记录调用`Add`函数结束后要返回的`main`函数中的位置,以便`Add`函数执行完毕后能回到正确的位置继续执行。 - **创建**:为`Add`函数创建新的,在这个中会保存`Add`函数的局部变量,如`z`。 ### 函数销毁函数执行完毕后,会进行销毁操作。以`Add`函数为例,执行完`return z`语句后: - **恢复寄存器状态**:将寄存器的值恢复到调用`Add`函数之前的状态。 - **释放局部变量空间**:释放`Add`函数中为局部变量分配的空间,如`z`。 - **恢复返回地址**:从中取出之前保存的返回地址,程序跳转到该地址继续执行,也就是回到`main`函数中调用`Add`函数的下条语句继续执行。 - **释放参数空间**:释放之前压的参数所占用的空间。 函数在递归调用时,就是把`Add`函数看成新的`main`函数,不断重复创建工作。如果递归调用太多层,会不断创建新的,最终导致空间耗尽,引发 stack overflow(溢出) [^2]。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值