C++指针数组和指向指针的指针

指针数组的概念

如果一个数组，其元素均为指针类型数据，该数组称为指针数组，也就是说，指针数组中的每一个元素相当于一个指针变量，它的值都是地址。一维指针数组的定义形式为：
    类型名 *数组名[数组长度];
例如：
    int *p[4];
可以用指针数组中各个元素分别指向若干个字符串，使字符串处理更加方便灵活。

【例6.15】若干字符串按字母顺序（由小到大）输出。

#include <iostream>
using namespace std;
int main( )
{
    void sort(char *name[],int n);  //声明函数
    void print(char *name[],int n);  //声明函数
    char *name[]={"BASIC","FORTRAN","C++","Pascal","COBOL"};  //定义指针数组
    int n=5;
    sort(name,n);
    print(name,n);
    return 0;
}
void sort(char *name[],int n)
{
    char *temp;
    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)
        {
            temp=name[i];name[i]=name[k];name[k]=temp;
        }
    }
}

void print(char *name[],int n)
{
    int i;
    for(i=0;i<n;i++)
        cout<<name[i]<<endl;
}

运行结果为：
BASIC
COBOL
C++
FORTRAN
Pascal
print函数的作用是输出各字符串。name[0]~name[4]分别是各字符串的首地址。print函数也可改写为以下形式：

void print(char *name[]，int n)
{
    int i=0
    char *p;
    p=name[0];
    while(i<n)
    {
        p=*(name+i++);
        cout<<p<<endl;
    }
}

其中“*(name+i++)”表示先求*(name+i)的值，即name[i](它是一个地址)。将它赋给p，然后i加1。最后输出以p地址开始的字符串。

指向指针的指针

在掌握了指针数组的概念的基础上，下面介绍指向指针数据的指针，简称为指向指针的指针。从图6.22可以看到，name是一个指针数组，它的每一个元素是一个指针型数据(其值为地址)，分别指向不同的字符串。数组名name代表该指针数组首元素的地址。name+i是name[i]的地址。由于name[i]的值是地址(即指针)，因此name+i就是指向指针型数据的指针。还可以设置一个指针变量p，它指向指针数组的元素(见图6.23)。p就是指向指针型数据的指针变量。
怎样定义一个指向指针数据的指针变量呢？如下：
    char *(*p);
从附录B可以知道，*运算符的结合性是从右到左，因此“char *(*p);”可写成：
    char **p;

【例6.16】指向字符型数据的指针变量。

#include <iostream>
using namespace std;
int main( )
{
    char **p;  //定义指向字符指针数据的指针变量p
    char *name[]={"BASIC","FORTRAN","C++","Pascal","COBOL"};
    p=name+2;  //见图6.23中p的指向
    cout<<*p<<endl;  //输出name[2]指向的字符串
    cout<<**p<<endl;  //输出name[2]指向的字符串中的第一个字符
}

运行结果为：
C++
C
指针数组的元素也可以不指向字符串，而指向整型数据或单精度型数据等。

在本章开头已经提到了“间接访问”一个变量的方式。利用指针变量访问另一个变量就是“间接访问”。如果在一个指针变量中存放一个目标变量的地址，这就是“单级间址”，见图6.24(a)。指向指针的指针用的是“二级间址”方法。见图6.24(b)。从理论上说，间址方法可以延伸到更多的级，见图6.24(c)。但实际上在程序中很少有超过二级间址的。