C++笔记——指针数组/数组指针

1、定义
指针数组：array of pointers，即用于存储指针的数组，也就是数组元素都是指针。定义 int *p[n];
数组指针：a pointer to an array，即指向数组的指针。定义 int (*p)[n];

初学者总是分不出指针数组与数组指针的区别。其实很好理解：
指针数组：首先它是一个数组，数组的元素都是指针，数组占多少个字节由数组本身的大小决定，每一个元素都是一个指针，在32 位系统下任何类型的指针永远是占4 个字节。它是“储存指针的数组”的简称。
数组指针：首先它是一个指针，它指向一个数组。在32 位系统下任何类型的指针永远是占4 个字节，至于它指向的数组占多少字节，不知道，具体要看数组大小。它是“指向数组的指针”的简称。
下面到底哪个是数组指针，哪个是指针数组呢：
A)int *p1[10];
B)int (*p2)[10];
这里需要明白一个符号之间的优先级问题。优先级：()>[]>*
p1 先与“[]”结合，构成一个数组的定义，数组名为p1，int* 修饰的是数组的内容，即数组的每个元素。那现在我们清楚，这是一个数组，其包含10 个指向int 类型数据的指针，即指针数组。
至于p2 ，在这里“（）”的优先级比“[]”高，“*”号和p2 构成一个指针的定义，指针变量名为p2，int 修饰的是数组的内容，即数组的每个元素。数组在这里并没有名字，是个匿名数组。那现在我们清楚p2 是一个指针，它指向一个包含10 个int 类型数据的数组，即数组指针。
这里有个有意思的话题值得探讨一下：平时我们定义指针不都是在数据类型后面加上指针变量名么？这个指针p2 的定义怎么不是按照这个语法来定义的呢？也许我们应该这样来定义p2：int (*)[10] p2;
int (*)[10]是指针类型，p2 是指针变量。这样看起来的确不错，不过就是样子有些别扭。其实数组指针的原型确实就是这样子的，只不过为了方便与好看把指针变量p2 前移了而已。你私下完全可以这么理解这点。虽然编译器不这么想。^_^
我们可以借助下面的图加深理解：

2、两者之间的区别
指针数组
定义 int *p[n];
元素表示：*a[i]
注意：在实际应用中，对于指针数组，我们经常这样使用：
typedef int* pInt;
pInt a[4];
[]优先级高，先与p结合成为一个数组，再由int*说明这是一个整型指针数组，它有n个指针类型的数组元素。这里执行p+1时，则p指向下一个数组元素，这样赋值是错误的：p=a；因为p是个不可知的表示，只存在p[0]、p[1]、p[2]…p[n-1],而且它们分别是指针变量可以用来存放变量地址。但可以这样 *p=a; 这里*p表示指针数组第一个元素的值，a的首地址的值。
如要将一维数组赋给一指针数组：

int *p[4]; //指针数组
int c[4]={1,2,3,4};
//将数组c中元素赋给数组a
for(int i=0;i<4;i++)
{
   p[i]=&c[i];
}
//输出看下结果
cout<<*p[1]<<endl; //输出2就对

如要将二维数组赋给一指针数组：

int *p[3];
int a[3][4];
p++; //该语句表示p数组指向下一个数组元素。注：此数组每一个元素都是一个指针
for(i=0;i<3;i++)
{
   p[i]=a[i]
}

这里int *p[3] 表示一个一维数组内存放着三个指针变量，分别是p[0]、p[1]、p[2]所以要分别赋值。

数组指针（也称行指针）
定义 int (*p)[n];
元素表示：(*a)[i]
()优先级高，首先说明p是一个指针，指向一个整型的一维数组，这个一维数组的长度是n，也可以说是p的步长。也就是说执行p+1时，p要跨过n个整型数据的长度。
如要将一维数组赋给一指针，应这样赋值：

int c[4]={1,2,3,4};
int (*b)[4]; //数组指针
b=&c;  //此处&c 和 c 的效果一样都代表c[4]首元素的指针
//输出看下结果
cout<<(*b)[2]<<endl; //输出3就对

如要将二维数组赋给一指针，应这样赋值：

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][]

所以数组指针也称指向一维数组的指针，亦称行指针。

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

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

再论a 和&a 之间的区别

#include<iostream>
using namespace std;

 int main()
{
   char a[5]={'A','B','C','D'};
   char (*p3)[5] = &a;
   //char (*p4)[5] = a;   
   //error: a value of type "char*" cannot be used to initialize an intity of type "char(*)[5]"
   //char (*p1)[3] = &a;  
   //error: a value of type "char(*)[5]" cannot be used to initialize an intity of type "char(*)[3]"
   //char (*p2)[9] = &a;  
   //error: a value of type "char(*)[5]" cannot be used to initialize an intity of type "char(*)[3]"
   cout << &a << endl << p3 << endl << p3+1 << endl;
   return 0;
}

输出：

0033F874
0033F874
0033F879
请按任意键继续......

p3 和p4 都是数组指针，指向的是整个数组。&a 是整个数组的首地址，a是数组首元素的首地址，其值相同但意义不同。在C 语言里，赋值符号“=”号两边的数据类型必须是相同的，如果不同需要显示或隐式的类型转换。p3 这个定义的“=”号两边的数据类型完全一致，而p4 这个定义的“=”号两边的数据类型就不一致了。左边的类型是指向整个数组的指针，右边的数据类型是指向单个字符的指针。
另外，如果把数组大小改小点或者改大点，都将出现错误。
参考：
http://see.xidian.edu.cn/cpp/html/476.html
http://www.cnblogs.com/hongcha717/archive/2010/10/24/1859780.html
https://www.cnblogs.com/Romi/archive/2012/01/10/2317898.html