指针数组、数组指针

目录

1.数组元素的访问

2.通过指针访问数组

2.1 通过指针访问一维数组

2.2 通过指针访问二维数组

2.2.1 指向元素的指针

2.2.2 指向每一行的指针（指针数组方式）

2.2.3 指向整个数组的指针（数组指针方式）

3 总结

       数组中的各元素在内存中是连续分布的，要想访问数组中某一元素，那么就必须知道其地址。

       在一维数组中，数组A的元素A[i]的地址&A[i]=A+L*i,其中A为数组的标识符（数组名），也可以用A来代表数组的首地址，L为数组A的数据类型，由此可见，对于一维数组，只需要知道数据类型大小和索引i，就可以知道A[i]的地址，从而就可以访问A[i]了，这也是为什么一维数组的定义可以不指定数组大小，也不会妨碍数组元素的访问。

       二维数组，实际上也是一维数组，只不过这个一维数组的每个元素都是一个一维数组。因此，将二维数组的每一行看做一个元素，很容易可以知道二维数组中各元素在内存中是按行优先进行连续存储的，如定义数组A[3][4]，那么它在内存中的存储情况如下：

        由此也可得到二维数组中元素A[i][j]的地址为&A[i][j]=A+L*（C*i+j），其中A为二维数组A的标识符（数组名），也就是数组的首地址，L为数组元素的数据类型，C为二维数组的列数。由此可见，要知道二维数组中某一元素的地址，就必须知道数据类型大小以及二维数组的列数，这样最终才能实现对二维数组元素的访问，这也是为什么二维数组的定义必须指定列数。

       在理解访问数组的指针之前，我们不得不先理解另一个问题：如果定义一个数组A，按前面所说，A就是数组第一个元素的首地址，那么A+1是什么意思呢？我在第一次遇到这个问题的时候，第一反应是A既然表示的是地址，那么A+1自然就是地址+1了呀！然而事实并非如此，我们先来做个测试如图所示：

       根据测试可知，a+1并非就是a数值上加1，a+2也并非是a数值上加上2，他们实际上两两之间加的是4，即是sizeof(int)，而*a=a[0]=1,*(a+1)=a[1]=2.....由此可以知道，a+i实际上就是a的第i个元素的地址，这与前面&A[i]的地址计算是相匹配的。

       而对于二维数组来说，道理其实是一样的，不过二维数组的元素A[0]表示第一行，A[1]表示第二行......因此，二维数组中A是数组的首地址，也就是第0行A[0]的行首地址，A+1就是第1行A[1]的行首地址，.....，A+i就是第i行A[i]的行首地址了....

 一维数组指针的定义方式如下：

       这里定义了一个指针变量p，它指向一个整型变量，而a实际上也就是a的第一个元素a[0]的地址，因此p就指向了数组的第一个元素a[0]。 那么p+1等于什么呢？实际上，p+1在数值上也就等于a+1，因此，p+1其实就是a[1]的地址，p+i就是a[i]的地址，这样，就可以通过*(p+i)来访问a[i]的值了。如图所示：

      由此可以得出，对于一维数组的数组指针p，数组名p实际上是指向数组第一个元素的指针，即p为int *类型，由于其指向int型数据，因此(p+i)就相当于在p的基础上偏移了i*sizeof(int)的地址大小，就等于数组第i个元素的地址(i=0,1,2....)。

        这种办法可以说是最直接的办法了，定义方式如下：

        在这种定义方式下，对于数组元素的访问就需要一个个元素往后推，结合本文开头所说的，二维数组是按行优先存储的，第i行第j列元素实际上是整个二维数组中的第i*c+j个元素，其中c为二维数组的列数，相对于第一个元素，第i*c+j个元素的地址偏移量为4*(i*c+j)，而由于p为int指针，p+x的地址偏移量为p+4*x，因此a[i][j]=*(p+i*c+j)。

        这种方式是定义指针来指向二维数组的某一行，定义方式如下：

       这里可能会有些迷惑了，为什么这里的指针变量p是指向的a[0]呢？而不能让p指向a呢？

       实际上，前面说过，二维数组实际上是一维数组中每个元素都为一个一维数组，那么此时定义了a[3][4]，a代表什么呢？一定要知道，不管数组a是几维的，它实际上都是一维的，a一定是数组第一个元素的地址，这里的第一个元素是指的将n维数组看做一维数组后的第一个元素。因此，在a[3][4]中，将a看做一维数组后它的每一个元素实际上是每一行，因此如果让指针变量p指向a，就相当于让p指向第0行，而这里的第0行并不是整形变量，因此不能让p指向a；

       而如果让p指向a[0]，实际上就相当于指向a[0]的第一个元素，也就是a[0][0]了，此时的a[0][0]是整形变量，因此让p指向a[0]是可以的，当然，也可以让p指向a[1]、a[2].....如果让p指向第i行，那么此时的p+j就相当于是一维数组中第j个元素的地址了，即p+j就指向了a[i][j]。

       这样看来，对于有r行的二维数组，就需要定义r个指针指向每一行，这样其实就可以定义一个装有r个指针的数组，其中每一个指针分别指向二维数组的每一行，定义方式如下：