【C语言】——函数栈帧的创建与销毁

2024-05-25 01:44

本文主要是介绍【C语言】——函数栈帧的创建与销毁,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

函数栈帧的创建与销毁

本文主要讲解了函数调用过程中其栈帧的创建与销毁,内容干货较多,希望大家认真品味。

使用C语言进行函数调用时,是否会有很多疑问:
1.局部变量是如何创建的?
2.局部变量在未初始化的情况下,其值为什么会是随机值?
3.函数是如何进行传参的?
4.函数在传参的过程中顺序是怎样的?
5.形参和实参是什么关系?
6.函数调用是如何实现的?
7.函数在调用结束后如何返回的?

这些问题应该都困扰大家许久,本文应该会给大家提供些许思路!

在进行讲解之前,大家应该都会了解C语言的一个关键字register——寄存器: 【关键字】——register在C语言中的使用,寄存器中有eax,ebx,ecx,edx,ebp,esp等。

在函数栈帧中会存在ebp,esp俩个寄存器,这俩个寄存器中存放的是地址,这俩个地址是用来维护函数栈帧的。

每一次的函数调用都会在栈区开创一个空间(包括main函数)。

#include<stdio.h>
int add(int x, int y)
{int z = 0;z = x + y;return z;
}
int main(void)
{int a = 10;int b = 20;int ret = 0;ret = add(a, b);return 0;
}

在这里我们使用vs2022来观察函数栈帧的创建与销毁。

同时,本次调试的环境是X86环境

在这里插入图片描述

  • 将代码转为反汇编

在这里插入图片描述

  • 打开监视、调用堆栈、内存方便观察

在这里插入图片描述

  • 转为反汇编

在这里插入图片描述

在函数调用开始前,我们应该了解到main函数也是被其他函数调用的,这点在vs2022中没有体现

在这里插入图片描述

main函数是被__mainCRTStartup函数调用的,__mainCRTStartup函数是被mainCRTStartup函数调用的。

esp与ebp俩个寄存器是用来维护函数栈帧的俩个寄存器。

在这里插入图片描述
首先执行第一条汇编代码:push ebp

push——压栈,即从栈顶存放一个数据
pop——出栈,即从栈顶拿出一个数据

在这里插入图片描述

此时,将epb的地址存放在__mainCRTStartup函数顶部,移动寄存器esp

在这里插入图片描述

执行下一条汇编代码:move ebp,esp

move——即将后面的值赋给前面

在这里插入图片描述
此时,将esp的地址赋予ebp,二者指向同一地址

在这里插入图片描述
下一个汇编代码:sub sep,0E4h

sub——即submit,将前面的数据减去后面数据
0E4h——E4个字节,即228个字节

在这里插入图片描述
此时,将寄存器esp向上移动228个字节

在这里插入图片描述

下面三条汇编代码:
push ebx
push esi
push edi
即将ebx,esi,edi三个寄存器压栈

在这里插入图片描述

此时,将ebx,esi,edi三个寄存器的地址放入顶部

在这里插入图片描述

下面一条汇编代码:lea edi,[ebp-24h]
lea——load effective address即加载有效地址
将[ebp-24h]的地址加载到edi寄存器上

在这里插入图片描述

此时,处于栈区的edi记录了ebp-24h的地址
在这里插入图片描述
ebp-24h的地址为:0x0095FAEC

在这里插入图片描述

下面一条汇编代码:mov ecx,9
move——将后面的值赋给前面,即将9保存在寄存器ecx中

在这里插入图片描述
该寄存器的地址未保存在栈,这里阐述一下,将寄存器压栈,即保存寄存器的地址,然后改变寄存器内部数据是不影响寄存器在栈地址的保存的,如果了解指针的话,对这里的认知应该会更加清晰的。

在这里插入图片描述
下一条汇编代码:move eax,0CCCCCCCCh
将0CCCCCCCCh移动正在eax寄存器中

在这里插入图片描述
此时,将0CCCCCCCCh移动到寄存器中

在这里插入图片描述
下一条汇编代码:rep stos dword ptr es:[edi]
rep——repeat重复操作
stos——store string 存储字符串
rep stos——重复存储字符串操作
dword——double word双字,即四个字节
ptr——pointer指针
即用指针找到edi上存储的[ebp-24h],将[ebp-24h]下面的9个dword,即9个四个字节的数字初始化为0CCCCCCCCh.

在这里插入图片描述
由于画图面积有限,画出初始化部分0CCCCCCCCh.

在这里插入图片描述
可以在内存窗口看见初始化部分。

在这里插入图片描述
下一条汇编代码:call 00CA1320
call——跳转到子程序的地址
此时,表明已经创建好一个函数,即main函数已经创建完成,通过call一个地址,进入此函数中

在这里插入图片描述
下一条汇编代码:mov dword ptr [ebp-8],0Ah
0Ah——转为十进制为10
通过一个指针找到[ebp-8]的地址,将0Ah的值放入该地址

在这里插入图片描述

此时,在栈区存储局部变量0Ah

在这里插入图片描述
通过地址可以查看到[ebp-8]这个地址的存储值

在这里插入图片描述
下一条汇编代码:mov dword ptr [ebp-14h],14h
14h——转为十进制为20
通过一个指针找到[ebp-14h]的地址,将14h的值放入该地址

在这里插入图片描述
此时,在栈区存储局部变量014h

在这里插入图片描述
通过地址可以查看到[ebp-14h]这个地址的存储值

在这里插入图片描述
下一条汇编代码:mov dword ptr [ebp-20h],0
通过一个指针找到[ebp-20h]的地址,将0的值放入该地址

在这里插入图片描述
此时,在栈区存储局部变量0

在这里插入图片描述

通过地址可以查看到[ebp-20h]这个地址的存储值

在这里插入图片描述

下一条汇编代码:mov eax,dword ptr [ebp-14h]
将[ebp-14h]这个地址保存的【值】保存在eax寄存器中

在这里插入图片描述

此时,寄存器eax中保存[ebp-14h]中的值

在这里插入图片描述
下一条汇编代码:push eax
将寄存器eax的地址压栈

在这里插入图片描述
此次行动可以称为传参。

在这里插入图片描述
可以通过监视器观察到,寄存器中存的是20这个值,而非地址

在这里插入图片描述

下面俩条代码是同样的操作:
mov ecx,dword ptr[ebp-8]
push ecx
将[ebp-8]这个地址里的值保存在ecx寄存器中,利用寄存器将值压栈

在这里插入图片描述

传参过程,即将[ebp-8]的保存的值传到寄存器ecx中

在这里插入图片描述

可以通过监视器观察到,寄存器中存的是10这个值,而非地址

在这里插入图片描述
下一条汇编代码:call 00921023
即跳转到子程序中,此时点击F11,进入add函数内部

在这里插入图片描述

接下来的操作,是创建函数过程,与创建main函数过程相同,本人使用图例演示。

下一条汇编代码:push ebp
在这里插入图片描述

下一条汇编代码:mov ebp,esp

在这里插入图片描述
下一条汇编代码:sub esp,0CCh

在这里插入图片描述

下一条汇编代码: push ebx

在这里插入图片描述

下一条汇编代码: push esi

在这里插入图片描述

下一条汇编代码: push edi

在这里插入图片描述

下一条汇编代码: lea edi,[ebp-0Ch]

在这里插入图片描述

下一条汇编代码: mov ecx,3

在这里插入图片描述

下一条汇编代码: mov eax,0CCCCCCCCh

在这里插入图片描述

下一条汇编代码:rep stos dword ptr es:[edi]

在这里插入图片描述

下一条汇编代码:mov ecx,92C008h

在这里插入图片描述

下一条汇编代码: call 00921320

在这里插入图片描述

在这里插入图片描述

下一条汇编代码:mov dword ptr [ebp-8],0

在这里插入图片描述

在这里插入图片描述

下一条汇编代码:mov eax,dword ptr [ebp+8]

在这里插入图片描述

将[ebp+8]中存储的20放入寄存器中

在这里插入图片描述

下一条汇编代码:add eax,dword ptr [ebp+0Ch]

在这里插入图片描述

将俩个地址的值放在寄存器中相加

在这里插入图片描述

下一条汇编代码:dword ptr [ebp-8],eax

在这里插入图片描述
将寄存器eax中的数值放在[ebp-8]

在这里插入图片描述

下一条汇编代码:eax,dword ptr [ebp-8]

在这里插入图片描述

将z中的数值保存在寄存器中

在这里插入图片描述

下一条汇编代码:pop edi
pop——出栈,即从顶上拿出一个元素

在这里插入图片描述
edi被释放

在这里插入图片描述
下一条汇编代码:pop esi

在这里插入图片描述
esi被释放

在这里插入图片描述

下一条汇编代码:pop ebx

在这里插入图片描述
ebx被释放

在这里插入图片描述

下一条汇编代码:esp,0CCh

在这里插入图片描述

将维护函数的esp向栈底移动
在这里插入图片描述
下一条汇编代码:cmp ebp,esp

cmp——compare比较,功能相当与减法指令,但不保存结果

在这里插入图片描述
下一条汇编代码:call 00461244
即跳转到下一个程序中。

在这里插入图片描述

下一条汇编代码:mov esp,ebp

在这里插入图片描述
释放add函数,将esp与ebp寄存器返回

在这里插入图片描述
下一条汇编代码:pop ebp

在这里插入图片描述

释放存放ebp的地址

在这里插入图片描述

下一条汇编代码:ret

ret——return,返回

在这里插入图片描述
下一条汇编代码:add esp,8

在这里插入图片描述

将esp向下移动8个字节,释放存放局部变量的地方

在这里插入图片描述
下一条汇编代码:mov dword ptr [ebp-20h],eax

在这里插入图片描述
将寄存器eax中存放的30放在[ebp-20h]地址中

在这里插入图片描述

下一条汇编代码:xor eax,eax
xor——XOR指令进行按位逻辑异或操作,将结果存放在目标操作数中1。它可以将一个寄存器的值和一个常量进行异或操作,结果会存储到原寄存器中2。
大家还记得异或操作符吗?——相同为0,相异为1

在这里插入图片描述

那么俩个相同的值进行异或会?哈哈当然会变成0啊!

在这里插入图片描述

下面这些操作是释放main函数,main函数也是被调用的

在这里插入图片描述

  • 今天的内容就到这里啦!希望大家可以提出建议!!!让我多多学习!!

这篇关于【C语言】——函数栈帧的创建与销毁的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1000128

相关文章

使用Python和Pyecharts创建交互式地图

《使用Python和Pyecharts创建交互式地图》在数据可视化领域,创建交互式地图是一种强大的方式,可以使受众能够以引人入胜且信息丰富的方式探索地理数据,下面我们看看如何使用Python和Pyec... 目录简介Pyecharts 简介创建上海地图代码说明运行结果总结简介在数据可视化领域,创建交互式地

C语言中位操作的实际应用举例

《C语言中位操作的实际应用举例》:本文主要介绍C语言中位操作的实际应用,总结了位操作的使用场景,并指出了需要注意的问题,如可读性、平台依赖性和溢出风险,文中通过代码介绍的非常详细,需要的朋友可以参... 目录1. 嵌入式系统与硬件寄存器操作2. 网络协议解析3. 图像处理与颜色编码4. 高效处理布尔标志集合

Go语言开发实现查询IP信息的MCP服务器

《Go语言开发实现查询IP信息的MCP服务器》随着MCP的快速普及和广泛应用,MCP服务器也层出不穷,本文将详细介绍如何在Go语言中使用go-mcp库来开发一个查询IP信息的MCP... 目录前言mcp-ip-geo 服务器目录结构说明查询 IP 信息功能实现工具实现工具管理查询单个 IP 信息工具的实现服

Python的time模块一些常用功能(各种与时间相关的函数)

《Python的time模块一些常用功能(各种与时间相关的函数)》Python的time模块提供了各种与时间相关的函数,包括获取当前时间、处理时间间隔、执行时间测量等,:本文主要介绍Python的... 目录1. 获取当前时间2. 时间格式化3. 延时执行4. 时间戳运算5. 计算代码执行时间6. 转换为指

Python正则表达式语法及re模块中的常用函数详解

《Python正则表达式语法及re模块中的常用函数详解》这篇文章主要给大家介绍了关于Python正则表达式语法及re模块中常用函数的相关资料,正则表达式是一种强大的字符串处理工具,可以用于匹配、切分、... 目录概念、作用和步骤语法re模块中的常用函数总结 概念、作用和步骤概念: 本身也是一个字符串,其中

C 语言中enum枚举的定义和使用小结

《C语言中enum枚举的定义和使用小结》在C语言里,enum(枚举)是一种用户自定义的数据类型,它能够让你创建一组具名的整数常量,下面我会从定义、使用、特性等方面详细介绍enum,感兴趣的朋友一起看... 目录1、引言2、基本定义3、定义枚举变量4、自定义枚举常量的值5、枚举与switch语句结合使用6、枚

shell编程之函数与数组的使用详解

《shell编程之函数与数组的使用详解》:本文主要介绍shell编程之函数与数组的使用,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录shell函数函数的用法俩个数求和系统资源监控并报警函数函数变量的作用范围函数的参数递归函数shell数组获取数组的长度读取某下的

MySQL高级查询之JOIN、子查询、窗口函数实际案例

《MySQL高级查询之JOIN、子查询、窗口函数实际案例》:本文主要介绍MySQL高级查询之JOIN、子查询、窗口函数实际案例的相关资料,JOIN用于多表关联查询,子查询用于数据筛选和过滤,窗口函... 目录前言1. JOIN(连接查询)1.1 内连接(INNER JOIN)1.2 左连接(LEFT JOI

MySQL中FIND_IN_SET函数与INSTR函数用法解析

《MySQL中FIND_IN_SET函数与INSTR函数用法解析》:本文主要介绍MySQL中FIND_IN_SET函数与INSTR函数用法解析,本文通过实例代码给大家介绍的非常详细,感兴趣的朋友一... 目录一、功能定义与语法1、FIND_IN_SET函数2、INSTR函数二、本质区别对比三、实际场景案例分

Go 语言中的select语句详解及工作原理

《Go语言中的select语句详解及工作原理》在Go语言中,select语句是用于处理多个通道(channel)操作的一种控制结构,它类似于switch语句,本文给大家介绍Go语言中的select语... 目录Go 语言中的 select 是做什么的基本功能语法工作原理示例示例 1:监听多个通道示例 2:带