一幅图帮助理解C函数的调用栈

详细了解调用栈以及栈帧，对于理解程序的行为非常重要。
本文以x86 程序默认的 cdecl 调用方式为例，通过一幅图帮助理解函数调用栈的详细布局。

常规的调用栈如下图所示：

对于调用栈的理解可以结合下面程序以及相应汇编。

原始程序

以如下一段程序为例：

int fun(int i, int j);

int callee(int i, int j) 
{
    int a = i, b = j;
    return fun(a, b);
}
int caller(void) 
{
    return callee(1, 2);
}

汇编代码

汇编语言的生产使用 Compiler Explorer , 版本选择 x86-64 gcc 11.1, 参数为 -m32

得到如下的汇编：

callee:
        pushl   %ebp
        movl    %esp, %ebp
        subl    $24, %esp
        movl    8(%ebp), %eax
        movl    %eax, -12(%ebp)
        movl    12(%ebp), %eax
        movl    %eax, -16(%ebp)
        subl    $8, %esp
        pushl   -16(%ebp)
        pushl   -12(%ebp)
        call    fun
        addl    $16, %esp
        leave
        ret
caller:
        pushl   %ebp
        movl    %esp, %ebp
        subl    $8, %esp
        subl    $8, %esp
        pushl   $2
        pushl   $1
        call    callee
        addl    $16, %esp
        leave
        ret