调用约定、栈操作与函数返回值机制问询（含汇编示例需求）

一、call指令后的栈执行流程 #

当CPU执行call指令时，会先把call指令的下一条指令地址（返回地址）压入栈，然后跳转到被调用函数的入口。

以x86 32位的cdecl调用约定为例，被调用函数的典型执行流程：

• 先保存基址指针：push ebp，接着mov ebp, esp，用ebp固定当前栈帧的起始位置。
• 通过ebp+8、ebp+12这类偏移访问函数参数（不会直接弹出参数，而是用基址指针寻址，避免栈指针变动影响参数访问）。
• 执行函数核心逻辑。
• 返回阶段：把返回值存入eax寄存器，然后mov esp, ebp恢复栈指针到ebp位置，pop ebp恢复之前的基址指针，最后执行ret指令——ret会自动弹出栈顶的返回地址，CPU跳转到该地址继续执行调用者的代码。

简单汇编示例：

; 调用者代码（main函数片段）
push 3          ; 压入fib的参数n=3
call fib        ; 压入返回地址，跳转到fib函数
add esp, 4      ; cdecl约定：调用者负责清理参数占用的栈空间
; 这里是call之后的指令，ret跳转回来后会执行这行

; 被调用者fib函数入口
fib:
    push ebp    ; 保存调用者的ebp
    mov ebp, esp; 建立当前函数的栈帧
    mov eax, [ebp+8] ; 读取参数n（ebp+4是保存的旧ebp，ebp+8是第一个参数）
    ; ... 处理n==0、n==1的逻辑 ...
    mov esp, ebp ; 恢复栈指针到ebp，释放当前函数的局部变量栈空间
    pop ebp      ; 恢复调用者的ebp
    ret          ; 弹出返回地址，跳回调用者的add esp,4指令

当ret执行后，栈顶的返回地址被弹出，CPU直接跳转到该地址，也就是call fib之后的add esp,4，继续执行后续逻辑。

二、fib函数返回值的传递逻辑 #

你疑惑的fib(n-1) + fib(n-2)部分，本质是先调用fib(n-1)拿到返回值，暂存后再调用fib(n-2)，最后把两个结果相加。对应x86汇编的关键流程：

1. 调用fib(n-1)，返回值存在eax里。
2. 因为接下来调用fib(n-2)会覆盖eax，所以先把eax的值压入栈暂存。
3. 调用fib(n-2)，返回值存入eax。
4. 从栈中弹出之前暂存的fib(n-1)结果到另一个寄存器（比如ebx），然后执行add eax, ebx，把结果放回eax作为当前fib函数的返回值。

核心汇编片段：

; fib函数中处理return fib(n-1)+fib(n-2)的代码
mov eax, [ebp+8]   ; 取出参数n
sub eax, 1         ; 计算n-1
push eax           ; 压入参数，准备调用fib(n-1)
call fib           ; 调用后，fib(n-1)的结果在eax
add esp, 4         ; 清理参数栈空间
push eax           ; 把fib(n-1)的结果压入栈暂存

mov eax, [ebp+8]   ; 再次取出n
sub eax, 2         ; 计算n-2
push eax           ; 压入参数，调用fib(n-2)
call fib           ; 结果存在eax
add esp, 4         ; 清理参数栈

pop ebx            ; 弹出暂存的fib(n-1)结果到ebx
add eax, ebx       ; eax = fib(n-2) + fib(n-1)，作为当前函数的返回值

; 后续返回流程
mov esp, ebp
pop ebp
ret

这里的关键点是：寄存器中的返回值会被主动压入栈暂存，等第二个函数调用完成后，再从栈中取出参与计算，最终把结果放回寄存器作为当前函数的返回值。

补充：调用约定对返回值的处理 #

x86的多数调用约定（比如cdecl、stdcall）里，整型、指针这类小尺寸返回值都存在eax寄存器；如果是大结构体这类返回值，才会用栈传递。函数调用结束后，调用者可以直接读eax拿返回值，也可以把它存到栈或其他寄存器，用于后续操作。

内容的提问来源于stack exchange，提问作者notaorb