汇编函数调用参数传递疑问：foo与bar的栈偏移关联解析

你遇到的是32位x86平台下的Cdecl调用约定，核心是通过栈传递参数、用ebp作为栈帧基址访问数据。下面一步步拆解栈的变化过程，对应代码里的偏移量：

1. foo函数的参数准备 #

foo的汇编逻辑是先构建自身栈帧，再为bar准备参数：

foo:
pushl   %ebp          ; 保存上一层栈帧的ebp值
movl    %esp, %ebp    ; 用当前esp初始化foo的栈帧基址ebp
subl    $8, %esp      ; 栈上预留8字节（两个int参数，每个占4字节）
movl    $222, 4(%esp) ; 写入bar的第二个参数b=222
movl    $111, (%esp)  ; 写入bar的第一个参数a=111
call    bar           ; 调用bar函数

此时栈的布局（栈向下增长，地址从高到低排列）：

2. call指令的隐式动作 #

执行call bar时，CPU会自动完成两个关键操作：

1. 将foo中call指令的下一条指令地址（返回地址，比如0xXXXX）压入栈，esp减少4字节（栈向下增长）。
2. 跳转到bar函数的入口地址执行。

此时栈新增了返回地址：

3. bar函数的栈帧初始化 #

bar的开头是标准的栈帧构建流程：

bar:
pushl   %ebp          ; 保存foo的ebp值到栈上
movl    %esp, %ebp    ; 用当前esp初始化bar的栈帧基址ebp
subl    $16, %esp     ; 预留16字节空间存放局部变量x、y等

执行完这三步后，ebp的指向固定为pushl %ebp后的esp值（示例为0x0FF8）。此时以ebp为基址，就能精准定位参数和局部变量：

这就是bar能通过12(%ebp)、8(%ebp)读取到foo传入参数的原因——这些偏移是基于bar的栈帧基址ebp计算的，刚好对应foo提前放到栈上的参数位置。

核心要点总结 #

• Cdecl调用约定：参数从右往左入栈，所以foo先写第二个参数222，再写第一个参数111。
• 栈帧基址ebp：每个函数都会保存上一层的ebp，再用当前esp作为自身ebp，这样无论esp怎么变动（比如分配局部变量），都能通过固定偏移访问参数和局部变量。
• 偏移量由来：bar中参数的偏移是8(%ebp)、12(%ebp)，因为ebp本身存的是上一层ebp值（4字节），往上4字节是返回地址（4字节），再往上就是参数——第一个参数在返回地址之上4字节（8=4+4），第二个参数在第一个参数之上4字节（12=4+4+4）。

内容的提问来源于stack exchange，提问作者Võ Khắc Bảo