图解数组指针与多维数组（附：为什么指针加一，地址不一定加一）

这里不是单纯讨论什么是数组指针，什么是指针数组，而是在掌握了一些知识后再回头看看数组指针与数组到底怎么理解。（数组指针：指向数组的指针。指针数组：指针构成的数组）

先放上一道题：



答案是10,20,30。

虽然是很常见的题，对于一个刚开始学C语言可能就可以做出来，但是你确定你真正的理解了么？当你学的多的时候可能就会有其他疑问了。

比如我知道int(*p)[3]中的p是数组指针，也就是p是一个指向长度为3的一个数组的指针。那么我们看看这个指针都可以怎么去用。

我们从基本的一维数组去考虑，这样p指向的只能是长度为3的数组比如

int m[6]={1,2,3};//错误
int m[3]={1,2,3};
p=&m;
cout<<p[0][0]<<"，"<<p[0][1]<<"，"<<p[0][2]<<"，"//打印1,2,3
<<*(m+1)//打印2
<<*(p[0]+1)//打印2
<<*(p[1]+1)<<endl;//打印-858993460，这个数不同机器上，不同情况值是不同的
<<m<<"，"//打印002FFD04
<<&m[0]<<"，"//打印002FFD04
<<&m[0]+1<<"，"//打印002FFD08
<<&m[1]<<endl;//打印002FFD08

这里的p[0][1]看起来可能有点奇怪，不过这恰恰能说明二维数组到底是怎么回事

p是一个指向数组m的指针，那么p[0]其实就是对p的一个解引用，也就是等价于*p，也等价于m

所以p[0][0]也就是m[0]。

这样顺理成章的我们来看看二维数组

int n[][3]={10,20,30,40,50,60};
int (*p)[3];
p=n;
cout<<p[0][0]<<"，"<<p[0][1]<<"，"<<p[1][0] //打印10,20,40
<<"，"<<*(p[1]+1) //打印50
<<"，"<<(*p)[2]<<"，"<<(*p+1)[2]<< //打印30,40
"，"<<p[0]<<"，"<<p[1]<<endl; //打印003AFEF0,003AFEFC
cout<<"，"<<(p+1)[0]<<"，"<<n[1]<< "，" <<*n[1]<< endl; //打印003AFEFC, 003AFEFC，40

就如前面所说的，这次p是一个指向数组n的指针，那么p[0]其实就是对p的一个解引用，也就是等价于*p，也等价于*n，所以p[0][0]也就是n[0][0]。

你可能发现前面多次打印了地址，这个还能说明什么呢？我们发现对指针地址进行加一后，我们的地址并不会直接加一，而是加了一个中间包含数据所占字节数的大小。也就是说，如果指针指向一个int型数据（一般机器上int型都是4个字节），那么加一操作就会在地址上加4，比如上面的&m[0]与&m[0]+1。如果是指向char，加一操作就会在地址上加1。而如果对指向二维数组头的指针加一，那么这个地址就会加上一行数据的总字节数大小比如上面的p[0]与p[1]就分别等价于p与p+1。

看到这里可能还会有疑惑？我让int型的指针执行加一操作时地址也加一不可以么？

我是这样理解的，按照现在的计算机语言情况，最小的数据类型就是单字符，其长度为一个字节。所以你的指针大小至少要能保证指向每一个字节的内容，这样才能保证所有的数据都可以被取到。所以指针可以在加一的同时地址也加一，也就是每个字节对应一个地址。但是当你指向int类型的时候，你的加一操作也是让地址加一的话，你指向的数据就变成了int型第二个字节所组成的数，也就是说你无法获取完整的int类型数据。

最后附上一张地址逻辑的示意图，有助于大家理解。