C语言函数栈帧详解

目录
  • 前言
  • 一.函数栈帧是什么？
  • 二、栈帧准备知识
    • 1.内存分区
    • 2.什么是栈？
  • 三、详解栈帧创建与销毁全过程
    • 调用函数之前：
      • 将传入函数的值放入栈中
    • 函数执行：
      • 1.保护当前ebp
      • 2.创建所需调用函数的栈帧空间
      • 3.保存局部变量
      • 4.参数运算
    • 函数返回：
      • 1.存储返回值
      • 2.销毁空间
      • 3.ebp回上一栈帧栈底
      • 4.销毁形参
      • 5.main函数拿到返回值
  • 总结

前言

在c语言中我们会将一些功能单独写成一个函数，以供主函数调用，在表面来看调用的过程就是写出一个函数后，只需要在调用时中通过函数名将实参传给形参就实现了整个过程，但实际上调用的过程远比你想的复杂，这其中函数栈帧起着关键作用。通过本篇文章，我将告诉你函数在调用时计算机内究竟发生了什么？

一.函数栈帧是什么？

C语言中，每个栈帧对应着一个未运行完的函数。栈帧中保存了该函数的返回地址和局部变量。(来自百度百科）。

通过这句话我们可以提炼出两个关键信息：

1.每个未运行完的函数都有一个对应的栈帧

2.栈帧保存了函数的返回地址和局部变量

先对栈帧有一个简单的概念，知道其主要作用是什么就行。

二、栈帧准备知识

由于函数栈帧不光涉及c语言代码知识，如果是小白一定要认真看本节，这对帮助你理解栈帧非常重要，也不要因为发现这些知识你之前完全没听说过就产生畏难心理，事实上，我们只需要掌握期其中一些非常关键的地方就足够了。

1.内存分区

内存中主要分为栈区，堆区，静态区，以及其他部分。

栈区：由高地址往低地址增长，主要用来存放局部变量，函数调用开辟的空间，与堆共享一段空间。（本篇重点）

堆区：由地地址向高地址增长，动态开辟的空间就在这里（malloc，realloc，calloc，free），与栈共享一段空间。

静态区：主要存放全局变量和静态变量。

2.什么是栈？

前面已经知道栈中存放了函数调用开辟的空间即栈帧，因此我们要明白什么是栈帧，必须先知道什么是栈。

栈是一种数据结构，是一种只能在一端进行插入和删除操作的特殊线性表。它按照先进后出的原则存储数据，先进入的数据被压入栈底，最后的数据在栈顶，需要读数据的时候从栈顶开始弹出数据（最后放入的数据被最先读出来）。

简单来讲你可以把栈理解为一个弹夹，而我们放的数据就像子弹，当我们射子弹时，总是会把后压入的弹先射出去，因为后压入的弹一定是放在最上面的，而先压入的弹后射出去，因为先压入的弹在最下面。这就是栈最大的特点"先入后出，后入先出"，而往栈中放数据我们称作压栈（push），拿出栈中的数据我们叫出栈（pop）。

压栈（push)：

出栈（pop）：

3.esp，ebp，eax寄存器

ebp ebp是基址指针，保存调用者函数的地址，总是指向当前栈帧栈底
esp esp是被调函数指针，总指向函数栈栈顶
eax 累加器，用来乘除法，与函数返回值(本篇主要关注第二个功能）

简单来讲就是esp和ebp是两个指针，ebp指向当前栈帧栈底，esp指向函数栈栈顶。

能看到，ebp并不是指向整个函数栈的栈底，而是指向当前栈帧的栈底，而由于esp总是指向栈顶，且栈只允许一个方向的操作，因此esp指向其实也是当前栈帧的栈顶，不过当前栈帧的栈顶始终与栈顶相同，因此说esp指向的是栈顶。

三、详解栈帧创建与销毁全过程

有了以上知识就能够初步理解栈帧从创建到销毁的全过程了，接下来我会一步一步讲解

假设我们有当前代码：

#include<stdio.h>
int add(int a, int b)
{
	int c = 0;
	c = a + b;
	return c;
}
int main()
{
	int a = 1;
	int b = 1;
	int sum;
	sum = add(a, b);
	return 0;
}

调用函数之前：

此时我们准备执行函数调用"sum = add(a,b);"此时栈中如下:

将传入函数的值放入栈中

由于函数调用涉及到传参，因此我们在调用函数之前，需要先将传入的参数保存，以方便函数的调用，因此需要将add函数的a=1,b=2,push入栈保存

函数执行：

1.保护当前ebp

由于我们马上要创建新的栈帧空间，因此ebp和esp都得将变动，为了能够让我们调用完add函数后还能让ebp回到当前位置我们需要对ebp的值进行保护，即将此时ebp的值压入栈（至于为什么不需要保护esp，看到后面你就能明白）

2.创建所需调用函数的栈帧空间

令ebp指向当前esp的位置并根据add函数的参数个数，创建一个大小合适的空间。

① ebp指向当前esp的位置

②创建空间

3.保存局部变量

将add函数中创建的变量"int c = 0"放入刚刚开辟的栈帧空间中

4.参数运算

根据形参与局部变量，进行对应的运算，这里执行"c = a +b", 得到 c = 2,放入刚才c对应的位置。

到次函数执行就完成了，接下来就要开始实现函数返回

函数返回：

1.存储返回值

现在我们已经达成了目的"add(a,b)",要将之前创建的add的函数栈销毁，以使得我们能够回到main函数中正常执行，而在销毁add的函数栈帧前我们的main函数可还没有拿到运算结果，因此我们需要先将需要返回的值存储起来，存储的位置就是前面提到的eax寄存器，这里"return c",我们将c的值放到eax寄存器中。

2.销毁空间

拿到了运算结果后，我们就没有任何任何顾虑了，可以直接销毁函数的栈桢空间了。

3.ebp回上一栈帧栈底

此时ebp拿到之间存储的上一栈帧栈底的值，回到相应的位置，于此同时，存储的ebp没有用了，也将被销毁。

4.销毁形参

形参也不再有用，因此也随即销毁。（这里也让我们明白：由于形参在调用完函数后就会销毁，且与实参根本不是同一地址，因此形参的改变无法影响实参。）

5.main函数拿到返回值

在讲解main函数怎么拿到返回值前，我想先问一个问题：

上图中所谓的前一栈帧指的是什么？

大家都知道，我们编写的c程序都是从一个main函数开始的，实际上，代码并不是直接从main函数开始运行的，main函数的本质也是一个被其他代码调用的函数，至于被谁调用，这里就不展开讲解了，这里提出这个问题是想要大家知道：

main函数是一个函数，它有自己的栈帧。

因此所谓的前一栈帧实际上就是调用add函数的main函数的栈帧。

因此我们要让main函数拿到返回值，只需要把eax寄存器中的值放入main栈帧中sum对应的位置就行。（这里也能让我们明白：由于我们只有一个eax寄存器，因此c语言的函数只能有一个返回值。）

至此栈帧的创建与销毁结束，函数调用完成。

总结

本篇文章就到这里了，希望能够给你带来帮助，也希望您能够多多关注我们的更多内容！

赞 (0)

相关推荐

  • 详解C语言之函数

    目录 函数的调用 函数调用方式 函数嵌套调用 递归调用 内部函数与外部函数 内部函数 外部函数 局部变量与全局变量 局部变量 全局变量 总结 函数的调用 函数调用方式 函数语句调用 函数表达式调用 函数参数调用 sum(); //函数语句调用 result = average * sum(a); //函数表达式调用 此时函数名出现在表达式中,其返回值将作为表达式的算数参与计算. result = sum(sum1(a)); //函数参数调用 此时函数名出现在另一个函数的参数中,其返回值将作为实参

  • C语言 function recursion函数递归详解

    C语言 function recursion函数递归详解

    目录 function recursion(函数递归) 递归的中心思想为: 程序一 递归的两个必要条件 程序一: 程序二: 练习 求n的阶乘 再来道例题 function recursion(函数递归) 函数递归: 是在 一个 过程 或 函数 在其定义或说明中有 直接 或 间接 调用自身 的一种方法 通常把一个 大型复杂的问题 层层 传化 为一个与 原理相似的 ,规模较小 的问题 递归策略 只需 少量的程序 就可以描述出 解题过程 所需的 多次 重复 计算,大大减少了程序的代码量 递归的中心思想

  • C语言函数指针详解

    目录 Introduction 函数指针 Function Pointers Exercise 1:qsort中的函数指针 Exercise 2: 总结 Introduction 上一个lab的主要内容为__data pointer__(指向数据的指针)可能在Linux系统中造成的__segmentation fault__.本次lab将考虑__function pointer__(指向函数/代码的指针)可能造成的错误:segfault或其他exceptions. 函数指针 Function P

  • C语言内存操作函数详解

    C语言内存操作函数详解

    目录 头文件:#include<memory.h> 2.memmove 3.memcmp 4.memset 总结 头文件:#include<memory.h> 1.memcpy 作用:内存拷贝 函数原型: void *memcpy( void *dest, const void *src, size_t count ); 使用: 使用格式:memcpy(目的地,原,想操作内存大小(单位字节)) 把 "参数2" 起始的 "参数3" 个字节 内容

  • C语言中scanf与scanf_s函数的使用详解

    C语言中scanf与scanf_s函数的使用详解

    目录 1.scanf_s(是vs提供的函数) 2.scanf(标准的库函数) 3.总结 1.scanf_s(是vs提供的函数) a.代码1 int main() { char a = 0; //scanf_s("%c", &a, 1); scanf_s("%c", &a, sizeof(a)); return 0; } scanf_s有三个参数,最后一个是变量a所占据空间的大小(单位为字节),这里可以写1,也可以写sizeof(a).如果a为整型的话

  • 详解C语言初阶之函数

    详解C语言初阶之函数

    目录 1.main函数 2.自定义函数 2.1  函数的的封装和面向过程的思维 3.函数的组成 3.1函数的命名法 3.2函数的返回值 3.2.1void类型 补充: 3.3形参与实参 总结 1.main函数 第一个函数是我们的main函数,它无处不在,main函数被称之为我们的入口函数,程序在运行时,从main函数进入,从main函数出来,main函数其实就是整个程序功能的集合,所有的功能必须被包含在main里面才可以被运行(预处理命令,宏定义,全局变量什么的当然要优先处理,再次不讨论这些).

  • C语言函数栈帧详解

    C语言函数栈帧详解

    目录 前言 一.函数栈帧是什么? 二.栈帧准备知识 1.内存分区 2.什么是栈? 三.详解栈帧创建与销毁全过程 调用函数之前: 将传入函数的值放入栈中 函数执行: 1.保护当前ebp 2.创建所需调用函数的栈帧空间 3.保存局部变量 4.参数运算 函数返回: 1.存储返回值 2.销毁空间 3.ebp回上一栈帧栈底 4.销毁形参 5.main函数拿到返回值 总结 前言 在c语言中我们会将一些功能单独写成一个函数,以供主函数调用,在表面来看调用的过程就是写出一个函数后,只需要在调用时中通过函数名将实

  • c语言函数栈帧的创建和销毁过程详解

    c语言函数栈帧的创建和销毁过程详解

    目录 1 相关知识介绍 1.1 寄存器 1.2 函数栈帧概述 2 栈帧创建与销毁过程 1 相关知识介绍 1.1 寄存器 一般计算机内通用寄存器包括eax,ebx,ecx,edx,esi,edi,esp,edp,其中esp,ebp这两个寄存器是用来存放地址的,这两个地址就是用来维护函数栈帧的 1.2 函数栈帧概述 我们知道c语言中函数都是被调用的,main函数里面能调用其他函数,其实main函数也是被别的函数调用的.main函数是在 _tmainCRTSartup 函数中被调用的,_tmainCR

  • C语言函数栈帧的创建和销毁介绍

    C语言函数栈帧的创建和销毁介绍

    在初学c语言中,很多时候要记的内容有点多,有时候并不能深入的了解它.关于函数的栈帧可以帮助我们深入了解函数传参的过程,让我们了解c语言. 以下是我们平时接触过,但不了解的问题: 1.为什么局部变量在未赋值前是随机的. 2.局部变量创建的过程. 3.函数传参,传参的顺序问题. 4.形参与实参的关系什么. 5.调用函数是怎么调用的,调用的过程是什么. 6.调用函数结束后,是怎样返回的. 这些问题我们在学校可能并不会接触,也不会出现在考试的试卷上,但是作为计算机专业的学生,做一些认识和了解是很有必要的

  • C语言函数栈帧的创建与销毁原理图解

    C语言函数栈帧的创建与销毁原理图解

    目录 什么是函数栈帧 什么是栈? 与函数栈帧有关的汇编语句 函数如何创建栈帧并销毁 main函数栈帧开辟 调用Add函数 返回主函数 什么是函数栈帧 我们在写C语言代码的时候,经常会把一个独立的功能抽象为函数,所以C程序是以函数为基本单位的. 那函数是如何调用的?函数的返回值又是如何待会的?函数参数是如何传递的?这些问题都和函数栈帧有关系. 函数栈帧(stack frame)就是函数调用过程中在程序的调用栈(call stack)所开辟的空间,这些空间是用来存放: 函数参数和函数返回值 临时变量

  • C语言函数栈帧的创建和销毁详解

    C语言函数栈帧的创建和销毁详解

    目录 写在前面 Add函数的调用 函数传参 Add函数栈帧的创建 Add函数栈帧的销毁 main函数栈帧的销毁 总结 写在前面 我们知道,每一次函数调用都需要在栈区上为其开辟一块空间,这块空间就叫做这个函数的栈帧. 而栈是从高地址向低地址延伸的.每个函数的每次调用,都有它自己独立的一个栈帧,这个栈帧中维持着所需要的各种信息.寄存器ebp指向当前的栈帧的底部(高地址),寄存器esp指向当前的栈帧的顶部(低地址). 这样我们就了解了寄存器ebp和寄存器esp中存放的是地址,这两个地址是用来维护函数栈

  • C语言函数栈帧的创建与销毁详解

    C语言函数栈帧的创建与销毁详解

    目录 前言 一.函数栈帧是什么? 1.寄存器 2.ebp与esp 二.函数栈帧的创建 1.代码块 2.调用堆栈 3.esp与ebp如何维护栈帧 总结 前言 大家在学习的时候一定有以下困惑: 局部变量是怎么创建的?为什么局部变量的值是随机值?函数是怎么传参?传参的顺序是怎样的?形参与实参是什么关系?函数调用是怎么做到的?函数调用完成不是销毁了吗,如何带回的返回值? 以上这些都可以通过了解函数栈帧的创建与销毁来理解.接下来我就带大家来了解函数栈帧的创建与销毁. 本次使用的编辑器是VS2013,因为越

  • C语言函数栈帧解析

    C语言函数栈帧解析

    目录 一.什么是函数栈帧 1.寄存器: 2.函数栈帧 3.栈帧的作用和维护 4.栈帧结构 二.函数栈帧的创建 1.汇编代码 2.main函数 2.栈帧创建: 3.步骤 4.ADD函数栈帧的创建 三.函数栈帧的销毁 1.汇编语言 四.了解 1.函数传参 2.函数返回值如何返回 3.函数中变量如何初始化和赋值 总结 一.什么是函数栈帧 1.寄存器: eax, ebx, ecx ... ebp - 存放了指向函数栈帧栈底的地址 esp - 存放了指向函数栈帧栈顶的地址 2.函数栈帧 函数被调用时,系统

  • C语言中函数栈帧的创建和销毁的深层分析

    C语言中函数栈帧的创建和销毁的深层分析

    目录 一.本文目标 二.基础知识 1.寄存器 2.代码案例 3.总体栈帧概况 4.所需反汇编代码总览 三.函数栈帧创建销毁过程 1._tmainCRTStartup函数(调用main函数)栈帧的创建 2.main函数栈帧的创建 3.main函数内执行有效代码(变量) 4.Add函数栈帧的创建 5.Add函数内执行有效代码 6.Add函数栈帧的销毁 7.main函数栈帧的销毁 四.总结 一.本文目标 1.局部变量是怎么创建的? 2.为什么局部变量的值是随机值? 3.函数是怎么传参的?传参的顺序是怎

  • C语言超详细讲解函数栈帧的创建和销毁

    C语言超详细讲解函数栈帧的创建和销毁

    目录 1.本节目标 2.相关寄存器 3.相关汇编指令 4.什么是函数栈帧 5.什么是调用堆栈 6.函数栈帧的创建和销毁 (1).main函数栈帧的创建与初始化 (2).main函数的核心代码 (3).Add函数的调用过程 (4).Add函数栈帧的销毁 (5).调用完成 7.对开篇问题的解答 1.本节目标 C语言绝命七连问,你能回答出几个? 局部变量是如何创建的?为什么局部变量不初始化其内容是随机的?有些时候屏幕上输出的"烫烫烫"是怎么来的?函数调用时参数时如何传递的?传参的顺序是怎样的

  • C语言详尽图解函数栈帧的创建和销毁实现

    C语言详尽图解函数栈帧的创建和销毁实现

    目录 常见寄存器 基本的汇编语言知识 具体实现 关于栈帧创建与销毁的问答题 注:本文章所使用的编译器是VS2010,由于不同编译器的函数栈帧与销毁略有差异,所以具体细节请读者自行实践! 常见寄存器 寄存器有:eax.ebx.ecx.edx.edi.esi.ebp.esp 其中 ebp 和 esp 是用来维护函数栈帧的,他们里面存放的是地址. 他们维护的是某个正在被调用的函数.通常我们又称 ebp 为栈底指针,称 esp 为栈顶指针 基本的汇编语言知识 push:压栈 pop:出栈 mov:若有变

随机推荐