malloc()参数为0的情况

下面的代码片段输出是什么？为什么？

char *ptr;
if((ptr = (char *)malloc(0))==NULL)
    puts("Got a null pointer");
else
    puts("Got a valid pointer");

 解析：......故意把0值传给了函数malloc，得到了一个合法的指针，这就是上面的代码，该代码的输出是"Got a valid pointer"。

 

　　这个“解析”根本就没有解析嘛。好在查资料很方便，《C语言参考手册》上说“如果请求的长度为0，则标准C语言函数返回一个null指针或不能用于访问对象的非null指针。”或者你也可以直接在linux里man malloc来查阅手册：

void *malloc(size_t size);

...

malloc() allocates size bytes and returns a pointer to the allocated memory. The memory is not cleared. If size is 0, then malloc() returns either NULL, or a unique pointer value that can later be successfully passed to free().

　　可见，原题的if是为了鉴别malloc()返回值是NULL，还是一个唯一的待释放指针；而不是“解析”中的必然是非NULL的“合法指针”，因此输出也不是确定的，尽管我用gcc和clang多次编译运行，输出都是"Got a valid pointer"。

　　顺便再说说后面的代码，同样出自《程序员面试宝典》：

将程序改成：

char *ptr;
if(int pp = (strlen(ptr=(char *)malloc(0))) == 0)
    puts("Got a null pointer");
else
    puts("Got a valid pointer");

或者

char *ptr;
if(int pp = (sizeof(ptr=(char *)malloc(0))) == 4)
    puts("Got a null pointer");
else
    puts("Got a valid pointer");

如果求ptr的strlen的值和sizeof的值，该代码的输出是"Got a null pointer"。

　　第一段程序的分析和上面一样，如果不幸返回了一个唯一的待释放非NULL指针，行为不可预测；只不过这个if判断写的有些繁琐：注意到“==”优先级高于"="，而赋值语句的值是其左值。

　　此时malloc(0)返回了一个可用于free()释放的唯一指针（非NULL），而且将它传给strlen()，返回值为0，这样看来，它用'\0'进行填充的（即内容是NULL而非指针指向NULL）。但这一点并没有在man中提到，个人猜测是和实现有关的。
　　除此以外，顺便考察了strlen((char*)NULL)的行为：会导致段错误。

　　第二段程序呢，sizeof()里写了一大堆，其实只是计算了sizeof(char *)，在32位机上结果当然是4，而sizeof()里面的malloc()根本没有执行。和前面两段代码不同，关键点不在malloc而是sizeof。

　　对于Dic4000提到的问题“实际项目中什么情况下会给malloc传0?既然是开辟内存，传0不是没有意义吗？”的个人理解：

1.一般确实不会直接写malloc(0)，但是可能在程序某个地方写int n;int *p = malloc(n);在别的地方又令n=0，造成了参数为0的情况。若是无心而为，可能导致某种bug。如果了解malloc(0)的行为，找bug相对而言会简单点。

2.面试题各种稀奇古怪的问题都有可能出现，有的面试官认为考这些边界条件、特殊参数什么的能考察一个程序员的功底