c++ | 函数调用时栈使用情况分析(汇编)

int main()
{
	int a = 1;
	int b = 2;
	int c = sum(a , b);

	int d = 2;
	return 0;
}

sum调用前

此时ebp:012FF98C ,esp:012FF890
将b的值入栈,a的值入栈
执行call。执行call的时候，先把下一条指令的地址入栈，再跳转。
对于每一次push操作，%esp储存的地址会-1

sum栈中:

将ebp的值将入栈,还没入,此时ebp的值为0x012FF98C,esp为0x012FF884
入栈后esp再次-1,将esp值给ebp,使ebp指向原栈顶,esp继续偏移到合适位置成为新的栈顶

运行结束

00C41FFE mov esp,ebp
00C42000 pop ebp
00C42001 ret

首先是mov esp,ebp。当前ebp保存的是什么？没错，当前栈帧的栈底地址，所以这一句话的作用就是把esp给放回到调用者栈帧的栈顶。旨在恢复原来栈顶的状态。

pop ebp,对栈顶元素进行出栈，而现在的栈顶(也是栈底)储存的是什么呢?储存就是调用者栈帧的栈底地址
就是把这一地址赋值给ebp（其实这个也可以看作push ebp的逆过程），所以这一句话就是恢复调用者栈帧的栈底。这样一来的话调用者栈帧就基本上是恢复到原来的状态了。

00C42001 ret
我们调用完函数以后，调用者还需要接着向下执行指令，那么调用完函数以后就应该跳转到该函数的下一条指令的地址。这么跳转？还记得我们的call指令吗–先将下一条指令的地址入栈，然后跳转。这里ret的作用就是把哪一个地址给弹出栈，并且跳转到地址对应的语句，再接着执行，这样以来一个函数就完整地运行结束了。

回到main

00C42113 add esp,8
00C42116 mov dword ptr [c],eax

将esp偏移,使栈不包括形参,此时才真正的将栈恢复