C语言中free释放后的指针与NULL比较是否必然不相等？

你的认知是错误的，给出的示例程序中free(p)之后执行p == NULL判断的行为属于C标准定义的未定义行为，程序最终输出null还是not null没有标准层面的确定性保障。

• 首先澄清一个常见的实现误区：多数主流C运行库的free实现确实不会主动修改传入指针变量本身存储的地址值，因此很多场景下开发者会观察到free后的指针仍保留原地址、和NULL比较返回false，但这只是具体实现的个体表现，不是C标准强制规定的可依赖行为。
• 结合你列出的C标准条款推导：

  3.15 对象：执行环境中可存储表示值的数据存储区域。
  7.22.3.3 free函数规则：free函数会释放ptr指向的内存空间，使其可被后续分配使用。
  内存被释放后，原地址对应的对象已经销毁，不再是标准定义的有效对象。
  6.5.9 指针相等判定规则：两个指针比较相等的充要条件为：两者均为空指针；两者指向同一对象（包含指向对象本身和指向其起始位置子对象的情况）或同一函数；两者均指向同一数组对象最后一个元素的后一位置；或一个指针指向某数组对象末尾后一位置，另一个指针指向地址空间中紧邻该数组排布的另一数组对象的起始位置。
  上述合法的指针比较场景，完全不包含“指针指向已释放的无效内存”的情况，也就是说标准根本没有为这种场景下的相等比较规定确定的行为结果。

• 这种未定义行为的表现没有任何约束：编译器和运行时环境可能让比较返回false（输出not null），也可能让比较返回true（输出null），甚至触发程序崩溃、其他不可预期的逻辑异常，所有结果都在C标准允许的范围内。
• 代码中后续malloc(40)返回的指针q是否复用了之前释放的内存块，完全由内存分配器的实现决定，和p == NULL的判断结果没有关联，也不会改变该比较操作本身的未定义属性。

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