预计阅读本页时间:-
在第9章“函数”中提到过,指针提供了一种用来使用地址的符号方法。由于计算机的硬件指令很大程度上要依赖于地址,所以指针使您能够以类似于计算机底层的表达方式来表达自己的意愿。这使得使用了指针的程序能够更高效地工作。特别地,指针能够很有效地处理数组。我们将看到,数组标记实际上是一种变相使用指针的形式。
我们举一个这种变相使用的例子:数组名同时也是该数组首元素的地址。也就是说,如果flizny是一个数组,下面的式子是正确的:
广告:个人专属 VPN,独立 IP,无限流量,多机房切换,还可以屏蔽广告和恶意软件,每月最低仅 5 美元
flizny和&flizny[0]都代表首元素的内存地址(回忆一下,&是地址运算符)。两者都是常量,因为在程序的运行过程中它们保持不变。然而可以把它们作为赋给指针变量的值,然后您可以修改指针变量的值,如程序清单10.8所示。请注意给指针加上一个数的时候,它的值会发生什么变化(回忆一下,指针说明符%p通常以十六进制形式显示值)。
程序清单10.8 pnt_add.c程序
输出结果如下:
第2行打印两个数组的起始地址,第3行是地址加1的结果,等等。请注意地址是十六进制的,因此30比2f大1,比28大8。怎么回事?
0x0064fd20 + 1 等于 0x0064fd22?
0x0064fd30 + 1 等于 0x0064fd38?
真奇怪!我们的系统是按字节编址的,但是short类型使用2个字节,double类型使用8个字节。在C中,对一个指针加1的结果是对该指针增加1个存储单元(storage unit)。对于数组而言,地址会增加到下一个元素的地址,而不是下一个字节(请参见图10.3)。这就是为什么在声明指针时必须声明它所指向对象的类型。计算机需要知道存储对象所用的字节数,所以只有地址信息是不够的(即使指针是指向标量的,也需要声明指针类型;否则*pt操作不能正确返回数值)。
图10.3 数组和指针加法
现在我们能够清楚地定义指向int的指针、指向float的指针,以及指向其他数据对象的指针:
● 指针的数值就是它所指向的对象的地址。地址的内部表示方式是由硬件来决定的。很多种计算机(包括PC机和Macintosh机)都是以字节编址的,这意味着对每个内存字节顺序进行编号。对于包含多个字节的数据类型,比如double类型的变量,对象的地址通常指的是其首字节的地址。
● 在指针前运用运算符*就可以得到该指针所指向的对象的数值。
● 对指针加1,等价于对指针的值加上它指向的对象的字节大小。
下面的等式体现出了C的优点:
这些关系总结了数组和指针间的密切关系:可以用指针标识数组的每个元素,并得到每个元素的数值。从本质上说,对同一个对象有两种不同的符号表示方法。C语言标准在描述数组时,确实借助了指针的概念。例如,定义ar[n]时,意思是*(ar+n),即“寻址到内存中的ar,然后移动n个单位,再取出数值”。
顺便提一下,请注意区分*(dates+2)和*dates+2。间接运算符(*)的优先级高于+,因此后者等价于:(*dates)+2。
理解了数组和指针的关系,编程的时候就可以方便地选择两者中任意一种方法。例如,程序清单10.9和程序清单10.1编译后的运行输出结果一样。
程序清单10.9 day_mon3.c程序
此处,days是数组首元素的地址;days+index是元素days[index]的地址;*(days+index)是这个元素的值,与days[index]等价。每次循环会依次引用一个数组元素,并打印出该数组元素的内容。
这样编写程序有优势吗?不一定。程序清单10.9的例子只是用来表明指针和数组是两个等效的方法。这个例子表明可以使用指针来标记数组;反之亦然,也可以用数组方式来访问指针。当设计程序时,如果用到数组作为函数的参数,那么这一点就是很重要的。