realloc传入0大小参数的行为及内存异常问题解析

一、为何realloc要求非NULL指针必须来自malloc/calloc/realloc？ #

内存分配器（比如glibc的ptmalloc）会为每个分配的内存块维护额外元数据（如块大小、分配状态、前后块指针等），这些数据通常存放在指针指向地址的前几个字节。如果传入realloc的指针不是合法分配函数返回的，分配器无法找到对应的元数据，要么无法正确释放/调整内存，要么直接破坏堆结构，触发崩溃或未定义行为。因此标准强制要求非NULL的ptr必须是分配器管理的合法指针。

二、测试现象的逐一解释 #

1. malloc(0)后调用realloc(p,0)无内存泄漏 #

在GCC（Ubuntu 9.4.0）的实现中，malloc(0)会返回一个合法的、可被分配器识别的占位指针（并非NULL）。当用这个指针调用realloc(p,0)时，分配器会识别到这是自己管理的内存块，执行释放操作，因此Valgrind检测不到内存泄漏。

2. realloc(NULL,0)被Valgrind提示内存泄漏 #

根据C标准，realloc(NULL, size)等价于malloc(size)。当size=0时，GCC的实现会返回一个非NULL的占位指针（和malloc(0)的返回值类似），本质上这是一个被分配器标记为“已分配”的0大小内存块。如果不对这个返回的指针调用free()，Valgrind会判定这块内存未被释放，因此提示泄漏。

3. realloc(NULL,0)返回非NULL指针，写入触发无效读写且泄漏 #

这个返回的非NULL指针只是分配器的占位标记，它并不指向任何可写入的内存区域（因为分配的大小是0）。对该指针执行写入操作，属于访问超出分配范围的内存，会触发无效读写错误。而内存泄漏的原因和第二个测试一致：这个占位指针对应的内存块需要手动调用free()释放，未执行此操作就会造成泄漏。

关键补充 #

C标准对realloc(p, 0)的行为是实现定义的：

• 当p非NULL时，GCC的实现会直接释放p，因此无泄漏；部分其他实现可能返回一个可被free()的空占位指针。
• 当p为NULL时，所有实现都等价于malloc(0)，返回的指针必须被free()才能避免泄漏。

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