通过指向其第一个元素的指针访问多维数组的中间是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是指向数组行0中具有2个元素的第一个元素的指针，因此p[3]访问数组的末尾，根据7.6.6 [expr.add]，这是UB：

• 将具有整数类型的表达式 J 添加到指针类型的表达式 P 中或从中减去该表达式 J 时，结果的类型为 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 ≤ n。
  • 否则，行为是未定义的。

  我在标准中没有看到对多维数组进行特殊处理的内容，因此我只能得出结论，上面的内容实际上是UB。

  我说的对吗？

  data声明为std:：array的情况如何




Answer 1

是的，你说得对，没有什么可补充的。C型系统中没有多维数组，只有数组（任意数组的数组）。

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