我如何知道我是否已成功释放整个单链表数组？

Question

我创建了一个指针数组。我使用其中一些作为单链表的根。 lgroup（指针数组）的大小为 10，j 也可以达到 10。我像这样分配每个 lptr ：

lgroup[i].lptr[j] = (node *) malloc (sizeof(node));

如果我不打算使用它，我设置 curr = lgroup[i].jptr[j]; 和 curr ->下一个= NULL;。 否则，我开始在每个 curr->next 上使用 malloc，然后执行 curr = curr->next;。当我不想向列表中添加更多节点时，我只需输入 curr->next = NULL; 并移至下一个 lptr。相当标准的东西。

在程序结束时，我想释放我为列表声明的所有内存。这就是我尝试这样做的方式：

for (i = 0; i < 10; i++) {
  for (j = 0; j < 10; j++) {
    if (lgroup[i].lptr[j] == NULL) {
      free(lgroup[i].lptr[j]);
      continue;
    } else {
      curr = lgroup[i].lptr[j];
      while(curr->next != NULL) {
        curr2 = curr->next;
        free(curr);
        curr = curr2;
      }
    }
  }
}

问题是，经过大量的试验和错误以及大量“双重释放”和其他类似内容的消息，我最终得到了这段代码，所以我不完全确定是否它实际上释放了我所声明的所有内存，或者它恰好编译和运行时没有错误，但没有执行我想要的所有操作。我尝试在 gdb 上运行它，但通过查看内存地址我真的无法理解很多事情，所以我很好奇是否有一种方法可以检查它是否按我的预期工作，或者我是否注定要使用笔和纸并在我的脑海中运行代码。如果它确实达到了设计目的，是否有一种更简单、更干净的方法来达到相同的结果？

预先感谢您，如果您需要任何说明，请随时在评论中询问。

Answer 1

在 Valgrind 下运行您的代码。这是一个内存分析器，可以做很多事情，但它做的事情之一是在应用程序运行结束时检查未释放的内存。

Answer 2

在您发布的代码中第一次调用 free 不会产生任何效果，因为参数是 NULL 指针（在该上下文中使用 continue 也是不必要的）。

当 lgroup[i].lptr[j] 不为 NULL 且 lgroup[i].lptr[j]->next 时，您似乎也没有为 lgroup[i].lptr[j] 调用 free > 为空。

我会将其重写为：

for (i = 0; i < 10; i++) {
    for (j = 0; j < 10; j++) {
        curr = lgroup[i].lptr[j];
        while (curr != NULL) {
            curr2 = curr->next;
            free(curr);
            curr = curr2;
        }
    }
}