函数调用前后栈和寄存器的变化

先看一张图:
在这里插入图片描述
四种寄存器:
eax(accumulator): 存放函数返回值
ebp(base pointer): 存放执行中的函数对应的栈帧的栈底地址
esp(stack pointer): 存放执行中的函数对应的栈帧的栈顶地址
eip(instruction pointer): 指向当前执行指令的下一条指令

需要了解的是,每个函数调用过程都对应一个栈帧,一个栈帧用esp和ebp两个寄存器表示,ebp表示栈帧的底部,esp表示栈帧的顶部。

以main函数调用foo()为例,首先将函数参数从右到左进栈,将函数返回地址进栈(其实就是当前eip的下一条指令的地址),注意此时加入的东西都还是属于main的栈帧。直到main得到ebp进栈,此时才到了foo()函数的栈帧(main的ebp指针位于foo的栈帧内),同时foo的ebp指向foo栈帧的栈底,foo的eip指向foo()第一条指令的地址(call调用)。最后,若有返回值,则存储在eax寄存器中。

  • 0
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
好的,我会尽力解答你的问题。 在C++中,函数调用帧原理可以简单概括为:每个函数在调用时都会在上分配一段空间,用于保存函数的局部变量、参数、返回地址等信息。这个空间称为帧,也叫活动记录。 下面是一个示例程序,用于说明函数调用帧原理和流程: ```c++ void foo(int a, int b) { int c = a + b; printf("%d\n", c); } int main() { int x = 10, y = 20; foo(x, y); return 0; } ``` 当程序运行到 `main` 函数时,首先会在上分配一段空间,用于保存 `main` 函数的局部变量和参数。在本例中,变量 `x` 和 `y` 就是 `main` 函数的局部变量,它们会被分配到帧的某个位置。同时,因为 `main` 函数调用了 `foo` 函数,所以还需要在上分配一段空间用于保存 `foo` 函数的帧。 具体流程如下: 1. `main` 函数开始执行,将参数 `x` 和 `y` 压入中。 | 帧 | | :--------: | | 参数 y | | 参数 x | | 返回地址 | | 基址指针 | | 变量和参数 | 2. `main` 函数调用 `foo` 函数,将控制权转移到 `foo` 函数。 | 帧 | | :--------: | | 参数 y | | 参数 x | | 返回地址 | | 基址指针 | | 变量和参数 | | 返回地址 | | 基址指针 | | 变量和参数 | 3. `foo` 函数开始执行,将参数 `a` 和 `b` 压入中,并在帧中分配一个变量 `c`。 | 帧 | | :--------: | | 参数 y | | 参数 x | | 返回地址 | | 基址指针 | | 变量和参数 | | 返回地址 | | 基址指针 | | 参数 b | | 参数 a | | 返回地址 | | 基址指针 | | 变量和参数 | | 变量 c | 4. `foo` 函数执行完毕,将返回值 `c` 压入中,并将控制权返回给 `main` 函数。 | 帧 | | :--------: | | 参数 y | | 参数 x | | 返回地址 | | 基址指针 | | 变量和参数 | | 返回地址 | | 基址指针 | | 参数 b | | 参数 a | | 返回地址 | | 基址指针 | | 变量和参数 | | 变量 c | | 返回值 | 5. `main` 函数继续执行,弹出 `foo` 函数的帧,并输出 `foo` 函数的返回值。 | 帧 | | :--------: | | 参数 y | | 参数 x | | 返回地址 | | 基址指针 | | 变量和参数 | | 返回地址 | | 基址指针 | | 变量和参数 | 6. `main` 函数执行完毕,弹出 `main` 函数的帧,程序结束。 在上面的示例程序中,我们可以看到函数调用帧原理和流程。具体寄存器变化因为不同的编译器实现不同,所以无法给出具体的答案。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值