C语言栈帧疑问：为何需偏移2*sizeof(int)访问调用者变量

我在学习指针时了解到**stack frame（栈帧）**的定义。根据我的理解，当调用者的返回地址被压入栈中后，被调用者的局部变量会在栈的末端分配一块名为栈帧的内存区域。为验证该逻辑，我编写了如下C程序，尝试在被调用函数Garbage()中通过地址操作访问调用者Func()的局部变量x。

但存在一个疑问：由于栈帧中变量在函数嵌套时按逆序分配（栈从高地址向低地址增长），且两个函数均无参数，按理论只需偏移1次sizeof(int)即可访问Func()中的x，然而实际只有偏移2*sizeof(int)才能得到预期结果。从输出可见，两个x的地址间隔为0x20（远大于sizeof(int)），而非预期的0x10。这是否是因为函数作用域之间存在某种保护机制？请解释其中原因。

测试代码 #

#include <stdio.h>
#include <stdlib.h>

void Func();
void Garbage();

int main()
{
    Func();
    return 0;
}

void Func()
{
    int x = 5;

    printf("Address of x: %p\n", &x);
    printf("Value of x: %d\n", x);
    
    Garbage();

    return;
}

void Garbage()
{
    int x; 

    printf("Address of x: %p\n", &x);
    printf("Value of x: %d\n", *(&x+2*(sizeof(int))));
    
    return;
}

程序输出 #

Address of x: 0x7ffc65629524
Value of x: 5
Address of x: 0x7ffc65629504 // 而非预期的0x7ffc65629514
Value of x: 5

问题解释 #

你看到的地址间隔差异，和函数作用域保护机制无关，主要来自以下几个底层细节：

1. 栈帧的额外结构
   除了返回地址，栈帧里还会保存调用者的栈基址（比如x86-64架构下的RBP寄存器值）。调用函数时，CPU会先把当前栈基址压栈，再将栈指针的值设为新的栈基址，这一步会多占用一个指针大小的空间（64位系统下是8字节）。

2. 栈对齐要求
   现代编译器和CPU架构（如x86-64）要求栈地址必须按16字节对齐。为满足这个规则，编译器会在栈帧中插入额外的填充字节。你的例子中，两个x的地址差为0x20（32字节），就是栈对齐加上栈基址保存共同作用的结果：Func()的栈帧里，局部变量x（4字节）加填充字节（12字节凑16字节对齐），再加上返回地址（8字节）、保存的RBP（8字节），刚好对应这个间隔。

3. 指针运算的误区
   你代码里的&x+2*(sizeof(int))是错误的指针运算逻辑：对int*类型的指针做加法时，编译器会自动按sizeof(int)的倍数偏移。比如&x + 2就已经等价于偏移2*sizeof(int)的字节数，你额外乘sizeof(int)会导致偏移量被放大，只是在这个场景下巧合得到了正确值。

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