递归调用中，每一次调用都会创建新的栈帧，占用栈内存，可能会造成栈溢出。编译器可以通过尾递归优化和寄存器传递优化节省栈帧空间，避免栈溢出。

C++ 函数调用约定与栈帧管理：递归调用的栈帧处理

函数调用约定

函数调用约定定义了函数调用的细节，包括参数传递机制、返回值传递方式和寄存器的使用。C++ 支持以下调用约定：

• stdcall: 由 Windows 操作系统使用，参数通过栈传递，返回值通过寄存器传递。
• cdecl: 由 Linux 和 macOS 操作系统使用，参数通过栈传递，返回值通过堆栈指针传递。

栈帧管理

栈帧是一个内存区域，用于存储函数调用的参数、局部变量和返回值。当一个函数被调用时，一个栈帧被创建在栈内存中。栈帧的大小由调用的函数决定。

立即学习“C++免费学习笔记（深入）”；

当函数返回时，它的栈帧被弹出，从而释放占用的内存空间。

macOS UI 自动化技能包 —— 用 Python 控制你的 Mac

让 macOS 自动化像说话一样简单 —— 用代码控制你的 Mac，无需学习 AppleScript 系统要求 macOS 14+ (Sonoma) Python 3.9+ 需要开启：辅助功能 + 屏幕录制权限

下载

递归调用的栈帧处理

递归调用是一种函数调用自身的过程。在递归调用中，每次调用都会创建一个新的栈帧。这些栈帧占据了越来越多的栈内存，可能导致栈溢出错误。

为了防止栈溢出，编译器会采用一些技术来优化递归调用的栈帧处理：

• 尾递归优化：如果递归调用是函数调用的最后一步，编译器会将其优化为循环。这避免了创建新的栈帧，从而节省了栈空间。
• 寄存器传递优化：如果递归调用只进行少量参数传递，编译器会将参数存储在寄存器中，而不是栈中。这可以进一步节省栈空间。

实战案例

以下是一个展示递归调用的栈帧处理的 C++ 程序：

#include <iostream>

int factorial(int n) {
  if (n == 0) {
    return 1;
  } else {
    return n * factorial(n - 1);  // 递归调用
  }
}

int main() {
  std::cout << factorial(5) << std::endl;  // 递归调用 5 次
  return 0;
}

在这个程序中，factorial 函数递归地调用自身来计算阶乘。每次递归调用都会创建一个新的栈帧，里面存储着参数 n。

如果参数 n 的值足够大，递归调用可能导致栈溢出错误。为了防止这种情况，编译器会优化栈帧处理，例如通过尾递归优化和寄存器传递优化。