是否通过指向其第一个元素 UB 的指针访问多维数组的中间？

Question

考虑以下代码：

int data[2][2];
int* p(&data[0][0]);
p[3] = 0;

或等效：

int data[2][2];
int (&row0)[2] = data[0];
int* p = &row0[0];
p[3] = 0;

我不清楚这是否是未定义的行为。 p 是指向具有 2 个元素的数组 row0 的第一个元素的指针，因此 p[3] 访问数组的末尾，根据 7.6.6 [expr.add] 是 UB：

• 将整数类型的表达式 J 与指针类型的表达式 P 相加或相减时，结果的类型为 P。
  • 如果 P 的计算结果为空指针值，而 J 的计算结果为 0，则结​​果为空指针值。
  • 否则，如果 P 指向带有 n 元素的数组对象 x 的元素 x[i]，则表达式 P + J 和 J + P（其中 J 的值 j）指向（可能是假设的）元素 x[i+j] 如果 0 ≤ i + j ≤ n 并且表达式 P - J 指向（可能是假设的）元素 x[i−j] 如果 0 ≤ i − j ≤ @ 987654336@.
  • 否则，行为未定义。

我在标准中没有看到任何对多维数组进行特殊处理的东西，所以我只能得出结论，以上实际上是UB。

我说的对吗？

data 被声明为std::array<std::array<int, 2>, 2> 的情况如何？这种情况似乎更有可能是 UB，因为结构可能有填充。

Answer 1

是的，你是对的，没有什么可补充的。 C++类型系统中没有多维数组，只有数组（of arrays of arrays of arrays ad libitum）。

访问超出数组大小的元素是未定义的行为。