C标准中何项允许编译器将(p-1)==NULL优化为false？

编译器能将(p - 1) == NULL优化为false，核心依据是C标准中关于指针算术合法性和空指针特性的两项关键规定：

1. 指针算术的约束（C17 §6.5.6） #

C标准明确要求，指针减法操作仅在以下场景中是定义良好的：

• 两个指针都指向同一个数组对象的元素；
• 其中一个指针指向数组末尾的下一个位置（此时减法结果指向数组的最后一个元素）。

如果p - 1的结果是空指针（NULL），意味着p的值等于NULL + 1（假设空指针的表示值为0）。但此时p并非指向任何对象/数组元素，也不是数组末尾的下一个位置——这样的指针属于无效指针，对其执行p - 1的操作本身就是未定义行为。

编译器有权假设程序不会触发未定义行为，因此可以推断：在定义良好的程序中，p必然是一个有效的指针，p - 1的结果要么指向另一个合法对象，要么指向数组元素，绝不可能是空指针。

2. 空指针的特性（C17 §6.3.2.3） #

C标准规定：空指针保证与任何指向对象或函数的指针都不相等。而合法的p - 1操作结果必然是指向某个对象或数组元素的指针（或数组末尾的前一个元素），因此它不可能等于NULL。

综上，编译器基于这些标准规定，可以安全地将函数返回值优化为false。

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