我试图了解堆栈对齐是如何工作的,如什么是“堆栈对齐”中所述?但我很难找到一个小例子来证明上述行为。我正在检查我的函数 foo 的堆栈分配:
void foo() {
int a = 0;
char b[16];
b[0] = 'a';
}
我用(即没有任何编译器标志)编译了源文件,gcc -ggdb example.c -o example.out
并且来自 gdb 的汇编程序转储读取:
(gdb) disassemble foo
Dump of assembler code for function foo:
0x08048394 <+0>: push %ebp
0x08048395 <+1>: mov %esp,%ebp
0x08048397 <+3>: sub $0x20,%esp
0x0804839a <+6>: movl $0x0,-0x4(%ebp)
0x080483a1 <+13>: movb $0x61,-0x14(%ebp)
0x080483a5 <+17>: leave
0x080483a6 <+18>: ret
End of assembler dump.
我的堆栈以 16 个字节的块分配(我用其他几个测试验证了这一点)。根据此处的汇编程序转储,已分配 32 个字节,因为 (16 < 4+16 < 32),但是我希望在前 16 个字节上分配整数“a”,然后在接下来的 16 个字节上分配字符数组(中间留出 12 个字节的空间)。但似乎整数和字符数组都被分配了一个 20 字节的连续块,根据我上面提到的讨论,这是低效的。有人可以解释一下我在这里缺少什么吗?
编辑:我得出的结论是,我的堆栈被分配为 16 个字节的块,程序如下:
void foo() {
char a[1];
}
以及相应的汇编转储:
(gdb) disassemble foo
Dump of assembler code for function foo:
0x08048394 <+0>: push %ebp
0x08048395 <+1>: mov %esp,%ebp
0x08048397 <+3>: sub $0x10,%esp
0x0804839a <+6>: leave
0x0804839b <+7>: ret
End of assembler dump.
您可以看到堆栈上已为大小为 1 的字符数组分配了 16 个字节(仅需要 1 个字节)。我可以将数组的大小增加到 16 并且汇编程序转储保持不变,但是当它为 17 时,它会在堆栈上分配 32 个字节。我已经运行了很多这样的样本,结果是一样的;堆栈内存以 16 字节的块分配。在堆栈分配、填充和对齐中讨论了一个类似的主题,但我更想知道的是为什么对齐在我的示例中没有效果。