函数栈帧的创建与销毁（最详细的一集）上

前言

1.我们在进行c语言代码编程的时候，常常会把独立的一个功能抽象为函数，利用函数去实现各种的功能，那么，函数是如何调用的？函数的返回值是怎么返回的？参数又是如何传参的？所有这些问题都会跟函数栈帧问题有关。

正片开始：

1.什么是函数栈帧

具体来说，函数栈帧就是在函数调用过程中在程序的调用栈开辟的空间，而这些空间就用来存放：

1.函数参数和函数的返回值

2.临时变量（包括函数的非静态的局部变量一集编译器自动产生的其他临时变量）

3.保存上下文信息（包括函数调用前后需要保持不变的寄存器）

2.理解了函数栈帧后能解决什么问题？

我认为理解这些是一种修炼”内功“的行为，在理解了函数栈帧的创建与销毁后，以下的问题便迎刃而解了

1.局部变量是怎么在栈区中创建的

2.为什么局部变量不出货内容是随机的？

3.函数调用时参数是怎么传递的？传递的顺序是怎么样的？

4函数的实参和形参是怎么分别实例化的

函数栈帧的创建和销毁解析

栈

栈（stack）是现代计算机中最重要的概念之一，每一个程序都用到了栈，没有栈就没有函数，也就没有各种计算机语言，

栈被定义为一种特殊的容器，我们也会在数据结构中学到栈，用户可以将数据压入栈（push），也可以将入栈的数据弹出（pop），但是必须遵守的一个规则是：先入后出,先入栈的数据后出栈（就跟弹匣一样，压入子弹，射出子弹）

在计算机系统中，栈是一个具有以上属性的动态内存区域，程序可以将数据压栈，也可以将数据出栈，压栈会让栈增长，出栈会让栈减小。

在经典的操作系统，栈总是向下增长的（高地址向低地址）

在我们常见的i386或者X86-64下，栈顶是由esp的寄存器进行定位（涉及汇编指令）。

如图

在一个函数的调用过程中，会出现以下的过程，这里举一个简单的例子说明

#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;
}

以上我举了一个简单的加法函数，我们可以用VS（观测函数栈帧使用越低的版本越容易观察）

我们打开VS调试的反汇编，查看相对应的汇编代码

int main()
{
00007FF7C47518D0 push rbp (首先把rbp寄存器压栈)
00007FF7C47518D2 push rdi （push rdi 表示将 rdi 的当前值保存到栈上。这是为了在函数执行期间保护 rdi 的值，以便在后续的代码中使用）
00007FF7C47518D3 sub rsp,148h （减去rsp的空间，表示将栈指针 rsp 的值减去 148h（也可以写作 0x148 或 328），即在栈上分配 328 字节的空间）
00007FF7C47518DA lea rbp,[rsp+20h] （将rsp加上20h的空间，也就是分配“32”字节的偏移量
00007FF7C47518DF lea rcx,[__A7141C24_test@c (07FF7C4761008h)] （加载一个地址到“rcx”寄存器）
00007FF7C47518E6 call __CheckForDebuggerJustMyCode (07FF7C4751370h)
   int a = 1;（调用函数，这里因为编译器优化的原因，在这里就i已经知道 a是下面Add函数的参数，所以Add 函数的调用移到初始化 a 的位置）
00007FF7C47518EB mov dword ptr [a],1 (变量声明初始化a，将常量1存储到a)
   int b = 2;
00007FF7C47518F2 mov dword ptr [b],2 (变量声明初始化b，将常量2存储到b)
   int ret = Add(a, b);
00007FF7C47518F9 mov edx,dword ptr [b] (将变量B存进edx寄存器)
00007FF7C47518FC mov ecx,dword ptr [a]  (将变量A存进ecx寄存器)
00007FF7C47518FF call Add (07FF7C4751348h)  (调用Add函数)
00007FF7C4751904 mov dword ptr [ret],eax
   printf("%d", ret);
00007FF7C4751907 mov edx,dword ptr [ret]
00007FF7C475190A lea rcx,[string "%d" (07FF7C4759C24h)]
00007FF7C4751911 call printf (07FF7C4751195h)(call调用printf函数)
   return 0;
00007FF7C4751916 xor eax,eax
}