深入解析C++函数调用中堆栈的运作机制与内存管理实践

1次阅读

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

先用 GDB 调试以下代码片段，观察 main() 调用 sum() 时的堆栈行为：

int sum(int a, int b) {
    int c = a + b;
    return c;
}

int main() {int x = sum(2, 3);
    return 0;
}

编译时添加调试信息：g++ -g test.cpp -o test
在 GDB 中执行以下命令：
```
break sum
run
info frame
```

会看到类似输出：

Stack level 0, frame at 0x7fffffffdc30:
 rip = 0x400536 in sum (test.cpp:2); saved rip = 0x40055a
 called by frame at 0x7fffffffdc50
 source language c++.
 Arglist at 0x7fffffffdc20, args: a=2, b=3
 Locals at 0x7fffffffdc20, Previous frame's sp is 0x7fffffffdc30
 Saved registers:
  rbp at 0x7fffffffdc20, rip at 0x7fffffffdc28

典型栈帧包含（以 x86_64 为例）：

返回地址：调用结束后跳转的位置（上例中0x40055a）
参数区：从右向左依次压栈（ARM 架构下前 6 个参数通过寄存器传递）
局部变量区：如示例中的int c
保存的寄存器：如 rbp 寄存器的值

ARM 与 x86_64 主要差异：

ARM 使用 sp 和fp寄存器管理栈帧，而 x86_64 用 rsp 和rbp
ARM 架构下返回地址通常存储在专用寄存器 LR 中

void recursive(int depth) {char buffer[1024]; // 每次递归消耗 1KB 栈空间
    if (depth <= 0) return;
    recursive(depth - 1); // 无限递归将耗尽栈空间
}

int main() {recursive(10000); // 约需要 10MB 栈空间
    return 0;
}

典型错误输出：

Segmentation fault (core dumped)

#include <chrono>

void stack_allocation() {for(int i=0; i<100000; ++i) {int array[100] = {0}; // 栈分配
    }
}

void heap_allocation() {for(int i=0; i<100000; ++i) {int* array = new int[100]; // 堆分配
        delete[] array;}
}

Benchmark 结果示例（i7-9700K）：

栈分配耗时: 2.3ms
堆分配耗时: 56.8ms

经典漏洞代码：

void vulnerable() {char buf[8];
    gets(buf); // 无边界检查
}

攻击者可能：
1. 输入超长字符串覆盖返回地址
2. 跳转到恶意代码区域

GCC 的防护选项：

-fstack-protector-strong

工作原理：
1. 函数入口在栈上插入随机 canary 值
2. 函数返回前验证 canary
3. 若值被修改则终止程序

将以下递归改为迭代：

// 原递归版本
int factorial(int n) {if (n <= 1) return 1;
    return n * factorial(n - 1);
}

// 迭代版本
int factorial_iter(int n) {
    int result = 1;
    for (int i = 2; i <= n; ++i) {result *= i;}
    return result;
}