x86（IA-32架构）嵌套函数中栈帧指针（FP）的栈内行为探究

基础栈帧认知 #

• 栈指针（Stack Pointer, SP）：存储在ESP寄存器中，指向栈顶（IA-32架构中栈向低地址方向增长，因此栈顶对应当前栈空间的最小地址）
• 栈帧指针（Frame Pointer, FP）：存储在EBP寄存器中，作为当前函数栈帧的静态锚点——即便ESP因压栈、弹栈操作频繁移动，EBP始终固定，可通过固定偏移量访问函数的参数与局部变量，同时它也指向当前栈帧的“弹出地址”（即函数返回后需要恢复的栈位置）

单函数调用示例代码 #

int addSome(int arg1, int arg2);

int main(void){
  int answer = addSome(1,2);
}

int addSome(int arg1, int arg2){
  return arg1 + arg2;
}

此时栈结构：栈内从高地址到低地址依次为调用者main的栈帧EBP值、addSome的返回地址、参数arg2、参数arg1，当前EBP指向保存的调用者EBP位置，作为当前栈帧的锚点。

嵌套函数调用的疑问 #

当函数调用出现嵌套时（例如在addSome中调用subSome），EBP的处理方式成为疑问：子函数返回时需要依赖原EBP的位置，直接移动EBP显然不可行。

嵌套调用示例代码 #

int subSome(int arg3, int arg4);
int subSome(int arg3, int arg4){
  return arg3 - arg4;
}

// 修改后的addSome函数
int addSome(int arg1, int arg2){
  int result = subSome(arg1, arg2);
  return result;
}

此时需要明确：新的子函数栈帧的“弹出地址”如何确定？子函数的参数位置又该如何通过栈帧指针访问？

猜想与困惑 #

我曾猜想：是否需要将addSome的栈大小存储在某个固定位置，通过相对于当前EBP的偏移来定位子函数栈帧的“弹出地址”？但这种方式存在明显问题——如果嵌套函数层级增多，需要存储的栈大小信息也会随之增加，从设计角度看并不合理。

内容的提问来源于stack exchange，提问作者Sukram 22