这篇日志总结一下函数调用过程中,每一个函数的栈空间分配,参数传递等问题,在一些高级语言如Java,C#等,在源程序编译后,交由虚拟机进行解释运行,运行过程中实时翻译成对应操作系统下的机器指令,这样CPU才能直接执行,C语言也如此,不过它是直接编译后运行,而不是执行过程中动态解释运行。无论是像C这种面向过程的,还是Java,C#等面向对象的编程语言,它们都一定要有函数,或者说方法,用来将一个大程序模块化分成一个一个小的功能模块。拿Java举例,JVM的方法调用,并不是CPU直接执行,Java方法一定是封装在类中,JVM通过类寻址找到调用方法的索引地址,经过保存现场、初始化数据、栈空间分配和压栈,返回等操作完成方法调用,因为Java程序运行时动态将字节码解释成机器指令,所以JVM最终调用的是一堆机器码,下面用一个C实现的两数相加程序,看看函数(方法)调用过程中,栈空间分配和压栈出栈过程的变化。
来看一个简单的两数相加例子:
#include <stdio.h>
#include <stdlib.h>
int run(int a, int b);
int main(int argc, char const* argv[])
{
int a = 9;
int b = 5;
int result = run(a, b);
printf("result = %d\n", result);
return 0;
}
int run(int a, int b)
{
int result = a + b;
return result;
}
run()函数接受两个int型变量,返回它们相加后的值,代码里一共有两个函数,main()函数和run()函数,函数的调用过程,很简单,从第10行可以看到调用了run()函数,可是这是C语言实现的代码,未经过编译,CPU不能直接执行,也就是说,虽然第10行进行了显示函数调用,但是CPU看不懂,需要将C代码编译成CPU能看懂的机器码,才能执行,想要搞明白其在CPU里的执行过程,首先尝试下把这段C代码翻译成汇编代码。