溢出二维数组的子数组

根据C++ 语言标准[expr.add], 7.6.6/4，如果我们有一个指向某个元素数组p的i第-个元素的指针n，并且有一个整数值j，那么该指针p + j指向i + j-th 元素 if if 0 <= i + j <= n; 否则，程序的行为是未定义的。

所以下面代码的行为是未定义的：

int arr[2];
int *pi = arr + 3; //UB

但是，如果我们“超越”二维数组的子数组会发生什么？例子：

int arr[2][2];
int (*p)[2] = arr;
int *pi = *p;
pi = pi + 3; //UB?

指针p指向数组的第一个元素arr，即 到类型为 的两个元素的数组int。指针pi指向类型为 的两个元素组成的数组的第一个元素int。在表达式中，尽管我们仍在数组内部，但pi + 3我们走出了两个 type 元素的数组。intarr

问题 1.pi + 3从语言标准的角度来看，表达是否是未定义的行为？

问题 2. 以下代码是否正确：

int arr2[1];
int *pi2 = arr2 + 1;
*pi2; //OK?

我对字符串感兴趣*pi2;。