这里继续上次的思路,从汇编语言里具体了解下实参到形参的传递过程,我这里使用的是VS2010编译器,将此程序反编译后一步步跟踪程序的运行过程。下面还是先贴出这个程序的源代码(运行结果在注释出或者上一篇文章):
#include <stdio.h>
int func(int a,int b)
{
printf("%d,%d\n",a,b);
int c;
c=a+b;
return c;
}
int main(void)
{
int x=6,r;
r=func(x++,x++);//7,6
printf("%d\n",x);//8
printf("%d\n\n",r);//13
x = 6;
r=func(x++,++x);//7,8
printf("%d\n",x);//8
printf("%d\n\n",r);//15
x = 6;
r=func(++x,++x);//8,8
printf("%d\n",x);//8
printf("%d\n\n",r);//16
x = 6;
r=func(++x,x++);//8,6
printf("%d\n",x);//8
printf("%d\n\n",r);//14
}
下面以一组图片的形式说明,图片中只跟踪了一次参数传递的过程。
图片1:直接找到程序的入口点,此时没有运行一条指令,堆栈、代码与数据段由操作系统分配,此时的esp=002EFAF0,指向的栈顶也是由操作系统分配的,main函数结束运行后会把返回值传递给操作系统,同时释放这个程序的堆栈、代码和数据所占用的内存空间。
图2:紧接着上图运行,首先创建main函数的堆栈框架
图片3:把main函数中使用的一些通用寄存器入栈
图片4:
图片5:
图片6:
图片7:
图片8:
图片9:
图片10:
图片11: