程序员内功心法之函数栈帧的创建和销毁

简介: 程序员内功心法之函数栈帧的创建和销毁

1、本节目标

C语言绝命七连问,你能回答出几个?

  1. 局部变量是如何创建的?
  2. 为什么局部变量不初始化其内容是随机的?
  3. 有些时候屏幕上输出的"烫烫烫"是怎么来的?
  4. 函数调用时参数时如何传递的?传参的顺序是怎样的?
  5. 函数的形参和实参的关系是什么?
  6. 函数的返回值是如何带回的?
  7. 函数是怎样在栈区上开辟和释放空间的?

想要对上面的这六个问题做出准确深入的回答,我们需要学习函数栈帧的创建和销毁相关知识,在正式进入函数栈帧之前,我们需要了解一些相关的寄存器和汇编指令

2、相关寄存器

  • eax:通用寄存器,保留临时数据,常用于返回值。
  • ebx:通用寄存器,保留临时数据。
  • ebp:栈底寄存器,用来记录栈底的地址。
  • esp:栈顶寄存器,用来记录栈顶的地址。
  • eip:指令寄存器,保存当前指令的下一条指令的地址。

3、相关汇编指令

mov:数据转移指令。

sub:减法命令。

add:加法命令。

push:数据入栈,同时esp栈顶寄存器也要发生改变。

pop:数据弹出至指定位置,同时esp栈顶寄存器也要发生改变。

call:函数调用,1. 压入返回地址 2. 转入目标函数。

jump:通过修改eip,转入目标函数,进行调用。

lea:传递地址指令,用于加载有效地址。

ret:恢复返回地址,压入eip,类似pop eip命令。

4、什么是函数栈帧

函数栈帧(stack frame)就是函数调用过程中在程序的调用栈(call stack)所开辟的空间,这些空间是用来存放:

  • 函数参数和函数返回值。
  • 临时变量(包括函数的非静态的局部变量以及编译器自动生产的其他临时变量)。
  • 保存上下文信息(包括在函数调用前后需要保持不变的寄存器)。

同时,每一次函数调用,编译器都会为该函数分配一块空间,而这块空间就被称为这个函数的函数栈帧;并且,这块空间是由两个寄存器来维护的:esp寄存器(记录栈顶的地址)和ebp寄存器(记录栈底的地址)。

2020062310470442.png

5、什么是调用堆栈

函数调用堆栈是反馈函数调用逻辑的。我们以main函数的调用为例:

2020062310470442.png

6、函数栈帧的创建和销毁

我们以一段程序为例讲解函数栈帧:(注意: 函数栈帧的创建和销毁过程,在不同的编译器上实现的方法和细节会有所差异,一般来说,越新的编译器对函数栈帧的封装就越严密,本次演示以VS2019为例。)

演示代码

#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", ret);
  return 0;
}

(1)、main函数栈帧的创建与初始化

2020062310470442.png

20200623104134875.png

20200623104650275.png

(2)、main函数的核心代码

2020062310470442.png

20200623104134875.png

20200623104650275.png

(3)、Add函数的调用过程

2020062310470442.png

代码执行到Add函数的时候,就要开始创建Add函数的栈帧空间了。

在Add函数中创建栈帧的方法和在main函数中是相似的,在栈帧空间的大小上略有差异而已。

1. 将main函数的 ebp 压栈。

2. 计算新的 ebp 和 esp。

3. 将 ebx , esi , edi 寄存器的值保存。

4. 计算求和,在计算求和的时候,我们是通过 ebp 中的地址进行偏移访问 到了函数调用前压栈进去的参数,这就是形参访问。

5. 将求出的和放在 eax 寄存器中准备带回。

2020062310470442.png

20200623104134875.png

(4)、Add函数栈帧的销毁

2020062310470442.png

20200623104134875.png

20200623104650275.png

(5)、调用完成

调用完Add函数,回到main函数的时候,继续往下执行,可以看到:

2020062310470442.png

add esp,8: esp直接+8,相当于pop了main函数之前压栈的a’和b’。


mov dword ptr [ebp-20h] eax:将eax中的值存放到ebp-0x20的地址处,其实就是存储到main函数中ret变量中,而此时eax中就是Add函数中计算的x和y的和,可以看出来,本次函数的返回值是由eax寄存器带回来的。程序是在函数调用返回之后,在eax中去读取返回值的。

7、对开篇问题的解答

当我们完整的了解了函数栈帧创建和销毁的过程后,我们就可以回答开篇提到的问题了:

局部变量是如何创建的?

局部变量的创建是当局部变量所在的函数的栈帧创建完成并初始化后,在该栈帧内为局部变量分配空间的。


为什么局部变量不初始化其内容是随机的?

因为函数栈帧在创建完成之后,编译器会把该栈帧空间的内容全部初始化为一个值,而这个值是随机的,且在不同编译器下该值可能是不同的。(VS下该随机值为0xcc cc cc cc)


有些时候屏幕上输出的"烫烫烫"是怎么来的?

函数的栈帧创建之后,其空间中的每一个字节都被初始化为一个随机值,如果这个随机值为 0xcc (比如VS下),且如果我们定义的是一个未初始化的数组,而这个数组恰好在这块空间上创建,那么打印此数组的内容时屏幕上输出的就是烫烫烫 。(因为0xCCCC(两个连续排列的0xCC)的汉字编码是“烫”)


函数调用时参数时如何传递的?传参的顺序是怎样的?

我们在调用目标函数之前,就会在本函数的栈顶上从右向左依次压入需要传递的参数,然后再创建好被调函数的栈帧后通过栈底寄存器的偏移量来访问形参,所以被调函数的形参不是在被调函数的栈帧空间中创建的,而是在调用函数的栈帧中创建的,且传参的顺序是从右至左。


函数的形参和实参的关系是什么?

形参是实参的一份临时拷贝,二者虽处于同一个函数的栈帧空间内,但存储位置不同,形参的改变不会影响实参。


函数的返回值是如何带回的?

函数的返回值通过eax寄存器带回。


函数是怎样在栈区上开辟和释放空间的?

函数通过改变esp和edp的指向来创建和销毁空间 (即形成函数栈帧),空间销毁并不会清除该空间中的数据,下一次使用该空间时新数据直接覆盖原数据即可。


相关文章
|
存储 编译器 C++
C++初阶之一篇文章让你掌握string类(了解和使用)
1.我们为什么要学习string类 学习 string 类是在 C++ 中非常重要的一步,string 类是 C++ 标准库提供的用于处理字符串的类,它相比 C 语言中的字符串处理函数更为高级、灵活和安全。以下是学习 string 类的一些重要理由:
|
算法
MATLAB求解线性方程组的八种方法
求解线性方程分为两种方法--直接法和迭代法 常见的方法一共有8种 直接法 Gauss消去法 Cholesky分解法 迭代法 Jacobi迭代法 Gauss-Seidel迭代法 超松弛迭代法 共轭梯度法 Bicg迭代法 Bicgstab迭代法
862 0
|
Linux
Linux制作deb格式安装包教程
Linux制作deb格式安装包教程
1133 0
|
算法 搜索推荐 开发者
解锁Python代码的速度之谜:性能瓶颈分析与优化实践
探索Python性能优化,关注解释器开销、GIL、数据结构选择及I/O操作。使用cProfile和line_profiler定位瓶颈,通过Cython减少解释器影响,多进程避开GIL,优化算法与数据结构,以及借助asyncio提升I/O效率。通过精准优化,Python可应对高性能计算挑战。【6月更文挑战第15天】
1924 1
|
存储 缓存 算法
详解JVM内存优化技术:压缩指针
详解JVM内存优化技术:压缩指针
|
JavaScript 前端开发 测试技术
建立google Test
建立google Test
70 0
|
机器学习/深度学习 SQL
SQL Server提示:安装程序无法与下载服务器联系。请提供 Microsoft机器学习服务器安装文件的位置。。。。
今天在安装SQL Server的过程中,出现问题:安装程序无法与下载服务器联系。请提供 Microsoft机器学习服务器安装文件的位,然后单击“下一步”,可从以下位置下载安装文件。
SQL Server提示:安装程序无法与下载服务器联系。请提供 Microsoft机器学习服务器安装文件的位置。。。。
|
编解码 Oracle 关系型数据库
【VNC】修改VNC分辨率大小
【VNC】修改VNC分辨率大小 VNC的分辨率过小有可能导致图形化界面操作过程中遇到“确认键或取消键”无法点击,分辨率过高又可能导致低分辨率客户端显示器无法显示。
23953 1
|
开发工具 git
git revert 多条已提交的记录
我需要撤销最后的四个提交 如果用git revert 一个一个revert 挺费劲,可以用git revert OLDER_COMMIT^..NEWER_COMMIT 这种格式,对应我的工程就是 $ git revert 54b23c2251acde.
5845 0
|
Android开发
Android应用实现开机自启动的一种较好的方式
Android应用实现开机自启动的一种较好的方式