为何《C++ Primer》称无效指针用作条件或比较是未定义行为？

嘿，这个问题问得特别戳痛点——很多刚啃《C++ Primer》的同学都会卡在这儿：“我明明没解引用指针，只是比个地址而已，怎么就成未定义行为（UB）了？”咱一步步拆解清楚：

先搞懂：什么是标准眼里的「无效指针」 #

首先得明确，无效指针≠空指针。空指针是标准明确定义的“不指向任何对象的合法指针”，空指针之间的比较、空指针和其他指针的比较（判断是否为空）都是完全合法的。

而真正的无效指针是这些：

• 指向已经被delete/free的内存的「悬垂指针」
• 指向数组越界位置（且不是数组尾后指针）的指针
• 直接手动赋值的非法地址（比如int* p = (int*)0x12345678）
• 指向已经销毁的局部变量的指针

为什么“只比较不解引用”也会是UB？ #

C++标准对指针比较的合法场景有严格限制：只有指向同一对象的子对象、同一数组的元素/尾后指针、空指针之间的比较，才是定义良好的。超出这个范围的指针比较，标准直接甩锅给“未定义行为”——至于后果，全看编译器和硬件心情，主要有两种坑：

1. 硬件层面的直接异常 #

有些CPU架构会划分用户态/内核态地址空间，或者有某些地址区域是完全禁止用户程序访问的（哪怕只是读取地址值来比较）。如果你的无效指针刚好指向这类区域，执行比较操作时直接触发段错误/硬件异常，程序原地崩溃。

2. 编译器优化的“暗箱操作” #

这才是最隐蔽的坑。编译器会默认你的代码是符合标准的，没有UB。一旦它检测到你在做无效指针的比较，它会直接无视你的逻辑，按照“怎么高效怎么来”的原则优化代码——比如：

int* p = new int;
delete p; // p现在是悬垂指针（无效）
int* q = new int;
if (p == q) {
    std::cout << "地址重复啦！" << std::endl;
}

这段代码看起来是在比较p和q的地址，但因为p是无效指针，编译器可能直接把整个if块删掉——毕竟标准说这种比较是UB，编译器可以随便处理。哪怕实际运行时p和q真的指向同一个内存（因为delete的内存被重新分配），你也看不到预期的输出。

回到《C++ Primer》的那句话 #

它说的“将无效指针用作条件或进行比较属于未定义行为”，其实是在强调：只要指针是无效的（除了空指针的合法情况），哪怕只是拿来做if(p)（本质是和空指针比较）或者p == q这种操作，都违反了标准的规则。

别觉得“我没碰内存就没事”——UB的本质是标准不保证任何行为，程序可能崩溃、可能输出乱码、可能看起来正常但在某个诡异的场景下突然炸锅，完全不可控。

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