返回地址和堆栈布局

Question

我试图更好地理解堆栈是如何工作的，我编写了这个程序。

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

#define SIZE 0

void proof(){
    unsigned int buf[SIZE];
    unsigned int i = 0;

    printf("buf is at %X\n", (unsigned int)buf);
    //printf("return address is at buf[size+4] %X\n", (unsigned int)buf[SIZE+4]);
    //printf("return address is at buf[size]+16 %X\n", (unsigned int)&buf[SIZE]+12);
    printf("Effective return address %p\n", __builtin_return_address(0));
    printf("Proof address %p\n",&proof);
}

void main(){
    proof();
}

我想象过这样的堆栈：

退货地址
前一帧指针
变量 i
缓冲区[大小]

从输出中我可以看到这个函数的返回地址被放置在buf[size+4]但我不明白为什么。 返回地址不应该总是在ebp+4吗？ 我曾尝试使用 gdb 获取ebp的地址，但它与我从代码中获得的地址不同。 此外，在这种情况下，如果堆栈就像我想象的那样，那么返回地址不应该在&buf[SIZE]+12因为我们正在乘以 4 吗？