在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)
。