C语言选择题，关于指针数组。求详解

Question

若有下列定义和语句，则对a数组元素的非法引用是（）。
int a[2][3], (*pt)[3]; pt=a;
A.pt[0][0] B.*(pt+1)[2] C.*(pt[1]+2) D.*(a[0]+2)

Answer 1

int a[2][3]; 定义了一个二维函数，每一维数组有三个元素。
int (*pt)[3]; 定义了一个数组指针，也就是定义了一个指向有三个元素的指针，即该指针，每次自加1，地址跳过三个int
pt=a; 就是让pt指向a[0],注意a[0]是一个数组地址，里面有三个元素
对于A选项，pt[0][0]是正确的，pt[0][0]等价于a[0][0]
对于B选项，不正确，因为pt+1就是a[1], *(pt+1)[2]相当于a[3][0]不对。
因为运算符优先级，[]大于*，因此*(pt+1)[2]就是*pt[1+2] 也就是*a[1+2]。而*a[3]就等价于a[3][0]。越界了
改成(*(pt+1))[2]就对了，相当于a[1][2]
对于C选项，正确，*(pt[1]+2) 相当于a[1][2]
对于D选项，正确，*(a[0]+2)相当于a[0][2]

Answer 2

B.*(pt+1)[2] 选项是错误的。pt已经指向了a,但是pt属于行指针（数组指针），每移动一次要移动3个存储单元，pt+1相当于移动一次（也就是一行），有于方括号的优先级高，所以下来执行的是(pt+1)[2]，表示向后再移动2行并且让指针由行移动变为列移动，然后在执行最前面的*取值，相当于结果是a[3][0],这样的话下标就会越界，所以错误。