深入解析C++常规函数调用流程：从栈帧到参数传递的底层原理

1次阅读

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

当我们在 C ++ 中调用一个函数时，编译器会在栈 (stack) 上创建一个称为栈帧 (Stack Frame) 的数据结构。这就像给函数分配了一个临时的工作台，上面摆放着函数执行所需的所有材料。

栈帧的组成
返回地址(Return Address): 函数结束后该回到哪里继续执行
旧的基指针(Old EBP/RBP): 保存调用者的栈帧基址
局部变量(Local Variables): 函数内部定义的变量
函数参数(Parameters): 调用时传递的参数

寄存器变化示例

; 函数调用前
push ebp        ; 保存调用者的基指针
mov ebp, esp    ; 设置当前函数的基指针
sub esp, 16     ; 为局部变量分配空间

不同编译器遵循不同的调用约定(Calling Convention)，这决定了参数如何传递、由谁清理栈等关键问题。

__cdecl (C Declaration)
参数从右向左压栈
调用者负责清理栈
可变参数函数的唯一选择
__stdcall (Standard Call)
参数从右向左压栈
被调函数自己清理栈
Windows API 的默认约定
__fastcall
前两个参数通过 ECX 和 EDX 寄存器传递
剩余参数通过栈传递
性能较好但寄存器有限

x64 架构下的变化更明显，前四个整数参数会通过 RCX、RDX、R8、R9 传递。

让我们通过实际调试来验证理论：

编译调试版本

g++ -g -fno-omit-frame-pointer demo.cpp -o demo

关键调试命令

(gdb) break main
(gdb) run
(gdb) info registers
(gdb) x/20xw $sp

典型输出分析

0x7fffffffe2a0: 0x00000001  0x00000000  0x00400546  0x00000000
0x7fffffffe2b0: 0xffffe3a8  0x00007fff  0x00400540  0x00000000
^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
内存地址           栈内数据（参数 / 返回地址等）

当 DLL 导出函数使用__stdcall 而调用方使用__cdecl 时，会导致栈指针 (ESP) 错乱，通常表现为程序崩溃。

void foo(int64_t num);
foo(3.14); // 隐式转换丢失精度

int* bad_example() {
    int local = 42;
    return &local; // 悬垂指针！}

使用 noexcept

void safe_func() noexcept; // 明确表示不抛出异常

强制检查返回值
```
[[nodiscard]] int must_check();
```
性能优化技巧
小对象直接传值
大对象使用 const 引用
移动语义避免拷贝

cmake_minimum_required(VERSION 3.10)
project(FrameDemo)

set(CMAKE_CXX_STANDARD 17)

add_executable(demo
    src/main.cpp
    src/stack_frame.cpp
)

配套的汇编注释示例：

; 典型函数序言(prologue)
push    ebp             ; 保存调用者的基指针
mov     ebp, esp        ; 设置新的基指针
sub     esp, 16         ; 为局部变量分配空间

; 函数体...

; 典型函数尾声(epilogue)
leave                   ; 相当于 mov esp,ebp + pop ebp
ret                     ; 返回到调用者