Linux下栈帧大小是否始终为静态固定值？

核心结论 #

调用不同栈帧大小的函数时，程序的栈内存占用量是不同的，并不会始终保持一致。

具体解释 #

关闭编译器优化后，每个函数调用都会在栈上分配独立的栈帧，栈帧大小由两部分构成：

• 函数内局部变量的总字节数（比如你示例里的func0占4字节、func1占20字节、func2占40字节）
• 固定栈帧开销：包括返回地址存储、基指针（EBP/RBP）保存空间，以及为满足内存对齐要求填充的空字节

以你的代码为例：

• 调用func0时，栈上分配的栈帧仅需容纳1个int32_t变量加固定开销，总大小远小于func1和func2
• 调用func1时，栈帧要容纳5个int32_t变量加固定开销，栈占用量明显大于func0
• 调用func2时，栈帧需容纳10个int32_t的数组，是三个函数里栈帧最大的，对应的栈内存占用也最多

程序运行时，栈是向下扩展的：调用函数时栈指针会向低地址方向移动对应栈帧的大小，栈的已使用空间随之增加；函数返回时栈指针移回原位置，释放栈帧空间。因此不同函数调用时，栈的实际占用量会随栈帧大小变化。

补充说明 #

如果指整个进程的内存占用，除栈之外的区域（如代码段、全局变量区、堆）通常不会因函数调用改变，但栈部分的差异会直接导致整个进程内存占用出现区别——只是小栈帧的情况下这种差异可能不明显。

内容的提问来源于stack exchange，提问作者D.J. Elkind