关于int (*p)[4]被一维数组和二维数组赋值的区别

在写题目时遇到了下列情况：

void main(){
	int a[4]={1,2,3,4};
	int (*p)[4]=&a;
}

0 error(s), 0 warning(s)

赋值时去掉取地址符时会出现：

error C2440: 'initializing' : cannot convert from 'int [4]' to 'int (*)[4]'
        Types pointed to are unrelated; conversion requires reinterpret_cast, C-style cast or function-style cast

这种无法强制转换问题。

而设置成二维数组时却可以

void main(){
	int a[2][4]={1,2,6,7,8,9,3,4};
	int (*p)[4]=a;
}

0 error(s), 0 warning(s)

但加了取地址符后

error C2440: 'initializing' : cannot convert from 'int (*)[2][4]' to 'int (*)[4]'
        Types pointed to are unrelated; conversion requires reinterpret_cast, C-style cast or function-style cast

获得了上面一维数组没加取地址符一样的错误。

为什么这样要从int(*)[4]这个类型是什么和二维数组和一维数组的不同说起。

从int (*p)[4]可知，p并不是int*型而是int(*)[4]型，即p被定义为指向一维整型数组的指针变量，且一维数组有四个元素。

已知二维数组若只写数组名（此处同用a代表）则a代表&a[0][0]，取a[0][0]的地址；而a[2]的值是a[2][0]的地址这就和一维数组的a代表&a[0]，取a[0]的地址一样，这就是它们的区别——二维的列就是一维的首地址，二维的行就是一维的列，简单来说就是多个长度一样的一维组成一个二维。这样为什么是p=a就清楚了，p已指向一维数组，就像多个长度一样的一维组成一个二维。

如上所述，又清楚了为什么要p=&a（一维数组a），因为p就像多个长度一样的一维组成一个二维，而a是一维数组的首地址，要把它变成二维数组才能达到赋值的效果，如何达到？就是加上取地址符（&），这样p指向一维数组（行）。