解引用volatile空指针是否为未定义行为？cv::setBreakOnError安全性探讨

一、解引用空指针的标准争议 #

关于解引用空指针是否属于未定义行为，目前存在明确分歧：

• 有观点依据C++标准委员会的DR 1102缺陷报告，认为解引用空指针并非未定义行为，相关的争议注释也因此被移除
• 但行业普遍共识仍将解引用空指针归类为未定义行为

二、cv::setBreakOnError(true) 的实现与实际效果 #

cv::setBreakOnError(true) 的设计目的是在程序触发error()时主动引发访问冲突（Access Violation），方便调试排查问题。其核心实现代码如下：

if(breakOnError)
{
    static volatile int* p = 0;
    *p = 0;
}

未定义行为风险与实际表现 #

从C++标准的严格定义来看，这段代码中对空指针p的解引用操作属于未定义行为，理论上可能导致程序出现任意不可预测的异常。但实际测试显示，在Windows和Linux平台上，该函数几乎总能按预期触发访问冲突，达到中断程序以便调试的目的。

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