C语言—函数栈帧

        函数，一般都有返回值，函数名，参数，再下来还有什么mian函数，函数写出来就是要被调用的，上面图片上的代码，main函数和myadd函数，都要在自己的栈结构什么形成自己的栈，可以帮我们理解局部变量，为什么是临时，栈上开辟空间，栈的地址是向下增长，堆也学了，堆向上增长，每调一个函数，就是形成栈帧的一个过程，返回函数是栈帧被释放的一个过程，释放不是真正的释放，而是让这块空间无效，下一次创建栈帧的时候可以覆盖掉。

        局部变量为什么具有临时性，是因为在对应的函数内栈帧上面创建的，函数被返回时，栈帧结构都被释放了，赖以生存的环境都没有了，所以变量也被释放了。

        今天就来看看栈帧的形成与释放。

        把一个函数的生命周期理解，其他都好理解了，因为从main函数开始都是函数调用，一个函数的生命周期搞定了，整个生命周期都搞定了。

        我直接从myadd开始，就预设main函数有自己的栈帧了，只要myadd理解透了，其他的都搞定了。

        先来了解一下东西寄存器和一些简单的汇编一下命令

 寄存器最重要的就是后三个，ebp、esp，有了这两个寄存器，就可以有效指向一块内存，eip保存着当前指令的下一条指令的地址，本质就是衡量我们指向到了某个位置

 先把代码和图画出来，画出内存分布图，我们栈帧结构主要研究栈区，所以把栈区放大，栈区地址是往小的增的。

       代码启动调试之后一路f10，进来 ，看图片的右上角，出现了几个隐藏的函数，所以main函数也是一个函数。main函数是被谁调用的。

 是被_tmianCRTStartup()调用的，但是它也是函数也谁调用它

它也是被 mainCRTStartup调用，只是做了一下cookie

 mainCRTStartup它也是函数呀，它被谁调用？记住一件事，要被执行，第一步加载到内存，第二步就要开始执行，开始之前永远都是，操作系统来做，调mainCRTStartup，这里就是调用边界了。

所以我先研究add的栈帧，就是那个绿色的方格，只要一个清楚了其他的都清楚了，好，准备工作完成。

我重新画一张图，除了栈，还有cpu和三个寄存器，前面说了

 esp和ebp指向main的起始位置和结束的位置，也就是地址，

 

eip先代表着执行者main的代码 

好前期工作完成 ，启动反汇编，

直接来到这里 ，意思是esp-8个字节定位的位置吧0Ah，放到我们的栈帧当中，一条汇编做了两件事，开辟空间，完成初始化

 看eip寄存器指向的位置，还没有开始执行，

程序从main开始执行，这一步完成之后，ebp-8就是栈底向上偏移8，所以x的位置就在这里，就是下面这样的,ebp-8是这块栈内存里面的一个偏移。x区域的起始地址，在上面位置因为内存排布是有低到高的 ，但是这里的内存是反着的，看地址排布，

起始地址是往上减少的，栈空间就往底地址增长的。 

所以有一点要注意的是的起始地址是在上面

eip的是执行当前main函数的代码

 然后下一条，[ebp-14h]，ebp不变，减14，把y放到栈上

 这一步完成之后，是这样的但是有一个注意的地方就是黑色的线是esp-14的位置，但是内存指向的话应该是指向最最小的内存，起始地址是从小的开始，所以y的起始地址，在上面位置因为内存排布是有低到高的 ，但是这里的内存是反着的，看地址排布，

下一步，f10，把0，放到ebp-20的这个位置，eip指向了1883的地址处，

 执行完之后，然后z也入栈了

 但是会发现一个问题就是y和z是靠着的，x和y是分开的，这是和编译器有关的。因为空间是随机的，所以也有可能是镂空的，应该是防止程序员猜测一些地址。

在接下来。到了，myadd的位置，可以发现一条C语言的指令，可能是有多条汇编指令

 接下来，一个是eax是一个寄存器，还有一个是ebp-14

下面可以看到，ebp-14是y的地址，也是说要将y的里面的值放到eax的寄存器里面

 

 来看一下，这里要把内存窗口打开，当我们按一下f10，到了push这里，push就要进栈，看一下esp的位置，也就是栈顶，

 按一下f10，注意到esp的位置右8c变成了88，减少了4个字节，并且0xB已经在88位置，也发现了一个问题ebp的88已经变成新的栈了，B值已经压到了栈上了

 

 所以，栈顶的位置，由内存图可以看到，是直接压在原来栈顶之上的位置，栈顶的位置也发生了改变，也压进来了。

 相当于，把y的值拿到了寄存器里面，再从寄存器放到下一个位置。好像就是y的一份拷贝

 下一步，这里和上面一样，需要一个寄存器ecx，ebp-8的位置是x的地址，也是把x的值放到ecx里面。

 中途遇到了点问题，重启之后，地址变了。

中途遇到了点问题，重新了调试按一下f10，注意到esp的位置右c8变成了c4，减少了4个字节，也可以看一下ECX的寄存器值是00000A了，放进去寄存器里面了并且0xA已经在c4位置，也发现了一个问题ebp的c4已经变成新的栈了，A值已经压到了栈上了，

  所以，栈顶的位置，由内存图可以看到，是直接压在原来栈顶之上的位置，栈顶的位置也发生了改变，也压进来了。 相当于，把X的值拿到了寄存器里面，再从寄存器放到下一个位置。好像就是X的一份拷贝

 所以下面这四个动作，是做了一个临时拷贝

 

 两个总结：

1.临时变量的形成是在函数正式被调用之前就形成了的

2.形参实例化的顺序是从右到左的

接着下来，到了call了，call的作用就是函数调用，1.压入返回值地址 2.转入目标函数

call调用函数，只需要修改eip的值就可以了，但是调完之后我还要返回，所以要不保存返回值地址，返回到call后面的add，为什么要压入返回值地址：根本原因就是函数掉完，之后需要返回。

看图片，解析,ESP会保存00f110f0de1这个跳转地址，并且把add的地址压栈，压到c0位置

 按f11,发现返回值已经把栈的位置已经压入了，这里的地址压进去了，eip也变成了00f110f0，

 这里要jmp， jmp就是跳转到函数，eip上的地址就是jmp前的地址，jmp后eip的地址就要变成00方18f0，

 jmp后，eip就是00f118f0的地址就是，就是已经进来函数里面了，从现在就正式进来了，可以知道00f118f0就是函数的入口

完成后， eip位置就不再是mian了而是mydd了，已经进到myadd里面了

到这里，就已经完成了函数调用前的准备了， 形参列表初始化，形参列表完成，返回值入栈，eip跳转函数，怎么运行，下面准备开始myadd函数，接下来重点就是前三个。这三个就是栈帧最核心的内容。

第一步， push  ebp是什么意思， ebp是什么？ebp不就是main函数的栈底吗，所以这里要做的就是把main函数的栈底入栈，

按一下f10，看到了把。已经是压进去了，

所以图就变成这个样子了，进去之后，esp的位置一定要改变，

第二步mov ebp，esp，意思就是把esp里面的内容，放到ebp里面去，esp原本是指向是main函数的栈顶，那如果直接放进去不会覆盖原来的吗，那到时候怎么找回来，不用担心，因为ebp的值在刚刚已经入栈了，

按f10 ，看到esp和ebp一样了，所以是是放进去了

 所以，ebp不在执行main函数的栈底，所以栈顶和栈底都指向栈顶

 sub是减的意思， 0CCh，意思是栈顶esp减去0CCh这个空间，然后把结构放到esp，0cch这里这里减多大，是和我自己当前的函数规有关系的，多变量就减的比较大，反之就少。

目前esp是00A2F794，按f10，就变成了00A2F6C84

所以esp减少了，是不是就指向了一段新的空间，ebp不变，变成如下这个样子 

esp减去了一段范围，所以就变成了这个样子了 ，形成了myadd的栈区，esp和ebp也不是main的栈了

 所以回到这张图，main有自己的栈帧，myadd有自己的栈帧

 所以接下来直接到int c = 0这里，中间那些事完成一些初始化的问题，就不看了。

C是myadd里面定义的一个变量，和前面一样， 在ebp-8的地方把c放进去，ebp-8就是以ebp为参照物减去8个字节。

 所以0就进来了

 接下来，下一条指令，就是eax,dword ptr [ebp+8]，是什么意思呢？

 ebp-8就是以ebp为参考减去8个字节向上走，那加就是反着走，所以ebp+8就是刚刚找到a的值，并且放到eax里面，

重点：内存取出来的一定是连续地址最小的哪一个

  add         eax,dword ptr [ebp+0Ch]，就是找到ebp+12的值和eax的想加，那这个位置是谁，刚好是b的值，eax刚好把a的值拿出来，最后两个相加，然后结果放回到eax

重点：内存取出来的一定是连续地址最小的哪一个

 ea寄存器已经是15了，15是16进制，转回10进制就是21.

 所以下面这一步是将eax的值写回到ebp-8的位置上，而前面ebp-8，就是c的位置

 所以执行后是这个样子的

 到此栈帧已经创建结束了，下一步就是return 返回了

经过前面分析知道函数栈帧是自己形成的，但是这里的sub减多少是谁决定的？答案是编译器决定的，只要你定义变量就要有类型，只要知道类型了编译器就知道给你开多大了，所以sizeof是在之前就计算好的了

开始return返回，如何理解return，放回值，都是通过eax和ecx等等这种通用这些寄存器返回的，

 我只看这四条指令，中间那些pop只是配置一些寄存器的和上面的push只是一样的，重点是圈起来这四个

mov    eax,dword ptr [ebp-8]这个很简单，就是把值放到了eax上面 

下面三条才是重点

mov esp， ebp就是把ebp的值放到esp里面，ebp是myadd栈底，所以把myadd的栈底放到esp里面

 相当于esp和ebp都是向了同一个地方，，所以相当于就是把myadd的空间给释放了，所以只需要让esp执行ebp的地方myadd的整个空间就释放了，

 

 

接下来就到了这个了 pop   ebp 把当前栈顶的值弹出去，弹到ebp哪里去，

弹出去后，栈顶就指向了下一个地方了。

 弹出后，栈顶就指向了返回值哪里，代表着什么

 ebp指向原来的main栈底了

 

 

 

ret就是将返回值地址返回到eip，这个返回值地址就是但是call的下一条指令地址，因为和pop一样，所以栈顶也要退回下一个所以变成这个样子

 下图可以发现ret之后栈顶是变大了

 可以分享已经返回到了这里

 

 打×的地方就是栈已经释放了 

 那还有两个怎么办？可以这里 add esp，8，意思是说栈顶的位置向下加8个字节

 就这样就把两个空间给释放了

 

 所以这就回到了main栈帧，main函数了，所以一次完整栈帧创建和释放