C++ | 函数的堆栈调用过程

#include<iostream>

int sum(int a, int b)
{
	int tmp = 0;
	tmp = a + b;
	return tmp;
}

int main()
{
	int a = 10;
	int b = 20;
	int ret = sum(a, b);
	std::cout << ret << std::endl;
	return 0;
}

main函数调用sum函数，sum函数执行完以后，怎么知道回到哪个函数？

sum函数执行完，回到main以后，怎么知道从哪一行指令继续运行呢？

下面我们就来看一下函数调用栈的具体过程：

首先，内存会为main函数开辟一块空间来当做main函数的栈帧，其中esp寄存器存放当前函数栈顶的地址，即main函数栈顶的地址，而ebp寄存器存放当前函数栈底的地址，即main函数栈底的地址。

当执行

int a = 10;

会生成 mov dword ptr [a],0Ch 这样一条汇编指令，其中 dword代表双字，就是4个字节，ptr 代表指针，[]里的数据是一个地址，这个地址指向一个双字型数据，所以这条汇编指令的意思是就是将a入栈。同样的，执行完

int b = 20;

会生成汇编指令 mov dword ptr [b],0 也就是将b入栈

接着执行

int ret = sum(a,b);

但是我们知道语句的执行是从右向左指向的，因此这里会先执行sum(a,b)，而这里sum又是一个函数，因此我们会向sum函数的栈帧内压入参数b，a。而sum(a,b)生成的汇编指令是

mov         eax,dword ptr [b]
push        eax
mov         ecx,dword ptr [a]
push        ecx

第一条指令的意思是将b的值放入eax寄存器中，第二条指令的意思是将eax寄存器内的值压入栈中，即将形参b入栈。

第三条指令的意思是将a的值放入ecx寄存器中，第四条指令的意思是将ecx寄存器内的值压入栈中，即将形参a入栈。

这里还要注意，因为我们将两个参数压入了栈内，因此栈顶指针也要进行相应的移动。

接下来会生成call指令，call指令的意思是将这行指令的下一行指令的地址压入栈。这样当执行完sum(s,b)并且推出sum函数以后，系统就可以知道从哪里继续运行了。现在我们先将call指令的后两行指令给大家写出来

add esp,8
mov dword ptr [ret],eax

接下来我们就进入sum函数了

int sum(int a, int b)
{
	int tmp = 0;
	tmp = a + b;
	return tmp;
}

这里需要注意，花括号｛到 int tmp = 0;这行代码之间虽然没有其他任何语句，但是还是会有指令生成。

第一条指令 push ebp的意思是，将ebp的值压入栈，即

此时我们已经sum函数的栈帧，为了区别，我们使用红色来表示sum函数的栈帧。

第二条指令 mov ebp,esp的意思是，将esp的值赋给ebp，也就是说让ebp指向当前esp所指向的位置，也就是当前函数sum的栈底位置。

而第三条指令sub esp,0CCh的意思是给sum函数开辟大小为0CCh大小的栈帧，并且此时esp+=0CCh，即让esp指向当前函数sum的栈顶位置。

注意，如果你使用的是VS编译器，那么系统就会将这块为sum函数新开辟的内存赋值为0xCCCCCCCC，而如果你是用的是gcc或g++则不会进行0xCCCCCCCC的初始化。

接下来就会执行

int tmp = 0;

生成指令 mov dword ptr [tmp],0，即将tmp入栈。

tmp = a + b;

会生成指令

mov         eax,dword ptr [a]
add         eax,dword ptr [b]
mov         dword ptr [tmp],eax

第一条指令 mov eax,dword ptr [a] 的意思是，将形参a的值放入到寄存器eax中去，第二条指令 add eax,dword ptr [b] 的意思是，将b的值与eax寄存器中存放的值相加，并将相加后的值重新存放到eax寄存器中去，即eax+=b，第三条指令 mov dword ptr [tmp],eax 的意思是将eax寄存器中的值赋给tmp