C语言中,数组和指针密不可分,他们在系统内部实现上有着近乎一致的特性,只有在极少数情况下才需要人为区分,以后会讲到。
1、数组特性试验,相关代码及内存状态如下:
分析:
通过查看array1和array2的内存空间状态,可以看到即便是多维数组,内存空间也是扁平化分布的。在C语言中只有一维数组的概念,多维数组在系统内部也是开辟的一块平坦连续的内存空间,如果只看内存地址空间,是看不出来多维数组的行列数的,比如array1和array2。二维数组就是一个一维数组,数组内部的元素是另外的一个数组,多维数组也是类似递归定义的。
C语言数组的大小必须在编译期就作为一个常数确定下来,不能在运行时用变量来定义数组大小。不过C99好像允许变长数组,这就看编译器是不是支持了。
数组有两个确定的参数:数组大小、下标为0的元素地址。数组的下标操作实际上都是通过指针来进行的,他们之间都有一一对应的关系。我们要能够深入理解这些关系,对指针和数组的运算做到自由切换,毫无障碍。
2、进一步验证数组特性,代码及结果如下:
分析:
可以看到,正常情况下array1是没有[1][5]这个偏移的,但系统确实能正确读取到相关数值。array[1][5]表示第2行的第6个数据,一行有4个数据,则4+6,切换到数组上就是array[2][1],表示第3行的第2个数据,一行有4个,2*4+2。可以再次验证:数组内部数据是扁平化连续分布的,而且是内部转换成指针操作的。
这里为了举例,进行的特殊表示,正常情况绝对不允许这么表示数组数据,否则极有可能造成数据溢出。其实array[1][5]等价于*(*(array+1)+5),系统内部会转换成指针的形式,指针操作基本是没有边界检查的,这就造成了刚才那种违规操作的实现。
至于数组和指针之间如何实现的无缝转换,尤其是多维数组和指针,期待下次能分解到。
靠谱推荐:Free Pos,微信JOCIHEZ