c++ - 如果我取消引用空指针，为什么操作系统不会崩溃？

Question

取消引用空指针会导致未定义的行为。实际上，它通常 意味着我的程序会崩溃。但是为什么操作系统没有崩溃？因为如果我的程序解引用了一个空指针，而我的程序是由操作系统运行的，那么，根据逻辑传递性规则，这意味着操作系统试图解引用一个空指针。为什么操作系统不进入“未定义行为”状态？

Answer 1

C++ 标准没有定义行为，无论是保证崩溃还是做任何其他事情。这不会阻止操作系统定义行为 - 它不是 C++ 程序，因此它不必遵守 C++ 程序的“规则”^[1]。即便如此，操作系统也不会取消引用指针本身。

在大多数现代平台上，访问取消引用指针的目标将导致内存管理硬件引发异常(通常称为“段错误”或“保护错误”)。这是由内核捕获的，内核可以确定是哪个进程干的，然后终止该进程或向其发送信号。

因此，在这样的平台上，取消引用空指针的进程的默认行为将是崩溃；操作系统本身没有任何理由崩溃。

^[1] _{我的意思是程序应该格式良好并避免未定义行为的非正式“规则”——不要与 C++ 的正式“规则”混淆语言标准指定的实现。}