32位Linux下手动调整函数栈帧大小：能否将24字节缩至4字节？

首先得搞清楚编译器为啥给你留24字节的栈空间——这其实是32位Linux下编译器默认的栈对齐要求搞的鬼。32位SysV ABI（系统调用规范）要求栈要对齐到16字节边界，尤其是当函数需要调用其他外部函数的时候，这个对齐是硬性要求；就算是不调用其他函数的叶子函数，很多编译器也会为了统一行为或者兼容潜在的指令需求（比如SSE指令）自动做对齐填充。

情况1：你的函数是叶子函数（不调用任何其他外部函数） #

这种情况完全没问题，直接修改汇编代码就行：

pushl %ebp 
movl %esp, %ebp 
subl $4, %esp      ; 只给局部int变量预留4字节空间
movl $0, -4(%ebp)  ; 把变量i存在ebp偏移-4的位置（刚好对应我们预留的空间）

这样栈帧就只有4字节的局部变量空间，没有多余的填充。因为叶子函数不需要调用其他函数，栈对齐的约束就没那么严格，运行起来不会有任何问题。

情况2：你的函数需要调用其他外部函数 #

这时候就不能直接改成4字节了——因为32位Linux下要求调用函数前栈指针必须是16字节对齐的。咱们简单算一下：

• 进入函数时，pushl %ebp会把栈指针减4，movl %esp, %ebp后，ebp的值是原栈指针-4；
• 如果要调用其他函数，执行call指令前，栈指针必须是16字节对齐的；
• 所以你需要预留的栈空间得满足对齐要求，比如最小可能需要12字节（4字节给变量，8字节做对齐填充），而不是4字节。这时候你可以把subl $24, %esp改成subl $12, %esp，变量存在-4(%ebp)的位置，剩下的8字节就是对齐填充。

额外提醒 #

如果你手动修改了栈帧大小，一定要确保所有局部变量的偏移地址都对应正确——比如原代码里变量存在-12(%ebp)，那是因为编译器留了24字节的空间，调整后偏移要改成-4(%ebp)（对应4字节栈帧）或者你预留空间对应的偏移，不然会出现内存访问错误。

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