如果将 NULL 和大小 0 传递给 realloc() 会怎样？

Question

是否定义了行为实现？如果 NULL 和 size == 0 传递给realloc()：

int main(void)
{
    int *ptr = NULL;

    ptr = realloc(ptr, 0);

    if(ptr == NULL)
    {
        printf("realloc fails.\n");
        goto Exit;
    }

    printf("Happy Scenario.\n");

Exit:
    printf("Inside goto.\n");

return 0;
}

上面的代码应该打印“realloc failed”，对吧？但不是吗？我在某处读到这个对realloc 的调用也可能返回NULL。什么时候发生？

Answer 1

此行为由实现定义。

来自C standard：

第 7.22.3.5 节 (realloc)：

3 如果ptr 是空指针，则realloc 函数的行为类似于指定大小的malloc 函数。 否则，如果ptr 与内存管理先前返回的指针不匹配 函数，或者如果空间已通过调用释放 free 或 realloc 函数，行为未定义。如果 无法为新对象分配内存，旧对象是 未解除分配，其值不变。

所以realloc(NULL, 0) 与malloc(0) 相同

如果我们再看第 7.22.3.4 节 (malloc)：

2malloc 函数为大小由size 指定且值不确定的对象分配空间。

3malloc 函数返回空指针或指向分配空间的指针。

标准没有说明传入0时会发生什么。

但是如果你看看 Linux man page:

malloc() 函数分配 size 个字节并返回一个指向 分配的内存。内存未初始化。 如果大小为 0， 然后malloc() 返回 NULL 或唯一的指针值，它可以 稍后成功传递给free()。

它明确声明返回的值可以被释放但不一定是NULL。

相比之下，MSDN 说：

如果 size 为 0，malloc 在堆中分配一个长度为零的项，然后 返回指向该项目的有效指针。始终检查从 malloc，即使请求的内存量很小。

所以对于 MSVC，你不会得到一个 NULL 指针。

Answer 2

电话

realloc(NULL, size);

等价于

malloc(size);

malloc() 在被要求分配 0 字节时做了什么有点不清楚，标准没有说明。我认为它是实现定义的。基本上“没关系”；它要么返回NULL，要么返回一个指针，您可以在其中合法地访问零字节，这些非常相似。两者都可以传递给free()。

Answer 3

realloc(3) 文档：

如果 ptr 为 NULL，则调用等效于 malloc(size)，对于所有 size 值

malloc(3) 文档：

如果 size 为 0，则 malloc() 返回 NULL，或稍后可以成功传递给 free() 的唯一指针值。

所以是的，它是实现定义的，您将获得 null 或可以释放的指针。