这个问题确实挺挠头的——明明代码里明明白白把指针设成nullptr然后直接解引用，而且开了-Wall -Wextra这些大家常用的警告选项，结果clang++ 20.1.0和g++ 15.1愣是一声不吭，甚至还“聪明”到把后面的+1操作直接优化没了，这到底是咋回事？

先贴出咱们讨论的这段代码（换成C语言写法，结果也是完全一致的）：

int main() { 
    int* ptr = nullptr; 
    return *ptr + 1; 
}

下面给你拆解几个关键原因：

• 默认警告集的覆盖范围有限：你开的-Wall和-Wextra虽然包含了绝大多数常见警告，但并没有把空指针解引用的检查纳入其中。这类检查属于更严格的警告类别，编译器默认不会开启——毕竟有些极端场景下，程序员可能是有意写出类似代码（虽然非常少见），或者编译器不想误报那些在运行时未必会触发的边界情况。要触发这个警告，你得手动开启专门的选项，比如-Wnull-dereference（g++和clang都支持这个选项）。
• 未定义行为（UB）的特殊处理逻辑：在C/C++标准里，解引用空指针属于明确的未定义行为——这意味着编译器可以对这段代码做任何操作，包括直接忽略后续的+1操作（就像你看到的那样）。编译器的逻辑是：既然这段代码本身就不符合标准规范，它会优先按照优化规则处理，而不是先抛出警告——它默认程序员不会写出这类UB代码，除非你明确开启了针对UB的警告选项。
• 静态分析的优先级设置：虽然这段代码的空指针解引用看起来一目了然，但编译器的静态分析模块在默认配置下，并不会把这类明显的UB作为优先警告的内容。只有当你开启了对应的专门选项，它才会把这类检查纳入静态分析流程，给你抛出对应的警告提示。

简单来说，就是你需要的这个警告不在默认的“基础警告大礼包”里，得单独加编译选项才能解锁这个检测功能。

内容来源于stack exchange