这是否访问了一个假设的数组元素肯定是UB？

Question

int arr[2];
int b = arr[2];

根据 [执行子 #1]

表达式E1[E2]（根据定义）与*（（E1）（E2））相同，但对于数组操作数，如果该操作数是左值，则结果是左值；否则结果是xvalue。

其中 （E1） （E2） 由 [expr.add#4.2] 确定

将具有整数类型的表达式 J 添加到指针类型的表达式 P 中或从中减去该表达式 J 时，结果的类型为 P。

• […]
• 否则，如果P指向具有n个元素的数组对象x的数组元素i（[dcl.array]），则表达式P J和J P（其中J的值为J）指向x的（可能是假设的）数组元素ij，如果为0≤ i j（i j）≤ n和表达式P-J指向（可能是假设的）x的数组元素i-J，如果为0≤ i-j≤ n
• 否则，行为是未定义的

在本例中，arr 2指向假设的数组元素，这里没有UB。*（arr 2）的结果是一个glvalue，它引用了arr 2intb=arr[2]定义良好。另一种解释是，根据[basic.lval#11]，该存储中没有对象或其他类型的对象

如果程序试图通过类型与以下类型之一不相似的glvalue访问对象的存储值，则行为未定义：

• 对象的动态类型，
• 与对象的动态类型对应的有符号或无符号类型的类型，或
• […]

在本例中，该示例被判断为 UB。所以，我想知道这个例子肯定是UB还是与我分析的相同（即，一个未指定的案例）？

Answer 1

在这个例子中，arr 2指向假设的数组元素，这里没有UB。*（arr 2）的结果是一个glvalue，它引用了arr 2指向的对象。

你在这里跳过了一步。假设的数组元素是假设的。这意味着它实际上并不存在。但在下一句话中，你说的是“arr2指向的对象”。该地址没有对象。

您引用的[basic.lval#11]中的一点是关于别名的，即对象确实存在的地方。它不适用于假设对象。

为了澄清你评论中的一个误解，应该注意的是，在C语言中，内存可以在该地址不存在对象的情况下存在。放置new的全部目的是在内存中创建一个以前不存在的对象。所以你不能假设在arr 2处一定有某种对象。