指针数组与数组指针

今天写代码用到了二维数组，然后就想到了之前看过的指针数组与数组指针的问题，发现自己对这些特别基础的东西还是不够熟练，常常是看过之后感觉很明白，但过段时间再回想就一团乱麻了-_-|||。俗话说“好记性不如烂笔头”，还是趁现思路比较清晰的时候把它记下来吧。

指针数组

指针数组就是数组元素为指针的数组。比如 int *p1[n]，由于[]优先级高于*，所以p1先与[]结合成，形成数组p1[n]，有n个元素的数组，再与 *结合，表示此数组中的元素类型是指向int型的指针。int *p1[n]本质上是个数组，定义了p1[0],p1[1],p1[2]......p1[n-1] n个指针。

数组指针

数组指针是指向数组地址的指针，形式为 int (*p2)[n]，()的优先级比[]高，*和p2构成一个指针的定义，指针变量名为p2，int修饰的是数组的内容，即数组的每个元素。数组在这里并没有名字，是个匿名数组。这个匿名数组的长度是n，也可以说是p的步长。也就是说执行p+1时，p要跨过n个整型数据的长度。

[百度百科]p2是一个指针变量，它指向包含n个int元素的一维数组，此时p的增量以它所指向的一维数组长度为单位；

a 和&a 之间的区别

        对于以下两个表达式：
p2=&a;

p2=a;

        讨论在a分别为一维数组和二维数组时的情况。

对于一维数组，比如int a[4]，a代表的是int型的指针，其地址指向a[0]，对于二维数组比如a[2][4]，a代表的是也是指针，只不过不是简单的int型指针，而是代码中的数组指针，它与一维数组中指针的区别是：当一维数组名a++时(即步长)，指针移动字节数为int型数据所占字节数，即指针指向数组中的第二个元素。但是对于二维数组中a++时，指针移动字节数为列数乘以int型数据所占字节数，即4(代表数组有4列)乘以sizeof(int)，即指针指向二维数组的第二行元素。

先说一下a为一维数组
对于一维数组int a[4]，&a（此时a表示的是数组）代表的是整个数组的首地址，它与a的区别是a是int型指针（数组元素的首地址），但是&a代表是int型数组指针，其值相同但意义不同，&a的步长为一维数组大小乘以int型数据所占字节数，所以:

p2 = a，这两个类型不匹配，因为p为int型数组指针，a为简单int型指针，所以最好别这么用；

p2 = &a，这个表达式刚好类型匹配，它们的步长都是(4 * sizeof(int))。

a为二维数组时的情况
对于二维数组int a[2][4]，对于数组指针int  (*p2)[4]，因为a与p2都是int型数组指针，所以对于p2 = a类型匹配。对于二维数组而言，存在&a的语句，它同样是数组指针，其步长是行数乘以列数乘以int型所占字节数，对于int a[2][4]，&a的步长为2 * 4 * sizeof(int)，所以对于p2 = &a，类型不匹配。