c - 使用 for 循环在 C 中使用 free()

Question

我正在为我的类(class)编写一个 C 程序，并且我正在进行结对编程。我想知道它是如何不让程序崩溃的。我的合作伙伴在下面添加了这段代码，我运行 valgrind 来测试并查看是否有任何内存泄漏，它似乎很好 - 再一次，我是新手。无论如何，我想知道这段代码是如何工作的，因为当我释放 curr 时，接下来运行的是 curr = curr->link - 但我们只是释放了 curr!那么从内存中取出curr怎么会有链接呢？我认为这样的事情行不通。

这是我的搭档写的:

for(node curr = list->head; curr != NULL; curr = curr->link ){
   if (!dflag) printf("%s\n",curr->words);
   else printf("[%p]\n",curr);
   free(curr->words);
   free(curr);
}

这是我在考虑做的事情，以防 ^ 这个 ^ 崩溃:

for (node curr = list->head; curr != NULL; ) {
   if (!dflag) printf("%s\n",curr->words);
   else printf("[%p]\n",curr);
   node prev = curr;
   curr = curr->link;
   free(prev);
}

此外，这是我们制作节点的方式:

typedef struct node *node;

struct node {
   cstring words;
   node link;
};

Answer 1

仅仅因为您释放了内存并不意味着它的内容已经丢失。您的内容可能会在那里保留一段时间，直到内存返回给 malloc() 的另一个调用者并且调用者写入它。

显然你不能也不应该依赖于此。 valgrind 应该打印出与访问已释放内存相关的错误。

这是我们的老 friend “未定义行为”的实例。虽然我们可以解释为什么它可能会以某种方式运行，但不能保证这会发生，并且根据定义依赖它是错误的。出于这个原因，当这些事情崩溃时你实际上更幸运，因为这些事情很可能会被忽视并在你最意想不到的时候导致各种奇怪的问题。