【C语言】/*函数栈帧的创建和销毁*/

2024-05-04 18:20

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

目录

前言

一、知识补充

二、分析创建和销毁的过程

三、前言问题回答


前言

本篇主要讨论以下问题:

1. 编译器什么时候为局部变量分配的空间

2. 为什么局部变量的值是随机的

3. 函数是怎么传参的,传参的顺序是怎样的

4. 形参和实参是什么关系

5. 函数调用是怎么做的

6. 函数调用结束后怎么返回的

一、知识补充

1. 使用的环境是VS2013,因为越高级的编译器越不容易观察细节。

2. 在不同的编译器下,函数调用过程中栈帧的创建略有差异,具体细节取决于编译器。

3. 寄存器ebp(栈底指针)、esp(栈顶指针) 中存放的是地址,这里面的地址是专门用来维护函数栈帧的。

4. 每一次函数调用,都要在栈区创建一个空间,这个空间就叫该函数的函数栈帧,在调用哪个函数寄存器ebp、esp就维护哪块函数栈帧。

5. 栈区的使用习惯,先使用高地址,再使用低地址。

6. main函数其实也是被其它函数调用的,例如再VS2013中,mainCRTStartup函数调用__tmainCRTStartup函数,由__tmainCRTStartup函数调用的main函数。

7. 在研究函数栈帧时看的是汇编代码。

8. 相关寄存器:

    eax:通用寄存器,保留临时数据,常用于返回值

    ebx:通用寄存器,保留临时数据

    ebp:栈底寄存器

    esp:栈顶寄存器

    eip:指令寄存器,保存当前指令的下一条指令的地址

 

二、分析创建和销毁的过程

调试到main函数开始执行的第一行,右击鼠标转到反汇编。

//【研究的源代码】
#include <stdio.h>
int Add(int x, int y)
{int z = 0;z = x + y;return z;
}int main()
{int a = 3;int b = 5;int ret = 0;ret = Add(a, b);printf("%d\n", ret);return 0;
}

  main函数内的汇编代码:

Add函数内的汇编代码:  

 

 栈区内存开辟示意图: 

 

函数栈帧创建和销毁过程的过程简易描述:

在进入被调用函数的第一行后,汇编指令会先将主调函数的栈底指针的地址进行压栈操作,再将esp的值给ebp,esp接着sub一个值,此步结束后相当于初步搭建起了被调函数的函数栈帧。接着会在栈顶压入三个地址,结束后会进行初始化刚刚开辟的函数栈帧空间,里面会初始化一些随机值,然后在函数栈帧中为局部变量开辟空间并存入局部变量初始化的值,在执行过程中如果存在函数调用,且被调用的函数有参数,则会将从右向左参数的值依次压栈入栈顶(为形参开辟空间),接着执行call指令,在执行call指令时会压入call指令下一条指令的地址,接着程序就会跳入被调用函数的汇编代码中,并执行上面打横线的步骤,执行完后如果后面的指令中需要使用形参的值,则会利用指针偏移找到形参所在的位置,函数的返回类型如果不为void那么函数的返回值会存放在寄存器eax中,此步骤结束后会开始进行一系列pop操作,使得寄存器ebp、esp回到维护主调函数栈帧的位置上,程序回到主调函数的汇编代码中是依靠ret指令完成的,回到主调函数的汇编代码后,会根据代码内容继续执行其他的汇编指令。

三、前言问题回答

1. 编译器什么时候为局部变量分配的空间?

答:编译器为被调用函数分配栈帧空间后,会立即为刚刚开辟的空间初始化,然后再为局部变量分配空间并放入代码中局部变量指定的初始化值。

2. 为什么局部变量的值是随机的?

答:因为在为被调用函数分配栈帧空间后,系统会先初始化一次栈帧空间,此时放入初始化的值就是随机的,如果我们在创建局部变量后就为局部变量初始化就能达到覆盖随机值的效果。

3. 函数是怎么传参的,传参的顺序是怎样的?

答:在进入被调函数前就已经把从右向左的实参的值拷贝并push在栈顶了,在需要使用形参的值时通过指针偏移就能找到对应的形参。

4. 形参和实参是什么关系?

答:形参是实参的一份临时拷贝,改变形参不影响实参。

5. 函数调用是怎么做的?

答:略。

6. 函数调用结束后怎么返回的?

答:函数返回与两个指令有关。在执行call指令之前先会把call指令的下一条指令的地址进行压栈操作,这个操作是为了解决当函数调用结束后要回到call指令的下一条指令的地方,继续往后执行;ret指令的执行,首先是从栈顶弹出一个值,此时栈顶的值就是call指令下一条指令的地址,此时esp+4,然后编译器会直接跳转到call指令下一条指令的地址处,从而实现回到主调函数的汇编代码中。

  本篇文章已完结,谢谢支持!!!

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



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

相关文章

hdu1171(母函数或多重背包)

题意:把物品分成两份,使得价值最接近 可以用背包,或者是母函数来解,母函数(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v) 其中指数为价值,每一项的数目为(该物品数+1)个 代码如下: #include<iostream>#include<algorithm>

【Python编程】Linux创建虚拟环境并配置与notebook相连接

1.创建 使用 venv 创建虚拟环境。例如,在当前目录下创建一个名为 myenv 的虚拟环境: python3 -m venv myenv 2.激活 激活虚拟环境使其成为当前终端会话的活动环境。运行: source myenv/bin/activate 3.与notebook连接 在虚拟环境中,使用 pip 安装 Jupyter 和 ipykernel: pip instal

科研绘图系列:R语言扩展物种堆积图(Extended Stacked Barplot)

介绍 R语言的扩展物种堆积图是一种数据可视化工具,它不仅展示了物种的堆积结果,还整合了不同样本分组之间的差异性分析结果。这种图形表示方法能够直观地比较不同物种在各个分组中的显著性差异,为研究者提供了一种有效的数据解读方式。 加载R包 knitr::opts_chunk$set(warning = F, message = F)library(tidyverse)library(phyl

在cscode中通过maven创建java项目

在cscode中创建java项目 可以通过博客完成maven的导入 建立maven项目 使用快捷键 Ctrl + Shift + P 建立一个 Maven 项目 1 Ctrl + Shift + P 打开输入框2 输入 "> java create"3 选择 maven4 选择 No Archetype5 输入 域名6 输入项目名称7 建立一个文件目录存放项目,文件名一般为项目名8 确定

透彻!驯服大型语言模型(LLMs)的五种方法,及具体方法选择思路

引言 随着时间的发展,大型语言模型不再停留在演示阶段而是逐步面向生产系统的应用,随着人们期望的不断增加,目标也发生了巨大的变化。在短短的几个月的时间里,人们对大模型的认识已经从对其zero-shot能力感到惊讶,转变为考虑改进模型质量、提高模型可用性。 「大语言模型(LLMs)其实就是利用高容量的模型架构(例如Transformer)对海量的、多种多样的数据分布进行建模得到,它包含了大量的先验

Java 创建图形用户界面(GUI)入门指南(Swing库 JFrame 类)概述

概述 基本概念 Java Swing 的架构 Java Swing 是一个为 Java 设计的 GUI 工具包,是 JAVA 基础类的一部分,基于 Java AWT 构建,提供了一系列轻量级、可定制的图形用户界面(GUI)组件。 与 AWT 相比,Swing 提供了许多比 AWT 更好的屏幕显示元素,更加灵活和可定制,具有更好的跨平台性能。 组件和容器 Java Swing 提供了许多

顺序表之创建,判满,插入,输出

文章目录 🍊自我介绍🍊创建一个空的顺序表,为结构体在堆区分配空间🍊插入数据🍊输出数据🍊判断顺序表是否满了,满了返回值1,否则返回0🍊main函数 你的点赞评论就是对博主最大的鼓励 当然喜欢的小伙伴可以:点赞+关注+评论+收藏(一键四连)哦~ 🍊自我介绍   Hello,大家好,我是小珑也要变强(也是小珑),我是易编程·终身成长社群的一名“创始团队·嘉宾”

C++操作符重载实例(独立函数)

C++操作符重载实例,我们把坐标值CVector的加法进行重载,计算c3=c1+c2时,也就是计算x3=x1+x2,y3=y1+y2,今天我们以独立函数的方式重载操作符+(加号),以下是C++代码: c1802.cpp源代码: D:\YcjWork\CppTour>vim c1802.cpp #include <iostream>using namespace std;/*** 以独立函数

Maven创建项目中的groupId, artifactId, 和 version的意思

文章目录 groupIdartifactIdversionname groupId 定义:groupId 是 Maven 项目坐标的第一个部分,它通常表示项目的组织或公司的域名反转写法。例如,如果你为公司 example.com 开发软件,groupId 可能是 com.example。作用:groupId 被用来组织和分组相关的 Maven artifacts,这样可以避免

函数式编程思想

我们经常会用到各种各样的编程思想,例如面向过程、面向对象。不过笔者在该博客简单介绍一下函数式编程思想. 如果对函数式编程思想进行概括,就是f(x) = na(x) , y=uf(x)…至于其他的编程思想,可能是y=a(x)+b(x)+c(x)…,也有可能是y=f(x)=f(x)/a + f(x)/b+f(x)/c… 面向过程的指令式编程 面向过程,简单理解就是y=a(x)+b(x)+c(x)