C语言realloc调用后判断条件!str的具体含义是什么

涉及的代码片段如下：

str = realloc(NULL, sizeof(*str)*size); //size为初始分配大小
if(!str)return str;

具体逻辑拆解 #

• !是C语言的逻辑非运算符，会对操作数的布尔判断结果取反，这里的!str本质就是判断指针str是否为空指针NULL。
• C语言逻辑判断遵循固定规则：空指针NULL的布尔值为假，所有指向有效内存的非空指针布尔值为真：
  • 若realloc内存分配成功，会返回指向新分配内存块的有效非空指针，此时!str计算结果为假，不会进入if分支，程序继续执行后续读取用户输入的逻辑。
  • 若realloc内存分配失败（比如系统剩余可用内存不足、申请的内存大小超出系统限制），会返回空指针NULL，此时!str计算结果为真，进入if分支直接返回NULL，把分配失败的状态传递给上层调用逻辑，避免后续对空指针做读写操作触发段错误等程序崩溃问题。

补充细节 #

这里realloc(NULL, sizeof(*str)*size)是符合C语言标准的合法写法：C标准明确规定，当realloc的第一个传入参数为NULL时，它的行为和malloc完全一致，会直接申请一块参数指定大小的连续堆内存。

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