图解c语言程序函数调用过程中栈的变化

演示程序代码:

int m = 8;
int fun(int a,int b)
{
    int c = 0;
    c = a + b;
    return c;
}
int main()
{
    int i = 4;
    int j = 5;
    m = fun(i, j);
    return 0;
}

1.程序在内存分布区域

2.全局变量m赋值

3.保存进入main之前的栈底, bp-sp之间是当前函数栈

4.函数main的栈已经准备好了

5.i入栈

6.j入栈

7.准备函数fun的调用, 形参反向入栈 先形参b入栈

8.形参a入栈

9.留空一个地址作为fun返回值, 待后面返回时填入

10.fun返回地址入栈, 通常是main函数当前pc指针的下一个

11. main函数的栈底地址入栈

12. pc指针跳转fun代码

13. c入栈

14. 可以看到函数fun的数据 形参a,b 在上一层函数的栈中. 一部分在自己的栈上.
此步取值到加法器中进行加法运算,再赋值给c

15. c赋给返回值,填入上面的留空位置

16. 栈底恢复上一层

17. lr赋值给pc, 实现了跳转

18. 返回值赋值给全局变量m

19. 前面函数调用的形参已经无用,回滚sp

20. 函数返回,清理main的栈空间

上面的例子事实上没有罗列出寄存器的参与, 这需要根据实际汇编代码进行. ARM上的函数调用前面四个形参默认使用R0,R1,R2,R3, 多于4个参数才使用栈保存. 寄存器是连接运算器的中转站, 也一定程度上避免了频繁访问内存.