有没有会这个题的家人们？

没有溢出，因为不管是一位数据还是二维数组内存结构都是一段连续的内存，*p在解释的时候会把这些数重新分组，只是工程上这样写代码会被打死罢了

这个代码是ub，不要做这样的题目，它不仅错误而且有害，会让新手以为可以这样写代码。

这就是一段炫技的垃圾代码，其之所以能够成立，是因为二维数组的地址空间是连续的
本题的二维数组逻辑上可表示为下图

又因为地址空间连续，也可以看作是很长的一维数组
题中数组指针p指向a[0][2]，也就是数字3所在位置

输出 (*p)[i] 相当于把它当成了一维数组
数字3所在位置的地址作为一维数组的首地址
你可以把(*p)看作数组名，比如s，这样就是在输出s[0]，s[1]，s[2]，即3，4，5
如果正常使用数组指针，输出(*p)[2]肯定越界了，但是二维数组地址空间是连续的，所以还能正常输出

输出 *p[i] 相当于把它当成了二维数组
每个p[i]都是一个行指针，因为数组指针定义为int (*p)[2]，所以每列只有2个元素
那么p[0]指向第0行，p[1]指向第1行，p[2]指向第2行
根据运算符优先级规则，数组下标[]优先级更高，所以*p[i]实际上是*和p[i]
一维数组有下标形式 a[i] 和偏移量形式 *(a+i)，二者是等价的，即 a[i] <==>*(a+i)
将*p[i]改写为偏移量形式: *p[i] <==> *(p[i]+0) <==> p[i][0]
此处将p[i]当做一个整体，代表行首地址，+0代表不偏移
所以*p[0]<==>p[0][0]，*p[1]<==>p[1][0]，*p[2]<==>p[2][0]
输出的就是行首元素3，5，7

参考楼上，我再解释一下。
在声明int (*p)[2]= &a[0][2]中，p是一个指针，指向一个包含 2 个int类型元素的数组。
表达式(*p)[i],当i=0时，其值为3，当i=1时，其值为4，当i=2时，数组越界，但C编译并不检查越界，而p指向的是二维数组，当i=2时，仍属于二维数组的范围内，此处可以看作是假越界，其值是5.
表达式*p[i],因p是一个指向包含2个int类型元素的数组，所以，可以把*p[i]看作是一个二维数组，参看楼上的图，*p[0]引用3，*p[1]引用5，*p[2]引用7。
当然，就像楼上两位大佬所说，这样的题目确实烂，谁会这样编写程序呢？如果有人这么写程序，一脚把他踹到猪圈里。