指针数组和数组指针

本文转载自http://c.biancheng.net/cpp/html/476.html，但有修改，如有需要，请参考原文

指针数组和数组指针

一、指针数组和数组指针的内存布局

**指针数组：**首先它是一个数组，数组的元素都是指针，数组占多少字节由数组本身决定。它是“存储指针的数组”的简称。
**数组指针：**首先他是一个指针，它指向一个数组。在32位系统下永远是站4个字节，至于它指向的数组占多少字节，不知道。它是指向数组的指针的简称.

指针数组：
int *p1[10]
数组指针：
int (*p2)[10]

“[]”的优先级比“*”要高。p1 先与“[]”结合，构成一个数组的定义，数组名为p1，int 修饰的是数组的内容，即数组的每个元素。那现在我们清楚，这是一个数组，其包含10 个指向int 类型数据的指针，即指针数组。至于p2 就更好理解了，在这里“（）”的优先级比“[]”高，“”号和p2 构成一个指针的定义，指针变量名为p2，int 修饰的是数组的内容，即数组的每个元素。数组在这里并没有名字，是个匿名数组。那现在我们清楚p2 是一个指针，它指向一个包含10 个int 类型数据的数组，即数组指针。我们可以借助下面的图加深理解：

二、int (*)[10] p2-----也许应该这么定义数组指针

这里有个有意思的话题值得探讨一下：平时我们定义指针不都是在数据类型后面加上指针变量名么？这个指针p2 的定义怎么不是按照这个语法来定义的呢？也许我们应该这样来定义p2：

   int (*)[10] p2;

int(*)[10] 是指针类型，p2 是指针变量。这样看起来的确不错，不过就是样子有些别扭。其实数组指针的原型确实就是这样子的，只不过为了方便与好看把指针变量p2 前移了而已。你私下完全可以这么理解这点。虽然编译器不这么想。

三、再论a 和&a 之间的区别
既然这样，那问题就来了。前面我们讲过a 和&a 之间的区别，现在再来看看下面的代码：

int main()
{
   char a[5]={'A','B','C','D'};
   char (*p3)[5] = &a;
   char (*p4)[5] = a;//这种写法是错误的，因为=左边是指向的一个数组，而右边却是数组a的首元素的地址，虽然值相同，但是意义却不相同
   return 0;
}

上面对p3 和p4 的使用，哪个正确呢？p3+1 的值会是什么？p4+1 的值又会是什么？毫无疑问，p3 和p4 都是数组指针，指向的是整个数组。&a 是整个数组的首地址，a是数组首元素的首地址，其值相同但意义不同。如何理解这个不一样呢？我们可以这样考虑，写&a的时候，编译器知道我要传的是一个数组，而写a的时候编译器仅仅会把数组的首元素的地址传进去，导致传的数据不足数组指针的指向数组的长度5。在C 语言里，赋值符号“=”号两边的数据类型必须是相同的，如果不同需要显示或隐式的类型转换。p3 这个定义的“=”号两边的数据类型完全一致，而p4 这个定义的“=”号两边的数据类型就不一致了。左边的类型是指向整个数组的指针，右边的数据类型是指向单个字符的指针。这个时候如果p3+1偏移的就是整个一维数组的长度即5个char的长度。

四、如果变成二维数组呢？

#include<iosteam.h>
void main()
{
    int n[][3] = {10,20,30,40,50,60};
    int (*p)[3];
    p=n;
    cout<<p[0][0]<<","<<*(p[0]+1)<<","<<(*p)[2]<<endl;
    //10 20 30
}

这个时候p=n是正确的，要理解这个概念就要明白一维数组和二维数组的名字的含义。

int arr1[10];
int arr2[3][10];

一维数组名的含义：一维数组名arr1代表的是这个一维数组首元素的首地址，如果要表示整个一维数组的话可以&arr1来表示。
二维数组名的含义：二维数组arr2可以看成是多个一维数组名组成的，所以二维数组可以看成是一维数组的一维数组，那么二维数组名代表的是其中第一个一维数组。

在上述的代码中，p=n代表的是指针p指向二维数组中的第一行，而这个时候p[0]可以看做是p走0个步长，即还是二维数组中的第一行，p[0][0]则是这个行中的第一个元素，即为10，*(p[0]+1),即还是在这一行中，步长为1代表这一行内步长加1，即p[0][1],(*p)和p[0]的意义相同（例如一维数组int a[10],*a和a[0]的取值是一样的），所以(*p)[2]表示的是这一行中第二个元素，即为30.