指针的指针

10.7   指针数组和指向指针的指针

10.7.1 指针数组的概念

    一个数组的元素值为指针则是指针数组。 指针数组是一组有序的指针的集合。 指针数组的所有元素都必须是具有相同存储类型和指向相同数据类型的指针变量。

指针数组说明的一般形式为：

    类型说明符 *数组名[数组长度]

其中类型说明符为指针值所指向的变量的类型。

例如：

int *pa[3]

表示pa是一个指针数组，它有三个数组元素，每个元素值都是一个指针，指向整型变量。

 【例10.33】通常可用一个指针数组来指向一个二维数组。指针数组中的每个元素被赋予二维数组每一行的首地址，因此也可理解为指向一个一维数组。

main(){

int a[3][3]={1,2,3,4,5,6,7,8,9};

int *pa[3]={a[0],a[1],a[2]};

int *p=a[0];

  int i;

  for(i=0;i<3;i++)

      printf("%d,%d,%d/n",a[i][2-i],*a[i],*(*(a+i)+i));

  for(i=0;i<3;i++)

      printf("%d,%d,%d/n",*pa[i],p[i],*(p+i));

}

本例程序中，pa是一个指针数组，三个元素分别指向二维数组a的各行。然后用循环语句输出指定的数组元素。其中*a[i]表示i行0列元素值；*(*(a+i)+i)表示i行i列的元素值；*pa[i]表示i行0列元素值；由于p与a[0]相同，故p[i]表示0行i列的值；*(p+i)表示0行i列的值。读者可仔细领会元素值的各种不同的表示方法。

应该注意指针数组和二维数组指针变量的区别。这两者虽然都可用来表示二维数组，但是其表示方法和意义是不同的。

二维数组指针变量是单个的变量，其一般形式中"(*指针变量名)"两边的括号不可少。而指针数组类型表示的是多个指针(一组有序指针)在一般形式中"*指针数组名"两边不能有括号。

例如：    int (*p)[3];表示一个指向二维数组的指针变量。该二维数组的列数为3或分解为一维数组的长度为3。    int *p[3]表示p是一个指针数组，有三个下标变量p[0]，p[1]，p[2]均为指针变量。

指针数组也常用来表示一组字符串，这时指针数组的每个元素被赋予一个字符串的首地址。指向字符串的指针数组的初始化更为简单。例如在例10.32中即采用指针数组来表示一组字符串。其初始化赋值为：

    char *name[]={"Illagal day",

                  "Monday",

                  "Tuesday",

                  "Wednesday",

                  "Thursday",

                  "Friday",

                  "Saturday",

                  "Sunday"};

    完成这个初始化赋值之后，name[0]即指向字符串"Illegal day"，name[1]指向"Monday"......。

指针数组也可以用作函数参数。

【例10.34】指针数组作指针型函数的参数。在本例主函数中，定义了一个指针数组name，并对name 作了初始化赋值。其每个元素都指向一个字符串。然后又以name作为实参调用指针型函数day_name，在调用时把数组名name赋予形参变量name，输入的整数i作为第二个实参赋予形参n。在day_ name函数中定义了两个指针变量pp1和pp2，pp1被赋予name[0]的值(即*name)，pp2被赋予name[n]的值即*(name+ n)。由条件表达式决定返回pp1或pp2指针给主函数中的指针变量ps。最后输出i和ps的值。

main(){

  static char *name[]={ "Illegal day",

                        "Monday",

                        "Tuesday",

                        "Wednesday",

                        "Thursday",

                        "Friday",

                        "Saturday",

                        "Sunday"};

  char *ps;

  int i;

  char *day_name(char *name[],int n);

  printf("input Day No:/n");

  scanf("%d",&i);

  if(i<0) exit(1);

  ps=day_name(name,i);

  printf("Day No:%2d-->%s/n",i,ps);

}

char *day_name(char *name[],int n)

{

  char *pp1,*pp2;

  pp1=*name;

  pp2=*(name+n);

  return((n<1||n>7)? pp1:pp2);

}

【例10.35】输入5个国名并按字母顺序排列后输出。现编程如下：

#include"string.h"

main(){

  void sort(char *name[],int n);

  void print(char *name[],int n);

  static char *name[]={ "CHINA","AMERICA","AUSTRALIA",

                        "FRANCE","GERMAN"};

  int n=5;

  sort(name,n);

  print(name,n);

}

void sort(char *name[],int n){

  char *pt;

  int i,j,k;

  for(i=0;i<n-1;i++){

      k=i;

      for(j=i+1;j<n;j++)

          if(strcmp(name[k],name[j])>0) k=j;

      if(k!=i){

          pt=name[i];

          name[i]=name[k];

          name[k]=pt;

      }

  }

}

void print(char *name[],int n){

  int i;

  for (i=0;i<n;i++) printf("%s/n",name[i]);

}

说明：

在以前的例子中采用了普通的排序方法，逐个比较之后交换字符串的位置。交换字符串的物理位置是通过字符串复制函数完成的。反复的交换将使程序执行的速度很慢，同时由于各字符串(国名)的长度不同，又增加了存储管理的负担。用指针数组能很好地解决这些问题。把所有的字符串存放在一个数组中，把这些字符数组的首地址放在一个指针数组中，当需要交换两个字符串时，只须交换指针数组相应两元素的内容(地址)即可，而不必交换字符串本身。

本程序定义了两个函数，一个名为sort完成排序，其形参为指针数组name，即为待排序的各字符串数组的指针。形参n为字符串的个数。另一个函数名为print，用于排序后字符串的输出，其形参与sort的形参相同。主函数main中，定义了指针数组name 并作了初始化赋值。然后分别调用sort函数和print函数完成排序和输出。值得说明的是在sort函数中，对两个字符串比较，采用了strcmp函数，strcmp函数允许参与比较的字符串以指针方式出现。name[k]和name[j]均为指针，因此是合法的。字符串比较后需要交换时，只交换指针数组元素的值，而不交换具体的字符串，这样将大大减少时间的开销，提高了运行效率。

 

10.7.2 指向指针的指针

    如果一个指针变量存放的又是另一个指针变量的地址，则称这个指针变量为指向指针的指针变量。

在前面已经介绍过，通过指针访问变量称为间接访问。由于指针变量直接指向变量，所以称为“单级间址”。而如果通过指向指针的指针变量来访问变量则构成“二级间址”。

name是一个指针数组，它的每一个元素是一个指针型数据，其值为地址。Name是一个数据，它的每一个元素都有相应的地址。数组名name代表该指针数组的首地址。name+1是mane[i]的地址。name+1就是指向指针型数据的指针（地址）。还可以设置一个指针变量p，使它指向指针数组元素。P就是指向指针型数据的指针变量。

怎样定义一个指向指针型数据的指针变量呢？如下：

char **p;

p前面有两个*号,相当于*(*p)。显然*p是指针变量的定义形式，如果没有最前面的*，那就是定义了一个指向字符数据的指针变量。现在它前面又有一个*号，表示指针变量p是指向一个字符指针型变量的。*p就是p所指向的另一个指针变量。

name是一个指针数组，它的每一个元素是一个指针型数据，其值为地址。name是一个数组，它的每一个元素都有相应的地址。数组名name代表该指针数组的首地址。name+1是mane[i]的地址。name+1就是指向指针型数据的指针（地址）。还可以设置一个指针变量p，使它指向指针数组元素。P就是指向指针型数据的指针变量。

 

如果有：

p=name+2;

printf(“%o/n”,*p);

printf(“%s/n”,*p);

则，第一个printf函数语句输出name[2]的值（它是一个地址），第二个printf函数语句以字符串形式（%s）输出字符串“Great Wall”。

【例10.36】使用指向指针的指针。

main()

{char *name[]={"Follow me","BASIC","Great Wall","FORTRAN","Computer desighn"};

 char **p;

 int i;

 for(i=0;i<5;i++)

   {p=name+i;

    printf("%s/n",*p);

   }

}

说明：

p是指向指针的指针变量。

【例10.37】一个指针数组的元素指向数据的简单例子。

main()

{static int a[5]={1,3,5,7,9};

 int *num[5]={&a[0],&a[1],&a[2],&a[3],&a[4]};

 int **p,i;

 p=num;

 for(i=0;i<5;i++)

   {printf("%d/t",**p);p++;}

}

说明：

指针数组的元素只能存放地址。

 

10.7.3 main函数的参数

前面介绍的main函数都是不带参数的。因此main 后的括号都是空括号。实际上，main函数可以带参数，这个参数可以认为是 main函数的形式参数。Ｃ语言规定main函数的参数只能有两个，习惯上这两个参数写为argc和argv。因此，main函数的函数头可写为：

    main (argc,argv)

Ｃ语言还规定argc(第一个形参)必须是整型变量,argv( 第二个形参)必须是指向字符串的指针数组。加上形参说明后，main函数的函数头应写为：

    main (int argc,char *argv[])

    由于main函数不能被其它函数调用，因此不可能在程序内部取得实际值。那么，在何处把实参值赋予main函数的形参呢? 实际上,main函数的参数值是从操作系统命令行上获得的。当我们要运行一个可执行文件时，在DOS提示符下键入文件名，再输入实际参数即可把这些实参传送到main的形参中去。

DOS提示符下命令行的一般形式为：

    C:/>可执行文件名  参数  参数……; 

    但是应该特别注意的是，main 的两个形参和命令行中的参数在位置上不是一一对应的。因为,main的形参只有二个，而命令行中的参数个数原则上未加限制。argc参数表示了命令行中参数的个数(注意：文件名本身也算一个参数)，argc的值是在输入命令行时由系统按实际参数的个数自动赋予的。

例如有命令行为：

    C:/>E24  BASIC  foxpro  FORTRAN

由于文件名E24本身也算一个参数，所以共有4个参数，因此argc取得的值为4。argv参数是字符串指针数组，其各元素值为命令行中各字符串(参数均按字符串处理)的首地址。指针数组的长度即为参数个数。数组元素初值由系统自动赋予。

【例10.38】

main(int argc,char *argv){

  while(argc-->1)

      printf("%s/n",*++argv);

}

本例是显示命令行中输入的参数。如果上例的可执行文件名为e24.exe，存放在A驱动器的盘内。因此输入的命令行为：

    C:/>a:e24 BASIC foxpro FORTRAN

则运行结果为：

BASIC

foxpro

FORTRAN

该行共有4个参数，执行main时，argc的初值即为4。argv的4个元素分为4个字符串的首地址。执行while语句，每循环一次argv值减1，当argv等于1时停止循环，共循环三次，因此共可输出三个参数。在printf函数中，由于打印项*++argv是先加1再打印，故第一次打印的是argv[1]所指的字符串BASIC。第二、三次循环分别打印后二个字符串。而参数e24是文件名，不必输出。

 

10.8  有关指针的数据类型和指针运算的小结

10.8.1 有关指针的数据类型的小结

定义	含    义
int i;	定义整型变量i
int *p	p为指向整型数据的指针变量
int a[n];	定义整型数组a，它有n个元素
int *p[n];	定义指针数组p，它由n个指向整型数据的指针元素组成
int (*p)[n];	p为指向含n个元素的一维数组的指针变量
int f();	f为带回整型函数值的函数
int *p();	p为带回一个指针的函数，该指针指向整型数据
int (*p)();	p为指向函数的指针，该函数返回一个整型值
int **p;	P是一个指针变量，它指向一个指向整型数据的指针变量

 

10.8.2 指针运算的小结

现把全部指针运算列出如下：

1) 指针变量加（减）一个整数：

例如：p++、p--、p+i、p-i、p+=i、p-=i

一个指针变量加（减）一个整数并不是简单地将原值加（减）一个整数，而是将该指针变量的原值（是一个地址）和它指向的变量所占用的内存单元字节数加（减）。

2) 指针变量赋值：将一个变量的地址赋给一个指针变量。

p=&a;        (将变量a的地址赋给p)

p=array;      (将数组array的首地址赋给p)

p=&array[i];   (将数组array第i个元素的地址赋给p)

p=max;       (max为已定义的函数，将max的入口地址赋给p)

p1=p2;        (p1和p2都是指针变量，将p2的值赋给p1)

注意：不能如下：

p=1000;

3) 指针变量可以有空值，即该指针变量不指向任何变量：

p=NULL;

4) 两个指针变量可以相减：如果两个指针变量指向同一个数组的元素，则两个指针变量值之差是两个指针之间的元素个数。

5)  两个指针变量比较：如果两个指针变量指向同一个数组的元素，则两个指针变量可以进行比较。指向前面的元素的指针变量“小于” 指向后面的元素的指针变量。

 

10.8.3 void指针类型

ANSI新标准增加了一种“void”指针类型，即可以定义一个指针变量，但不指定它是指向哪一种类型数据。