C++中指针有效性与未初始化指针值的交互及UB问题问询

在C++抽象机中，仅构造指向内存无效位置的指针即属于未定义行为（UB）。例如：

int* arr = new int[10];
int* last = arr + 9;  // 指向数组最后一个元素，合法
int* end = arr + 10; // 指向数组末尾的下一个位置，符合规则，合法
int* another = arr + 11;  // 无效指针，触发UB，程序后续行为完全不可预测

再看如下代码：

int* arr;  // 未初始化指针，本身是否属于UB？
int* another = arr;  // 复制未初始化指针的值，是否触发UB？

二者的区别 #

• 未初始化指针的UB触发逻辑：
  仅仅声明未初始化指针（如int* arr;）本身不是UB，它只是一个持有不确定随机值的变量。UB的触发点是读取这个未初始化指针的值（比如int* another = arr;这一步）——因为C++标准禁止读取未初始化对象的值，此时行为完全不可预测。
• 构造无效指针的UB触发逻辑：
  像arr + 11这种通过指针算术构造超出允许范围的指针，操作执行的瞬间就触发UB。C++标准规定，指针算术只能在数组对象的内部，或者刚好指向数组末尾的下一个位置（即arr + 10的情况），超出这个范围的算术操作本身就是非法的，无需后续使用该指针就会导致UB。

风险程度对比 #

二者都属于严重的未定义行为，但表现和影响范围略有差异：

• 未初始化指针的风险：只有在读取其值时才会触发问题，如果只是声明而不使用，程序不会有异常。但一旦读取，可能出现的情况包括：指向有效内存导致意外修改数据、指向无效内存触发崩溃、被编译器优化后出现完全不符合预期的执行流程。
• 构造无效指针的风险：操作执行时就触发UB，编译器可能基于这个UB对整个程序进行任意优化（比如删除后续代码、改变代码执行顺序等），哪怕后续没有使用这个无效指针，也可能导致整个程序的行为完全失控，影响范围可能更广。

不过从实际开发角度来看，二者都是必须严格避免的错误，没有哪一个的风险更低，都可能引发难以排查的诡异bug或程序崩溃。

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