在许多 C 程序中,指针常被用于引用数组,或者作为数组的元素。指向数组的指针常被简称为数组指针(array pointer),而具有指针类型元素的数组则被称为指针数组(pointer array)。
一、数组指针【int (*a)[10]–>指向数组的指针】
1、解释01
int (*a)[10]–>指向数组的指针
a是一个二级指针,可认为是一个二维数组的首地址,指向一个一维数组,数组存储了10个int数据。
int arr1[10]; // 一维数组
int arr2[2][10]; // 二维数组
int (*a)[10] = arr1&; // a为指向一维数组的指针,arr1&应该替换为&arr1,cblog插件有问题
int (*b)[10] = arr2; // b为指向一维数组的指针
// 指向一维数组(维度为10)的指针,其实是一个二级指针,用来接收二维数组的(二维数组变量名就是一个二级指针)。
2、解释02
为了便于举例,下面的描述均以一个 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