如何在接收结构体指针的函数中释放内存并解决Valgrind泄漏问题

跨函数释放内存的可行性 #

可以直接在目标函数内部释放传入的堆内存指针，内存分配与释放的有效性仅和指针指向的地址是否为动态分配的合法地址有关，和函数所在文件、指针声明位置没有关联，只要传入的指针是malloc返回的原始地址（没有被修改偏移），就可以正常完成释放操作。

内存泄漏问题排查 #

你当前Valgrind上报的16字节泄漏，恰好对应dict_create中为dict_t结构体申请的内存大小，优先排查以下两点：

• 首先确认主函数退出前是否显式调用了dict_destroy(dict)，如果没有调用，dict_t结构本身的内存永远不会被释放，就是你当前看到的报错直接原因。
• 如果你已经调用了dict_destroy，说明该函数的实现存在冗余甚至逻辑问题：
  1. 循环结束后el已经是NULL，free(el)是无意义的空操作，可以直接删除。
  2. 循环内调用dict_del删除所有节点时，如果删除头节点的逻辑已经把dict->head置为NULL，后续的free(dict->head)也是无意义的空操作。
  3. 额外需要确认dict_del的实现：是否同时释放了每个节点的key、val指向的动态内存？如果这两个字符串也是动态申请的，只释放节点结构会产生额外的内存泄漏。

修复示例 #

如果是漏调用dict_destroy，主函数补充调用即可：

int main (int argc, char** argv) {
  dict_t* dict = dict_create ();
  // 你的业务逻辑代码
  dict_destroy(dict); // 退出前新增这行
  return 0;
}

如果要优化dict_destroy的实现避免依赖dict_del的逻辑，可以改成更稳妥的版本：

void dict_destroy (dict_t* dict) {
  if (dict == NULL) return; // 增加空指针校验避免崩溃
  dict_list_t* el = dict->head;
  while(el){
    dict_list_t* next_val = el->next;
    // 手动释放每个节点的字符串和节点本身
    free(el->key);
    free(el->val);
    free(el);
    el = next_val;
  }
  free(dict); // 最后释放dict结构体本身即可
}

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