申请空间时malloc(0)会发生什么？

十五年专注C++开发2024-10-13 19:41

在C或C++编程中，当你使用malloc函数申请内存空间时，传递的参数指定了你希望分配的字节数。如果你传递的参数是0，即malloc(0)，那么根据C标准（C99及之后的版本），结果是未定义的（undefined behavior）。然而，在实际实践中，大多数平台和编译器对malloc(0)的行为有一个共同的处理方式。

cpp 复制代码

#include <stdio.h>
#include <stdlib.h>

int main()
{
    char* p = (char*)malloc(0);
    printf("Pointer address: %p\n", (void*)p);

    return 0;
}

按照第一反应，这种时候应该返回空指针NUL，毕竟你没有申请到空间地址，动手实践在Windows上和Linux上分别运行，发现都打印出了地址：

cpp 复制代码

//Windows
Pointer address: 000001ABC6A161B0

cpp 复制代码

//linux
Pointer address: 0xe5e260

复制代码

实际动手可以发现，mallc(0)返回的指针不是空指针。

其实这种涉及到标准库的问题，直接看标准就行，cppreference上对malloc为0的情况有明确的说明：

cpp 复制代码

malloc
C Dynamic memory management 
Defined in header <stdlib.h>
void *malloc( size_t size );

If size is zero, the behavior of malloc is implementation-defined. 
For example, a null pointer may be returned. 
Alternatively, a non-null pointer may be returned; 
but such a pointer should not be dereferenced, 
and should be passed to free to avoid memory leaks.

the behavior of malloc is implementation-defined.是什么意思？

意思就是当malloc接收到一个大小为0的请求时，其行为是由实现定义的。也就是说不同的实现可以选择不同的处理方式。

返回NULL：

许多实现选择在这种情况下返回NULL，因为分配0字节的内存没有实际用途。

返回非空指针：

有些实现可能会返回一个非空指针。这个指针不应被解引用（dereference），并且应该传递给free函数以避免内存泄漏。

综上所述，虽然malloc(0)在实际中可能不会立即导致崩溃，但使用它是不安全的，因为它依赖于未定义的行为。为了避免潜在的问题，最好避免在代码中使用malloc(0)。