为什么C语言中允许向free()传递NULL空指针作为参数？

首先需要澄清认知误区：

你提到的「free()仅可用于释放通过malloc()、calloc()或realloc()显式分配的内存」的通用规则本身带有隐含前提：只有当传入free()的指针不是NULL时，才需要满足该要求。C标准明确规定free(NULL)属于合法调用且无任何操作，二者完全自洽，不存在规则冲突。

允许free(NULL)的核心设计逻辑包括以下几点：

• 减少冗余代码，简化释放逻辑：开发者无需在每次调用free()前手动编写非空判断代码，尤其在包含多个动态分配成员的结构体销毁、多分支退出的函数资源清理等场景下，能大幅精简代码量，提升可读性。
• 提升清理逻辑的鲁棒性：动态内存分配本身就存在失败返回NULL的可能，如果free()不支持空指针输入，开发者需要为每一个可能分配失败的指针单独添加非空判断后再执行释放，稍有遗漏就会触发空指针访问崩溃。允许free(NULL)后，统一的清理流程无需关注单个指针的分配状态，直接批量调用释放即可，大幅降低出错概率。
• 符合底层接口的容错设计原则：NULL本身就是malloc系列分配函数的合法返回值，作为对应的释放接口，free()主动兼容这个合法边界输入做无操作处理，避免所有上层调用者重复实现相同的边界判断逻辑，整体提升开发效率，也不会引入额外的运行时负担。

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