为何malloc与普通数组声明对应的栈帧分配大小不同？

这个问题刚好点出了栈内存和堆内存分配的核心差异，我来给你一步步拆解清楚：

1. 先搞懂栈帧到底包含什么 #

函数调用时会在栈上开辟一段专属内存，也就是栈帧，它主要由这几部分组成：

• 保存的基指针（64位系统下占8字节，用来定位栈帧内的变量）
• 返回地址（8字节，记录函数执行完后回到调用方的位置）
• 函数的局部变量（所有在栈上分配的变量都存在这里）
• 编译器自动加的填充字节（为了满足栈对齐规则，比如x86-64的System V ABI要求栈必须保持16字节对齐，否则某些指令会出错）

2. 两种场景的栈帧大小计算（以64位x86系统为例） #

用malloc的情况 #

先看你的这段代码：

void RecursiveFunction( int n ) {
    int *point;
    point = (int *)malloc(sizeof(int)*5);
    if ( n > 1)
        RecursiveFunction( --n );
    return;
}

这里的局部变量只有int* point——一个指针，在64位系统里指针占8字节。咱们算栈帧大小：

• 旧基指针：8字节
• 返回地址：8字节
• 指针变量：8字节
• 填充字节：8字节（因为8+8+8=24，离最近的16字节倍数32差8字节，编译器会自动补满）
  加起来正好是32字节，和你观察到的结果一致。

用栈数组的情况 #

再看这段代码：

#include <stdio.h>
#include <stdlib.h>
void RecursiveFunction( int n ) {
    int arr[5];
    if ( n > 1)
        RecursiveFunction( --n );
    return;
}

这里的局部变量是int arr[5]，每个int占4字节，5个就是20字节。栈帧大小计算：

• 旧基指针：8字节
• 返回地址：8字节
• 数组空间：20字节
• 填充字节：12字节（8+8+20=36，离最近的16字节倍数48差12字节，编译器补满）
  总大小就是48字节，和你看到的一样。

3. 两种内存分配流程的本质差异 #

• 栈数组：编译器在编译的时候就知道数组的大小，函数一进入就直接在当前栈帧里划出20字节的空间（通过调整栈指针实现）。等函数返回时，栈指针回退，这块空间自动被回收，根本不用你管。
• malloc分配：malloc是运行时才调用的库函数，它从堆内存里找一块20字节的空间分配给你，栈帧里只存一个指向这块堆空间的指针（8字节）。堆内存不会自动回收，你得手动调用free，不然会内存泄漏；就算栈帧销毁了，堆上的那块内存还在那儿。

最后总结一下 #

你之前以为栈帧大小会一致，其实是误解了两者的内存分配位置：栈数组是栈帧的一部分，占了20字节的空间；而malloc的内存完全在栈外面的堆上，栈帧里只有个8字节的指针。再加上编译器为了满足栈对齐要求加的填充字节，自然就出现了32和48的差异。

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