为什么这个源代码分配了 16 个字节？

Question

(gdb) disas /m main
Dump of assembler code for function main():
2   {
   0x080483f4 <+0>: push   %ebp
   0x080483f5 <+1>: mov    %esp,%ebp
   0x080483f7 <+3>: sub    $0x10,%esp

3       int a = 1;
   0x080483fa <+6>: movl   $0x1,-0x4(%ebp)

4           int b = 10;
   0x08048401 <+13>:    movl   $0xa,-0x8(%ebp)

5           int c;
6           c = a + b;
   0x08048408 <+20>:    mov    -0x8(%ebp),%eax
   0x0804840b <+23>:    mov    -0x4(%ebp),%edx
   0x0804840e <+26>:    lea    (%edx,%eax,1),%eax
   0x08048411 <+29>:    mov    %eax,-0xc(%ebp)

7           return 0;
   0x08048414 <+32>:    mov    $0x0,%eax

8   }
   0x08048419 <+37>:    leave  

注意第三条汇编指令，它分配了 16 个字节而不是预期的 12 个字节。这是为什么？我以为第三行是分配自动变量...

即使我删除了分配，分配仍然是 16 字节。

谢谢。

---

编辑

// no header. nothing
int main()
{
        int a = 1;
        int b = 10;
        int c;
        c = a + b;
        return 0;
}

g++ -g -o demo demo.cpp

---

跟进... 我又读了几篇关于堆栈对齐的文章（对不起，我现在正在学习计算机架构和组织类……所以我对此一点都不熟悉）

Stack Allocation Padding and Alignment

我想这是编译器的设置。因此默认情况下，最小值为 16 字节。

如果我们有

int a = 1;
int b = 10;
int c = 10;
int d = 10;
// --
int e = 10;

直到 int d，我们正好有 16 字节，分配仍然是 0x10。但是当我们再给出一个 delectation 时，int e = 10，esp 现在被分配了 32 个字节（0x20）。

这告诉我，堆栈指针 esp 仅用于自动变量。

---

跟进 2

调用栈和栈帧

每个栈帧

Storage space for all the automatic variables for the newly called function.

The line number of the calling function to return to when the called function returns.

The arguments, or parameters, of the called function.

但是在我们分配 int a 到 int d 之后，它已经占用了我们 16 个字节。 Main 没有函数参数，因此为零。但是线路返回，这些信息哪里去了？

Answer 1

虽然我还没有看到main() 的源代码，我相信这是由于堆栈对齐。

根据您的设置，堆栈可能需要对齐到 8 个字节。因此esp 增加了 16 个字节而不是 12 个字节。 （尽管 12 个字节足以容纳所有变量）

在其他系统（使用 SSE 或 AVX）上，堆栈需要对齐到 16 或 32 字节。

Answer 2

没什么特别的 - 前四个字节分配给返回码 :)