C语言的二数组的指针访问

二维数组的指针访问

——王炳华

指向二维数组的指针及用指针访问二维数组，是学习指针的最大难点。如果真正弄懂了这个问题，就可以说你学会了使用指针。

二维数组的指针

指针就是地址，二维数组的指针就是二维数组在内存中的存储地址。相对于一维数组的地址而言，二维数组的地址稍微复杂一点。

二维数组的地址与一维数组的地址的相同点在于：①、它们的每一个元素都有一个存储地址(称为元素地址)；②、它们都是将全部元素在内存中按顺序占用一段连续的存储空间；即对于一维数组，下标为1的元素的存储单元紧接在下标为0的元素的存储单元之后，下标为2的元素的存储单元紧接在下标为1的元素的存储单元之后……直到最后一个元素。对于二维数组，下标为0的行的各个元素按顺序存储完之后，下标为1的行的元素紧接其后按顺序存储……直到最后一行的最后一个元素。

二维数组的地址与一维数组的地址的不同点是：它除了有元素地址外，还有标识各行起始位置的行首地址(称为行的首地址)。

行的首地址和行的首元素的地址具有相同的地址值，但是它们是两种不同的地址：若有定义int a[5][5]；则a[0][0]是a数组首行首列元素(代表该元素的值)。而&a[0][0]是首行首元素的地址。&&a[0][0]则是首行的首地址。从这个意义上讲，可以说行的首地址是一种二重地址。

行的首地址、行的首元素地址和行的首列元素的值的关系

可以把某行的首地址、某行首列元素的地址、某行首列元素(代表它的值)，看成是由高到低的三个层次。

某行首列元素作一次&运算得到该行首列元素的地址，某行首列元素的地址再作一次&运算得到该行的首地址。

从这个意义上讲，可以说元素的地址是一重地址，而行的首地址是二重地址。

某行的首地址作一次* 或[ ]运算得到该行的首元素的地址，某行的首元素的地址作一次* 或[ ]运算得到该行的首元素的值。

运算符 *、&、[ ] 之间的关系

[ ]运算符

[ ]是下标运算符，只适用于数组和指向数组的指针变量。其优先级与( )同级，高于 * 和& 。结合方向是左结合性(自左至右)。

三者的关系

* 与 & 互为逆运算

* 与 [ ] 等效

[ ] 与 & 互为逆运算

作用

前面已经提到：可以把某行的首地址、某行首列元素的地址、某行首列元素(代表它的值)，看成是由高到低的三个层次。

* 和 [ ] 都是将运算对象从高层向低 层转化。

& 是将运算对象从低层向高层转化。

如：行的首地址作一次* 或[ ] 运算得到该行的首元素的地址。

元素的地址作一次* 或[ ] 运算得到该元素的值。

而元素(代表它的值)作一次&运算得到该元素的地址。

某行的首元素的地址作一次&运算得到该行的首地址。一

数组名是地址常量

若有定义int b[5]；一维数组名b是什么？

b与b+0 是等价的；由于* 与 & 互为逆运算，所以b+0 与&*(b+0) 等价；由于* 与 [ ] 等效，所以*(b+0) 与b[0] 等价，&*(b+0)就与&b[0] 等价。可见一维数组名b与&b[0] 等价。&b[0] 是一维b数组首元素的地址，可见一维数组名b是一维b数组首元素的地址，也称为一维数组的基地址。

若有定义int a[5][5]；二维数组名a是什么？

a与a+0 是等价的；由于* 与 & 互为逆运算，所以a+0 与&*(a+0) 等价；由于* 与 [ ] 等效，所以*(a+0) 与a[0] 等价，&*(a+0)就与&a[0] 等价。

&a[0]与&a[0]+0是等价的。由于* 与 & 互为逆运算，所以

&a[0]+0与&*(&a[0]+0) 等价；由于* 与 [ ] 等效，所以*(&a[0]+0) 与&a[0][0] 等价，&*(&a[0]+0) 就与&&a[0][0] 等价，可见二维数组名a与&&a[0][0] 等价。

&&a[0][0] 是二维数组a的首行的首地址，可见二维数组名a是二维数组a的首行的首地址。

必须指出：数组名是一种地址常量，不能作++、 --、+=、- = 、= 等运算；可以作+运算，不能作 – 运算；可以作* 运算，一般不作&运算；可以与指向本数组的同类型的指针作关系运算，一般不作逻辑运算。

行的首地址、元素的地址及元素的值的常见形式

行的首地址的表示形式

若有一个m行n列的二维数组a [m][n] 。数组名a是它的首行的首地址，也即是它0行的首地址。

从刚才的推导出：二维数组a 的首行的首地址有a 、 a+0 、 &a[0] 、&a[0]+0以及&&a[0][0]等五种形式。

由于a+0是0行的首地址。a+1就是1行的首地址，a+i就是i行的首地址。

由于* 与 & 互为逆运算，a+i与&*(a+i) 等价，由于*