valgrind判定char**数组内char*指针free()操作无效的问题

核心错误 #

你犯了两个关键错误，直接导致valgrind报错：

1. 未给floors指针数组分配内存：结构体building里的char** floors是二级指针，它需要先指向一个能容纳10个char*的数组，但你跳过了这一步就直接给B->floors[i]赋值——这本质是在操作随机内存地址，属于未定义行为。虽然printf能“正常”输出只是侥幸没触发崩溃，但这些B->floors[i]根本不是合法的malloc返回地址，free它们自然会被valgrind判定为无效操作。
2. 内存分配大小错误：你给每个floors[i]分配时用了sizeof(char*)，但你要的是存储字符串的char数组，应该用sizeof(char)（或直接写1，因为char的大小固定为1字节）。64位系统下char*是8字节，这会导致你分配的内存是实际需要的8倍，属于不必要的内存浪费。

修正后的完整代码 #

struct building{
  int propertyPrice;
  int totalArea;
  char** floors;
}; // 注意结构体定义末尾要加分号

int main(){
  // 1. 分配结构体内存
  struct building* B = malloc(sizeof(struct building));
  if (!B) { /* 处理分配失败，比如return 1 */ }

  // 2. 先给floors指针数组分配内存（能存10个char*）
  B->floors = malloc(10 * sizeof(char*));
  if (!B->floors) { 
    free(B); // 分配失败时要先释放已分配的结构体
    return 1;
  }

  // 3. 给每个floor分配字符串存储空间（20个char，含终止符）
  for(size_t i=0;i<10;i++){
    B->floors[i] = malloc(20 * sizeof(char));
    if (!B->floors[i]) {
      // 分配失败时回溯释放已分配的内存
      for(size_t j=0;j<i;j++) free(B->floors[j]);
      free(B->floors);
      free(B);
      return 1;
    }
    // 示例：给每个floor赋值字符串
    snprintf(B->floors[i], 20, "Floor %zu", i+1);
  }

  // 访问元素（正常工作）
  for(size_t i=0;i<10;i++){
    printf("%s\n", B->floors[i]);
  }

  // 4. 按从内到外的顺序释放内存
  for(size_t i=0;i<10;i++){
    free(B->floors[i]);
  }
  free(B->floors); // 别忘了释放指针数组本身
  free(B);

  return 0;
}

关键规则 #

• 分配顺序：先外层（结构体），再中层（指针数组），最后内层（每个字符串内存）。
• 释放顺序：和分配相反，先内层（每个字符串），再中层（指针数组），最后外层（结构体）。
• 任何malloc都要做NULL检查，避免空指针操作（你之前省略了，但实际代码里必须加上，否则会触发更严重的问题）。

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