深入理解函数调用机制：被调函数调用结束后的执行流程解析

1次阅读

共计 2080 个字符，预计需要花费 6 分钟才能阅读完成。

当我们在代码中调用一个函数时，计算机背后发生了许多有趣的事情。特别是当函数调用结束后，系统需要小心翼翼地收拾 ” 现场 ”，确保程序能继续正确执行。让我们用一个简单的例子开始探索：

int add(int a, int b) {return a + b;}

int main() {int result = add(3, 5);
    return 0;
}

函数调用时，系统会在栈上创建一个栈帧（Stack Frame），就像给函数分配了一个临时工作区。这个工作区包含：

函数参数
返回地址（调用结束后该回到哪里）
局部变量
保存的寄存器值

用图示表示典型的栈帧结构：

高地址
|----------------|
|    参数 n       |
|----------------|
|     ...        |
|----------------|
|    参数 1       |
|----------------|
|   返回地址     |
|----------------| <-- EBP
|   保存的 EBP    |
|----------------|
|   局部变量     |
|----------------|
|     ...        |
|----------------| <-- ESP
低地址

当 add 函数执行完毕时：

ESP（栈指针寄存器）指向栈顶
EBP（基址指针寄存器）指向当前栈帧的基址
ret指令会将返回地址弹出到 EIP（指令指针寄存器）

不同的编程语言和编译器使用不同的调用约定（Calling Convention），这影响了函数调用结束后的栈清理工作：

调用约定	参数传递顺序	谁清理栈	返回值位置
cdecl	从右到左	调用方	EAX
stdcall	从右到左	被调方	EAX
fastcall	前两个在寄存器	被调方	EAX

让我们看看 add 函数编译后的汇编代码（x86）：

add:
    push   ebp          ; 保存旧的 EBP
    mov    ebp, esp     ; 设置新的栈帧基址
    mov    eax, [ebp+8] ; 获取第一个参数
    add    eax, [ebp+12]; 加上第二个参数
    pop    ebp          ; 恢复旧的 EBP
    ret                 ; 返回到调用者

ret指令实际上相当于：

pop eip  ; 将返回地址弹出到指令指针

返回值通常通过以下方式传递：

简单类型（int, char 等）：使用 EAX 寄存器
较大结构体：调用方在栈上分配空间并传递指针
浮点数：可能使用 FPU 栈或 XMM 寄存器

void buggy() {char buf[100];
    // 忘记恢复 ESP 如果在这里修改了它
    // 缺少 leave 或 mov esp, ebp
}

注意：栈不平衡会导致程序崩溃，且难以调试。

// 使用 stdcall 声明但在 cdecl 调用
__stdcall int add(int a, int b);

int main() {int r = add(3, 5);  // 编译器不会自动清理栈
    return 0;
}

float get_value() {
    int x = 42;
    return x;  // 隐式转换可能丢失精度
}

让我们用 GDB 查看函数调用结束时的栈状态：

$ gcc -g test.c -o test
$ gdb ./test
(gdb) break add
(gdb) run
(gdb) backtrace
#0  add (a=3, b=5) at test.c:2
#1  0x08048405 in main () at test.c:7
(gdb) info frame
Stack level 0, frame at 0xffffd130:
 eip = 0x80483eb in add (test.c:2); saved eip = 0x8048405
 called by frame at 0xffffd150
 source language c.
 Arglist at 0xffffd128, args: a=3, b=5
 Locals at 0xffffd128, Previous frame's sp is 0xffffd130
 Saved registers:
  ebp at 0xffffd128, eip at 0xffffd12c

尝试用以下代码实现简单的函数调用跟踪：

#include <stdio.h>

#define TRACE_ENTRY() \
    printf("> %s\n", __func__)
#define TRACE_EXIT() \
    printf("< %s\n", __func__)

void foo() {TRACE_ENTRY();
    // 函数体
    TRACE_EXIT();}

int main() {TRACE_ENTRY();
    foo();
    TRACE_EXIT();
    return 0;
}