赞
踩
函数调用的压栈模型对于我们学习C语言非常重要,最直观的体现在我们后面要学的函数的递归,函数的递归就充分利用的函数的压栈模型。
当函数从入口函数main函数开始执行时,编译器会将我们操作系统的运行状态,main函数的返回地址、main的参数、main函数中的变量、进行依次压栈;当main函数开始调用fa()函数时,编译器此时会将main函数的运行状态进行压栈,再将fa()函数的返回地址、fa函数的参数、fa定义变量依次压栈;当fa调用fb的时候,编译器此时会将fa函数的运行状态进行压栈,再将fb函数的返回地址、fb函数的参数、fb定义变量依次压栈。
当函数fb运行完成后,fb所有的压栈都会被编译器释放掉,编译器再从栈中接收到fa函数的运行状态后,衔接调用fb函数之前的操作,继续执行,同理,fa执行完后,编译器对main函数的处理也相同。
一个函数可以在栈上分配内存,也可以在堆上分配内存,更可以在全局区域分配内存,因此理解内存从哪里来,对于我们函数参数的传递,变量的调用异常重要。
fb函数在栈上分配的内存,不能被fa和main函数所调用,因为它会在fb函数执行完后被编译器释放掉;而fb函数使用new和malloc在堆上分配的内存或者全局区分配的内存,只要不被程序员自己释放掉,是可以被fa和main函数所调用的。
转自:https://blog.csdn.net/m0_37717595/article/details/80368411
--------------------------------------------------------------------------------------
函数压栈的过程(转 知乎)
例如:
- void func_A(arg_A1, arg_A2);
- void func_B(arg_B1, arg_B2);
-
- int main(int argc, char *argv[], char **envp)
- {
- func_A(arg_A1, arg_A2);
- }
-
- void func_A(arg_A1, arg_A2)
- {
- var_A;
- func_B(arg_B1, arg_B2);
- }
-
- void func_B(arg_B1, arg_B2)
- {
- var_B1;
- var_B2;
- }
在main函数调用func_A的时候,首先在自己的栈帧中压入函数返回地址,然后为func_A创建栈帧并压入系统栈;
在func_A调用func_B的时候,同样先在自己的栈帧中压入函数返回地址,然后为func_B创建新栈帧并压入系统栈;
在func_B返回时,func_B的栈帧被弹出系统栈,func_A栈帧中的返回地址被"露"在栈顶,此时处理器按照这个返回地址重新跳到func_A代码区中执行;
在func_A返回时,func_A的栈帧被弹出系统栈,main函数栈帧中的返回地址被"露"在栈顶,此时处理器按照这个返回地址跳到main函数代码区中执行。
在实际运行中,main函数并不是第一个被调用的函数,程序被装入内存前还有一些其他操作,上图只是栈在函数调用过程中所起作用的示意图。
ESP:栈指针寄存器(extended stack pointer),其内存放着一个指针,该指针永远指向系统栈最上面一个栈帧的栈顶。
EBP:基址指针寄存器(extended base pointer),其内存放着一个指针,该指针永远指向系统栈最上面一个栈顶的底部。
函数栈帧:ESP和EBP之间的内存空间为当前栈帧,EBP标识了当前栈帧的底部,ESP标识了当前栈帧的顶部。
EIP:指令寄存器(extended instruction pointer),其内存放着一个指针,该指针永远指向下一条待执行的指令地址。
函数调用大致包括以下步骤:
1.参数入栈:将参数从右向左依次压入系统栈中;
2.返回地址入栈:将当前代码区调用指令的下一条指令地址压入栈中,供函数返回时继续执行;
3.代码区跳转:处理器从当前代码区跳转到被调用函数的入口处。
4.栈帧调整:具体包括:
保存当前栈帧状态值,已备后面恢复本栈帧时使用(EBP入栈);
将当前栈帧切换到新栈帧。(将ESP值装入EBP,更新栈帧底部)
给新栈帧分配空间。(把ESP减去所需空间的大小,抬高栈顶)
转自:http://www.cnblogs.com/wsw-seu/p/8278547.html
Copyright © 2003-2013 www.wpsshop.cn 版权所有,并保留所有权利。