一个关于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个基本元素的位移,
如果是二维指针,就应该是一行元素的位移,因为二维指针的相当于由一维数组指针组成的数组。