数组指针和指针数组的区别

原博客地址

数组指针（也称行指针）

定义

int (*p)[n];

()优先级高，首先说明p是一个指针，指向一个整型的一维数组，这个一维数组的长度是n，也可以说是p的步长。也就是说执行p+1时，p要跨过n个整型数据的长度。
如要将二维数组赋给一指针，应这样赋值：

int a[3][4];int (*p)[4]; //该语句是定义一个数组指针，指向含4个元素的一维数组。p=a;        //将该二维数组的首地址赋给p，也就是a[0]或&a[0][0]p++;       //该语句执行过后，也就是p=p+1;p跨过行a[0][]指向了行a[1][]

所以数组指针也称指向一维数组的指针，亦称行指针。
指针数组的大小由数组大小决定。例如对char *p[4]进行sizeof运算，结果为4。如果让p指向一个char a[4]={1,0,0,0}，并对char *p[4]进行强制类型转换为int`后输出，可以得到相应的int值（还可以据此发现系统存储方式到底是Little-Endian还是Big-Endian）

指针数组

定义

int *p[n];

[]优先级高，先与p结合成为一个数组，再由int*说明这是一个整型指针数组，它有n个指针类型的数组元素。这里执行p+1是错误的，这样赋值也是错误的：p=a；因为p是个不可知的表示，只存在p[0]、p[1]、p[2]…p[n-1],而且它们分别是指针变量可以用来存放变量地址。但可以这样 *p=a; 这里*p表示指针数组第一个元素的值，a的首地址的值。
如要将二维数组赋给一指针数组:

int *p[3];int a[3][4];for(i=0;i<3;i++)    p[i]=a[i];

这里int *p[3] 表示一个一维数组内存放着三个指针变量，分别是p[0]、p[1]、p[2]，所以要分别赋值。
这样两者的区别就豁然开朗了，数组指针只是一个指针变量，似乎是C语言里专门用来指向二维数组的，它占有内存中一个指针的存储空间。指针数组是多个指针变量，以数组形式存在内存当中，占有多个指针的存储空间。
还需要说明的一点就是，同时用来指向二维数组时，其引用和用数组名引用都是一样的。
比如要表示数组中i行j列一个元素：

*(p[i]+j)、*(*(p+i)+j)、(*(p+i))[j]、p[i][j]

优先级：()>[]>*

从编译器角度理解数组指针定义

上面回答中经常提到()符号优先级高，但这个“高”，具体体现在哪里，我一直没有理解。最近在StackOverflow上提问时找到了一个非常棒的回答StackOverflow

把原贴内容转PO一下就是：

首先这些规则可以从C标准文档里查到（我在最新版的ISO/IEC9899：201x中的6.7.6节确实也找到了）。由于规则太长，介绍两条与问题相关的。

1.T * D is defined to mean that if the type of D in T D would be “something of/to T”, then the type of D is “something of pointer to T”.
2.T D[N] (where N could be blank or various other things) is defined to mean that if the type of Din T D would be “something of T”, then the type of D is “something of/to array (of dimension N) of T”.

编译器根据以上规则递归地分析语句。比如对于

int *p[4];

编译器眼中看到的是

int * (p[4])     //根据符号优先级可以不加括号，这里为了明确顺序

（以下部分是我根据我对原PO答案的理解进行的解释，也可以看原PO的答案）

此时根据规则1，T=int, D=p[4]。用规则里的话说，p[4] is something of pointer to int。暂且把pointer to int的数据类型称为pointer_of_int
再根据规则2，T=pointer_of_int（这里不用int*因为好像根据标准int*并不是一种数据类型，只是大家习惯这么理解而已），D=p[4]，很显然，D就是个数组，元素是pointer_to_int。
原PO答案里还有其他例子，这里偷懒就不写了。。