1、一维数组:如定义int a[5];则a是包含5个元素的一维数组。现在我们讨论一维数组的数组名a。记住下面几点:
(1)a是数组名(一维数组的数组名)。
(2)a是一个假想的“指针变量”。
(3)指针变量a所“保存”的值为数组的首地址,也即元素a[0]的地址。
(4)指针变量a本身的地址(a所在内存字节编号)是数组的地址,数值上与元素a[0]的地址相等。
(5)a值不可被改变,是常量。
注意:int *p;数组名a这个指针变量与p指针变量的不同之处在于,数组名a这个指针变量是“假想的”,并不真实存在,而指针变量p是真实的变量。就因为是假想的,所以指针变量a的值是不可以被改变的。数组定义后,它的值就确定了,它的值永远为数组元素的首地址(即元素a[0]的地址)。它的值只能被获取,而永远不能被改变。
2、两个重要公式
数组名a是“指针变量”,具有指针变量的所有特性(只要不改变a值)。指针变量加减整数运算。
a+0<=>&a[0]<=>a:为地址1000
a+1<=>&a[1]:为地址1004
a+2<=>&a[2]:为地址1008
。。。。
也就是:a+i<=>&a[i]
两边同时做*运算:
*(a+i)<=>a[i]
这两个公式不仅适用于数组名,也适用于指针变量,而且适用于所有类型的“指针变量”(包括二级指针乃至更高级别的指针变量)
c语言规定,对于数组元素的[]下标的写法:a[0]、a[1]、a[2].....同样适用于指针变量,如下所示:p[0]、p[1]、p[2].....
p是指针变量,却也可以当做“数组”来用。这种写法是什么意思呢?以上公式同样适用于p,因此p[0]<=>*(p+0)、p[1]<=>*(p+1)、p[2]<=>*(p+2)。如果p的值与a的值相等,则p+i的值就与a+i的值相等,*(p+i)就与*(a+i)的值相等。而后者就等价于a[i].因此:p[0]就是a[0]、p[1]就是a[1]、p[2]就是a[2]......
当在程序中写a[i]或p[i]的时候,c语言并不区分“[]”前的内容究竟是数组名、还是还是指针变量。在编译是,它们都将被编译系统变换为“*(a+i)”或“*(p+i)”的形式,然后在执行,因为后者才是它们的本来面貌。
3、指针变量与一维数组名是等效的
要达到这种等效效果是有两个前提条件的。
(1)指针变量p的值可以被改变,“指针变量”a的值永远不能被改变,在不改变a的值的前提下,p与a二者才能等效。
(2)p的值必须为数组 a的首地址,也即元素a[0]的地址,也即等于a的值。一般须事先将指针变量p赋值为数组的首地址,如执行语句p=a;或p=&a[0];之后p与a才是等效的。
4、间接访问运算符与++、——谁更优先?
间接访问运算符*与++ --是同一优先级额的,当他们同时出现时,应按照从右至左的顺序计算:即先计算邮编的运算符,在计算左边的运算符(有括号除外)。