free，标准已经非常明确地说明了这一点(略有改动，重点是我的强调):
例如，如果您双倍释放的地址已在新块中重新分配，而分配它的代码刚好将某些东西存储在那里，看起来像是真正的malloc块头，会发生什么情况呢？像这样：
free函数使其参数指向的空间被释放，即可供进一步分配使用。如果参数是空指针，则不会发生任何操作。否则，如果参数与之前由内存管理函数返回的指针不匹配，或者如果该空间已被free或realloc调用释放，则行为是未定义的。
+- New pointer +- Old pointer
v v
+------------------------------------+
| <Dodgy bit> |
+------------------------------------+
#include <stdio.h>
#include <stdlib.h>
void myFreeVoid (void **p) { free (*p); *p = NULL; }
void myFreeInt (int **p) { free (*p); *p = NULL; }
void myFreeChar (char **p) { free (*p); *p = NULL; }
int main (void) {
char *x = malloc (1000);
printf ("Before: %p\n", x);
myFreeChar (&x);
printf ("After: %p\n", x);
return 0;
}
myFreeXxx 函数，它会同时：
char *newptr = oldptr;
myFreeChar (&oldptr); // frees and sets to NULL.
myFreeChar (&newptr); // double-free because it wasn't set to NULL.
如果您使用的是C11，现在有一种比显式调用不同函数更好的方式，因为C具有编译时函数重载。您可以使用通用选择来调用正确的函数，同时仍然允许类型安全：
#include <stdio.h>
#include <stdlib.h>
void myFreeVoid (void **p) { free (*p); *p = NULL; }
void myFreeInt (int **p) { free (*p); *p = NULL; }
void myFreeChar (char **p) { free (*p); *p = NULL; }
#define myFree(x) _Generic((x), \
int** : myFreeInt, \
char**: myFreeChar, \
default: myFreeVoid )(x)
int main (void) {
char *x = malloc (1000);
printf ("Before: %p\n", x);
myFree (&x);
printf ("After: %p\n", x);
return 0;
}
因此，您只需调用myFree，它将根据类型选择正确的函数。
free检查双重释放，那么 free的实现将需要跟踪每个已释放的地址，并每次检查所有这些地址。更不用说要合理处理曾经被释放然后重新分配给malloc的地址了。你基本上是在建议标准 C 库像valgrind一样运作。有时间通过 valgrind 运行一个程序，看看它有多快。这就是为什么这种簿记会计不会进行，除非你主动要求。 - Tyler McHenry你可能误解了它的行为。如果它立即崩溃，那么它的实现方式是安全的。我可以证明，很久以前 free() 的这种行为并不常见。当时典型的 CRT 实现根本没有进行任何检查。它会快速而猛烈地破坏堆的内部结构，混乱分配链。
程序在堆损坏后很久才会出现问题或崩溃，而没有任何诊断信息，导致它的错误行为难以理解。造成崩溃的代码实际上并不负责崩溃，这是一种难以排查的 Heisenbug。
现代CRT或操作系统堆的实现通常不再存在这种情况。这种未定义行为非常容易被恶意软件利用。同时，它也使你的生活变得更加轻松愉快，你能够快速地找到代码中的 bug。在过去的几年里，它让我远离麻烦，我已经很长时间没有调试无法跟踪的堆破坏了，这真是件好事。
free()函数本身中的额外检查会使您的程序变慢。 您不应该执行双重释放。 管理内存是作为程序员的责任； 不这样做会是编程错误。 这是C语言哲学的一部分：它给你所需的所有力量，但作为一个结果，容易自己犯错。你说：
不明白为什么。每个malloc()都有记账，包括大小。
不一定。我来简单解释一下dlmalloc（用于glibc、uClibc等）。
dlmalloc跟踪空闲空间块。不能有两个相邻的空闲块，它们会立即合并。分配的块根本没有被跟踪！分配的块有一些备用空间用于记账信息（此块的大小、前一个块的大小和一些标志）。当分配的块被free()时，dlmalloc将其插入双向链表中。
当然，所有这些都可以在this dlmalloc article中更好地解释。
free()的基本原理指出：将空指针指定为此函数的有效参数，以减少特殊情况编码的需要。请注意，realloc(p, 0)（以及malloc(0)和calloc的任一参数为0）可能会返回空指针。 - ninjalj