C语言中为什么要将结构体的字段分配到堆内存中？

参考程序 #

typedef struct
{
    char *name;
    int id;
} Student;

int main()
{
    Student std1,std2;  //case 1
    std1.name = (char*) malloc(7);
    strcpy(std1.name, "Daniel");
    puts(std1.name);

    char name[7]={'D','a','n','i','e','l','\0'}; //case 2
    std2.name = name;
    puts(std2.name);
}

首先先纠正一个小的表述偏差：不管是case1还是case2，Student实例本身以及它的name指针成员，都是存储在栈内存的，区别只是**name指针指向的目标内存的位置不同**：case1指向堆内存，case2指向栈内存。

接下来回答为什么需要把结构体指针字段指向的内存分配到堆上，核心原因有这几个：

• 生命周期不受作用域限制
  栈内存会在其所在的代码块（比如函数、循环体）执行结束后自动回收。如果像case2一样让name指向栈内存，一旦这个栈数组所在的作用域结束，再通过name访问这块内存就是非法的野指针访问，会出现脏数据甚至程序崩溃。举个简单的反例：

  void initStd(Student* s) {
      char localName[7] = "Daniel";
      s->name = localName;
  }
  int main() {
      Student std;
      initStd(&std);
      puts(std.name); // 这里访问的已经是被回收的栈内存，结果完全不可控
  }
  

  而堆内存只要不手动调用free释放，就会一直有效，哪怕跨函数、跨模块传递结构体实例，都可以正常访问字段内容。
• 大小支持动态调整
  栈数组的大小必须在编译期就确定，无法根据运行时的实际需求调整。比如你定义char name[7]就最多只能存6个字符的名字，遇到更长的名字就会溢出。堆内存可以在运行时根据实际需要的大小申请，还可以通过realloc动态扩容/缩容，适配可变长度的数据场景。
• 避免栈溢出
  程序的栈空间通常非常小，主流系统默认栈大小一般只有2MB~8MB，如果结构体的字段是大块数据（比如长文本、大数组），放在栈上很容易占满栈空间触发栈溢出错误。堆空间的大小上限通常是系统的可用内存，完全可以容纳大块数据。
• 方便资源管理
  对于需要在多个结构体实例之间共享的数据，堆内存可以通过指针传递共享，不需要额外拷贝数据，等所有使用者都不需要的时候再统一释放，节省内存和拷贝开销。

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