C++：空指针转引用及读取操作是否属于未定义行为？

先看你提供的代码：

int main() {
    int* ptr = nullptr;
    int& ref = reinterpret_cast<int&>(ptr);
    return ref;
}

你的问题核心是：转换操作本身是否属于未定义行为（UB），还是仅读取引用的操作才是UB？

答案是：将ptr转换为ref的绑定操作本身就已经是未定义行为，后续读取ref的操作只是UB的延续，并非唯一的UB触发点。

具体原因如下：

• C++标准明确要求，引用必须绑定到一个有效的对象（或函数）上，引用的本质是某个实体的别名，不存在“空引用”的合法状态。
• 这里ptr是nullptr，并没有指向任何有效的int对象。使用reinterpret_cast<int&>(ptr)试图创建一个绑定到不存在的int的引用，直接违反了引用的语义要求，属于标准定义的未定义行为。
• 编译器没有对转换操作发出诊断，是因为reinterpret_cast属于底层强制转换，编译器在编译阶段无法完全验证这类转换的运行时有效性，即便开启-Wall -Wextra -pedantic也可能不触发警告，但这并不代表该行为合法。
• GCC提示的“空指针解引用”，是读取ref时的外在表现，但实际上从引用绑定到无效地址的那一刻起，程序就已经进入了未定义行为状态，后续的任何操作（包括读取引用）的结果都完全不受标准保证。

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