对假设数组元素的访问肯定是 UB 吗？

Question

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

根据[expr.sub#1]

表达式 E1[E2] 与 *((E1)+(E2)) 相同（根据定义），除了在数组操作数的情况下，如果该操作数是左值且否则为 xvalue。

其中(E1)+(E2) 由 [expr.add#4.2] 确定

当一个整数类型的表达式 J 被添加到一个指针类型的表达式 P 中或从一个表达式 P 中减去时，结果具有 P 的类型。

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

在本例中，arr + 2 指向假设的数组元素，此处没有 UB。 *(arr+2) 的结果是一个泛泛值，它引用了arr + 2 指向的对象。在当前标准中，没有明确规定指针的间接寻址会导致 UB 以及 [basic.life] 的规范性规则。因此，我认为这个例子有两种解释。一个是在该存储中创建了一个 int 类型的实际对象，在这种情况下，int b = arr[2]; 是明确定义的。另一种解释是，根据 [basic.lval#11]

，该存储中没有对象或其他类型的对象

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

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

在这种情况下，例子被判断为UB。所以，我想知道这个例子肯定是UB还是和我分析的一样（即未指明的情况）？

Answer 1

在本例中，arr + 2 指向假设的数组元素，并且 这里没有UB。 *(arr+2) 的结果是一个泛泛值，它指 到arr + 2指向的对象。

您在这里跳过了一个步骤。 hypothetical 数组元素是假设的。这意味着它实际上并不存在。但是在下一句中，您正在谈论“arr + 2 指向的对象”。该地址没有对象。

您从 [basic.lval#11] 中引用的内容是关于别名的 - 对象确实存在。它不适用于假设对象。

为了澄清您的一个 cmets 的误解，应该注意的是，在 C++ 中，内存可能存在而没有对象存在于该地址。放置 new 的全部目的是在内存中创建一个以前不存在的对象。所以你不能假设arr+2一定有某种对象。