一个关于C语言指针的测试

前几天有个同学让我帮他看一道关于指针的二级题。当时虽然做出来了，但感觉对概念还是有点模糊，所以刚刚就做了一个小测试。

测试代码是这样的：

#include <iostream>
#include <cstdio>

using namespace std;

int main(void)
{
int t[3][3]={1,2,3,4,5,6,7,8,9};
cout<<"t的结果：      "<<t<<endl;
cout<<"*t的结果：     "<<*t<<endl;
cout<<"(*t)+1的结果： "<<*t+1<<endl;
cout<<"(t+1)的结果：  "<<(t+1)<<endl;
cout<<"*(t+1)的结果： "<<*(t+1)<<endl;
cout<<"**(t+1)的结果："<<**(t+1)<<endl;
cout<<"&t[0][1]的结果："<<&t[0][1]<<endl;
cout<<"&t[1][0]的结果："<<&t[1][0]<<endl;
system("pause");
return 0;
}

测试结果是这样的：



观察结果会发现：

t和*t的值是一样的，但是*（t+1）和（*t）+1 的值却是不一样的。

而且（*t）+1的地址就是&t[0][1] 而*(t+1)的地址就是&t[1][0]。

为什么会这样呢??

首先要明确一点：t的值与&t[0][0]，&t[0]和t[0]是相等的。他们都表示数组的首地址。

你可能会问为什么t[0]和t为什么相等，其实你用偏移量就能算出他们是相等了的。（另外注意它们两个都是地址值）

其实t数组是一个二维指针，它的数组名相当于一和行指针的指针数组是首地址，这样说有点绕口，

简单点说可以这样，t[3][3],本身相当于是3个一维数组，t[0],t[1],t[2],分别是三个一维数组。

显然t就是这三个数组的首地址了，很显然t+1的结果就应该是t[1]的地址，t+2就应该是t[2]的地址。

说这么多只是想让大家能更加清楚二维指针的+和 -运算的操作。

而*t这时候也就应该是t[0]了，t也是&t[0]的地址。所以他们是相等的。

但是*(t+1)与(*t)+1是不同的。因为t是一个二维指针，t+1就是t[1]的地址，*(t+1)就是&t[1][0],也就是数组中第4个元素4的地址了。

而(*t)+1中(*t)得到了t[0],注意此时t已经从一个二维指针退化到了一个一维指针了，这是对它+1，就自然是&t[0][1]了。

所以答案就自然而然了。

最后总结一下：

在指针经行运算的时候，主要要弄清指针到底是一维指针还是二维指针。如果是一维指针，那么它的偏移量就应该是1个基本元素的位移，

如果是二维指针，就应该是一行元素的位移，因为二维指针的相当于由一维数组指针组成的数组。