关于free与realloc在结构体指针内存管理中的疑问

一、关于free(dataset + 7)的行为 #

这种写法是完全错误的，属于C标准定义的未定义行为。

free函数的参数必须是malloc、calloc或realloc返回的原始指针，或者是NULL。你这里dataset是通过malloc(10 * sizeof(struct point))申请的连续内存块的起始地址，而dataset + 7是该内存块内部的偏移指针，用它调用free会彻底打乱内存管理器的状态——既不会只释放第7个结构体大小的内存，也不会释放从第7个到末尾的内存，最终结果不可预测：可能导致程序崩溃，也可能埋下隐蔽的内存错误，后续操作出现莫名其妙的问题。

二、移除dataset[9]元素的正确方式 #

你写的free(dataset + 9); dataset = realloc(dataset, 9 * sizeof(struct point));同样错误，原因同上：dataset + 9不是内存块的原始起始指针，直接free属于未定义行为。

如果要将结构体数组从10个元素缩小到9个（移除第9个元素），只需要直接调用realloc即可：

// 直接调整内存块大小为9个结构体的空间
dataset = realloc(dataset, 9 * sizeof(struct point));

但有两个关键注意点：

• 为了避免内存分配失败时丢失原指针，建议先用临时变量接收realloc的返回值：

  struct point *temp_ptr = realloc(dataset, 9 * sizeof(struct point));
  if (temp_ptr != NULL) {
      dataset = temp_ptr;
  } else {
      // 处理内存分配失败的逻辑，比如打印错误、释放原有内存等
  }
  

• 如果struct point中的values成员是动态分配的内存（比如之前用malloc给dataset[9].values分配过空间），在调用realloc之前，必须先手动free(dataset[9].values)，否则这部分内存会变成泄漏——realloc只会调整外层结构体数组的内存，不会自动清理结构体内部的动态分配资源。

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