1.1 数组指针和指向数组的指针变量
一个变量有一个地址，一个数组包含若干元素，每个数组元素都在内存中占用存储单元，它们都有相应的地址。所谓数组的指针是指数组的起始地址，数组元素的指针是数组元素的地址。
1.1.1 指向数组元素的指针
一个数组是由连续的一块内存单元组成的。数组名就是这块连续内存单元的首地址。一个数组也是由各个数组元素(下标变量)组成的。每个数组元素按其类型不同占有几个连续的内存单元。一个数组元素的首地址也是指它所占有的几个内存单元的首地址。
定义一个指向数组元素的指针变量的方法，与以前介绍的指针变量相同。
例如：
int a[10]； /*定义a为包含10个整型数据的数组*/
int *p； /*定义p为指向整型变量的指针*/
应当注意，因为数组为int型，所以指针变量也应为指向int型的指针变量。下面是对指针变量赋值：
p=&a[0];
把a[0]元素的地址赋给指针变量p。也就是说，p指向a数组的第0号元素。
C语言规定，数组名代表数组的首地址，也就是第0号元素的地址。因此，下面两个语句等价：
p=&a[0];
p=a;
在定义指针变量时可以赋给初值：
int *p=&a[0];
它等效于：
int *p;
p=&a[0];
当然定义时也可以写成：
int *p=a;
从图中我们可以看出有以下关系：
p,a,&a[0]均指向同一单元，它们是数组a的首地址，也是0 号元素a[0]的首地址。应该说明的是p是变量，而a,&a[0]都是常量。在编程时应予以注意。
数组指针变量说明的一般形式为：
类型说明符 *指针变量名；
其中类型说明符表示所指数组的类型。从一般形式可以看出指向数组的指针变量和指向普通变量的指针变量的说明是相同的。
1.1.2 通过指针引用数组元素
C语言规定：如果指针变量p已指向数组中的一个元素，则p 1指向同一数组中的下一个元素。
引入指针变量后，就可以用两种方法来访问数组元素了。
如果p的初值为&a[0],则：
1) p i和a i就是a[i]的地址，或者说它们指向a数组的第i个元素。
2) *(p i)或*(a i)就是p i或a i所指向的数组元素，即a[i]。例如，*(p 5)或*(a 5)就是a[5]。
3) 指向数组的指针变量也可以带下标，如p[i]与*(p i)等价。
根据以上叙述，引用一个数组元素可以用：
1) 下标法，即用a[i]形式访问数组元素。在前面介绍数组时都是采用这种方法。
2) 指针法，即采用*(a i)或*(p i)形式，用间接访问的方法来访问数组元素，其中a是数组名，p是指向数组的指针变量，其处值p=a。
【例10.9】输出数组中的全部元素。（下标法）
main(){
int a[10],i;
for(i=0;i<10;i )
a[i]=i;
for(i=0;i<5;i )
printf("a[%d]=%d\n",i,a[i]);
}
【例10.10】输出数组中的全部元素。（通过数组名计算元素的地址，找出元素的值）
main(){
int a[10],i;
for(i=0;i<10;i )
*(a i)=i;
for(i=0;i<10;i )
printf("a[%d]=%d\n",i,*(a i));
}
【例10.11】输出数组中的全部元素。（用指针变量指向元素）
main(){
int a[10],I,*p;
p=a;
for(i=0;i<10;i )
*(p i)=i;
for(i=0;i<10;i )
printf("a[%d]=%d\n",i,*(p i));
}
【例10.12】
main(){
int a[10],i,*p=a;
for(i=0;i<10;){
*p=i;
printf("a[%d]=%d\n",i ,*p );
}
}
几个注意的问题：
1) 指针变量可以实现本身的值的改变。如p 是合法的；而a 是错误的。因为a是数组名，它是数组的首地址，是常量。
2) 要注意指针变量的当前值。请看下面的程序。
【例10.13】找出错误。
main(){
int *p,i,a[10];
p=a;
for(i=0;i<10;i )
*p =i;
for(i=0;i<10;i )
printf("a[%d]=%d\n",i,*p );
}
【例10.14】改正。
main(){
int *p,i,a[10];
p=a;
for(i=0;i<10;i )
*p =i;
p=a;
for(i=0;i<10;i )
printf("a[%d]=%d\n",i,*p );
}
3) 从上例可以看出，虽然定义数组时指定它包含10个元素，但指针变量可以指到数组以后的内存单元，系统并不认为非法。
4) *p ，由于 和*同优先级，结合方向自右而左，等价于*(p )。
5) *(p )与*( p)作用不同。若p的初值为a，则*(p )等价a[0]，*( p)等价a[1]。
6) (*p) 表示p所指向的元素值加1。
7) 如果p当前指向a数组中的第i个元素，则
*(p--)相当于a[i--]；
*( p)相当于a[ i]；
*(--p)相当于a[--i]。
