hosteons中文网

在许多 C 程序中，指针常被用于引用数组，或者作为数组的元素。指向数组的指针常被简称为数组指针（array pointer），而具有指针类型元素的数组则被称为指针数组（pointer array）。

数组指针

为了便于举例，下面的描述均以一个 int 数组为例。同样的原理可以应用于其他类型数组，包括多维数组。

要声明指向数组类型的指针，必须使用括号，如下所示：

int (* arrPtr)[10] = NULL;   // 一个指针，它指向一个有10个int元素的数组

如果没有括号，则声明 int*arrPtr[l0]；表示 arrPtr 是一个具有 10 个 int 类型指针的数组。

在该例中，指向有 10 个 int 元素的数组的指针会被初始化为 NULL。然而，如果把合适数组的地址分配给它，那么表达式 *arrPtr 会获得数组，并且（*arrPtr）[i] 会获得索引值为 i 的数组元素。根据下标运算符的规则，表达式（*arrPtr）[i] 等同于 *（（*arrPtr）+i）。因此，**arrPtr 获得数组的第一个元素，其索引值为 0。

为了展示数组指针 arrPtr 的几个运算，下例使用它来定位一个二维数组的某些元素，也就是矩阵内的某些行：

int matrix[3][10];            // 3行，10列的数组
                                    // 数组名称是一个指向第一个元素的指针，也就是第一行的指针
arrPtr = matrix;            // 使得arrPtr指向矩阵的第一行
(*arrPtr)[0] = 5;       // 将5赋值给第一行的第一个元素
arrPtr[2][9] = 6;           // 将6赋值给最后一行的最后一个元素
++arrPtr;                   // 将指针移动到下一行
(*arrPtr)[0] = 7;           // 将7赋值给第二行的第一个元素

在初始化赋值后，arrPtr 指向矩阵的第一个行，正如矩阵名称 matrix 一样。在这种情况下，使用 arrPtr 获取元素的方式与使用 matrix 完全一样。例如，赋值运算（*arrPtr）[0]=5 等效于 arrPtr[0][0]=5 和 matrix[0][0]=5。

然而，与数组名称 matrix 不同的是，指针名称 arrPtr 并不代表一个常量地址，如运算 ++arrPtr 所示，它进行了自增运算。这个自增运算会造成存储在数组指针的地址增加一个数组空间大小，在本例中，即增加矩阵一行的空间大小，也就是 10 乘以 int 元素在内存中所占字节数量。

如果想把一个多维数组传入函数，则必须声明对应的函数参数为数组指针。最后要注意的是，如果 a 是一个具有 10 个 int 类型元素的数组，那么无法使用下面的方式对前面例子中的指针 arrPtr 赋值：

arrPtr = a;                  // 错误：指针类型不匹配

错误的原因是，数组名字，例如上文的 a，会被隐式地转换为指针，指向数组第一个元素，而不是指向整个数组。指向 int 的指针没有被隐式地转换为指向 int 数组的指针。本例中的赋值操作需要显式的类型转换，在类型转换运算符中明确指定目标类型是

int (*) [10]：
arrPtr = (int (*)[10])a;        // 合法

在前文 arrPtr 的声明语句（int（*arrPtr）[10]=NULL；）中，删除其中标识符 arrPtr，就可得到 int（*）[10]，即对应的数组指针类型。然而，为了提高可读性和灵活性，可以利用 typedef 为所用的类型定义一个简单的名字：

typedef int ARRAY_t[10];    // 定义一个“具有10个元素数组”类型名称
ARRAY_t  a,                     // 具有该类型的数组
         *arrPtr;               // 一个指向该数组类型的指针
arrPtr = (ARRAY_t *)a;  // 使得arrPtr指向a

指针数组

指针数组（也就是元素为指针类型的数组）常常作为二维数组的一种便捷替代方式。一般情况下，这种数组中的指针会指向动态分配的内存区域。

例如，如果需要处理字符串，可以将它们存储在一个二维数组中，该数组行空间大小必须足以存储下可能出现的最长字符串：

#define ARRAY_LEN 100
#define STRLEN_MAX 256
char myStrings[ARRAY_LEN][STRLEN_MAX] =
{ // 墨菲定律的几条推论：
“会出错的事，总会出错。”
“世上没有绝对正确的事情。”
“每个解决办法都会衍生出新的问题。”
};

然而，这个方式造成内存浪费，25600 字节中只有一小部分被实际使用到。一方面，短字符串会让大部分的行是空的；另一个方面，有些行根本没有用到，但却得为它预留内存。

一个简单的解决方案是，使用指针数组，让指针指向对象（在此处的对象就是字符串），然后只给实际存在的对象分配内存（未用到的数组元素则是空指针）。

#define ARRAY_LEN 100
char *myStrPtr[ARRAY_LEN] =        // char指针的数组
{ // 墨菲定律的几条推论：
“会出错的事，总会出错。”
“世上没有绝对正确的事情。”
“每个解决办法都会衍生出新的问题。”
};

图 1 展示了对象在内存中的存储情况：

图 1