25、汇编语言中的栈帧与递归：深入解析与实践

汇编语言中的栈帧与递归：深入解析与实践

1. 栈帧基础

在汇编语言编程中，栈帧是一个至关重要的概念。使用显式栈参数的过程应避免使用 USES 运算符。栈帧包含了过程的各种关键信息，如调用者的返回地址、局部变量等。

1.1 局部变量

在高级语言程序中，在单个子程序内创建、使用和销毁的变量被称为局部变量。与子程序外部声明的变量相比，局部变量具有显著优势：
- 只有局部变量所在子程序内的语句才能查看或修改该变量，这有助于防止因在程序源代码的多个不同位置修改变量而导致的程序错误。
- 子程序结束时，局部变量所使用的存储空间会被释放。
- 局部变量可以与其他子程序中的局部变量同名，而不会产生命名冲突，这在大型程序中非常有用，因为在大型程序中两个变量同名的可能性较大。
- 在编写递归子程序以及由多个执行线程执行的子程序时，局部变量是必不可少的。

局部变量通常在运行时栈上创建，一般位于基指针（EBP）下方。虽然在汇编时不能为它们分配默认值，但可以在运行时进行初始化。我们可以使用与 C 和 C++ 相同的技术在汇编语言中创建局部变量。

1.1.1 示例：C++ 中的局部变量

以下是一个 C++ 函数，声明了局部变量 X 和 Y ：

void MySub()
{
    int X = 10;
    int Y = 20;
}

C++ 编译器为局部变量分配空间时，每个栈条目默认为 32 位