首先,理解一下数组指针和指针数组这两个名词:
“数组指针”和“指针数组”,只要在名词中间加上“的”字,就知道中心了——
数组的指针:是一个指针,什么样的指针呢?指向数组的指针。
指针的数组:是一个数组,什么样的数组呢?装着指针的数组。
然后,需要明确一个优先级顺序:()>[]>*,所以:
(*p)[n]:根据优先级,先看括号内,则p是一个指针,这个指针指向一个一维数组,数组长度为n,这是“数组的指针”,即数组指针;
*p[n]:根据优先级,先看[],则p是一个数组,再结合*,这个数组的元素是指针类型,共n个元素,这是“指针的数组”,即指针数组。
根据上面两个分析,可以看出,p是什么,则词组的中心词就是什么,即数组“指针”和指针“数组”。
- int *p1[5];
- int (*p2)[5];
首先,对于语句“int*p1[5]”,因为“[]”的优先级要比“*”要高,所以 p1 先与“[]”结合,构成一个数组的定义,数组名为 p1,而“int*”修饰的是数组的内容,即数组的每个元素。也就是说,该数组包含 5 个指向 int 类型数据的指针,如图 1 所示,因此,它是一个指针数组。
图1
其次,对于语句“int(*p2)[5]”,“()”的优先级比“[]”高,“*”号和 p2 构成一个指针的定义,指针变量名为 p2,而 int 修饰的是数组的内容,即数组的每个元素。也就是说,p2 是一个指针,它指向一个包含 5 个 int 类型数据的数组,如图 2 所示。很显然,它是一个数组指针,数组在这里并没有名字,是个匿名数组。
图2
由此可见,对指针数组来说,首先它是一个数组,数组的元素都是指针,也就是说该数组存储的是指针,数组占多少个字节由数组本身决定;而对数组指针来说,首先它是一个指针,它指向一个数组,也就是说它是指向数组的指针,在 32 位系统下永远占 4 字节,至于它指向的数组占多少字节,这个不能够确定,要看具体情况。
数组指针 (*p)[n]
数组指针:是指针——指向数组的指针。
看下面的例子进行理解
- #include "stdafx.h"
- int main()
- {
- //一维数组
- int a[5] = { 1, 2, 3, 4, 5 };
- //步长为5的数组指针,即数组里有5个元素
- int (*p)[5];
- //把数组a的地址赋给p,则p为数组a的地址,则*p表示数组a本身
- p = &a;
- //%p输出地址, %d输出十进制
- //\n回车
- //在C中,在几乎所有使用数组的表达式中,数组名的值是个指针常量,也就是数组第一个元素的地址,它的类型取决于数组元素的类型。
- printf("%p\n", a); //输出数组名,一般用数组的首元素地址来标识一个数组,则输出数组首元素地址
- printf("%p\n", p); //根据上面,p为数组a的地址,输出数组a的地址
- printf("%p\n", *p); //*p表示数组a本身,一般用数组的首元素地址来标识一个数组
- printf("%p\n", &a[0]); //a[0]的地址
- printf("%p\n", &a[1]); //a[1]的地址
- printf("%p\n", p[0]); //数组首元素的地址
- printf("%d\n", **p); //*p为数组a本身,即为数组a首元素地址,则*(*p)为值,当*p为数组首元素地址时,**p表示首元素的值1
- printf("%d\n", *p[0]); //根据优先级,p[0] 表示首元素地址,则*p[0]表示首元素本身,即首元素的值1
- printf("%d\n", *p[1]); //为一个绝对值很大的负数,不表示a[1]...表示什么我还不知道
- //将二维数组赋给指针
- int b[3][4];
- int(*pp)[4]; //定义一个数组指针,指向含4个元素的一维数组
- pp = b; //将该二维数组的首地址赋给pp,也就是b[0]或&b[0],二维数组中pp=b和pp=&b[0]是等价的
- pp++; //pp=pp+1,该语句执行过后pp的指向从行b[0][]变为了行b[1][],pp=&b[1]
- int k;
- scanf_s("%d", &k);
- return 0;
- }
根据上面二维数组可以得出,数组指针也称指向一维数组的指针,所以数组指针也称行指针。
指针数组 *p[n]
指针数组:是数组——装着指针的数组。
看下面的例子进行理解:
- #include "stdafx.h"
- int main()
- {
- int a = 1;
- int b = 2;
- int *p[2];
- p[0] = &a;
- p[1] = &b;
- printf("%p\n", p[0]); //a的地址
- printf("%p\n", &a); //a的地址
- printf("%p\n", p[1]); //b的地址
- printf("%p\n", &b); //b的地址
- printf("%d\n", *p[0]); //p[0]表示a的地址,则*p[0]表示a的值
- printf("%d\n", *p[1]); //p[1]表示b的地址,则*p[1]表示b的值
- //将二维数组赋给指针数组
- int *pp[3]; //一个一维数组内存放着三个指针变量,分别是p[0]、p[1]、p[2],所以要分别赋值
- int c[3][4];
- for (int i = 0; i<3; i++)
- pp[i] = c[i];
- int k;
- scanf_s("%d", &k);
- return 0;
- }
最后,从上文来看:
数组指针是一个指针变量,占有内存中一个指针的存储空间;
指针数组是多个指针变量,以数组的形式存储在内存中,占有多个指针的存储空间。
了解指针数组和数组指针二者之间的区别之后,继续来看下面的示例代码:
- int arr[5]={1,2,3,4,5};
- int (*p1)[5] = &arr;
- /*下面是错误的*/
- int (*p2)[5] = arr;
不难看出,在上面的示例代码中,&arr 是指整个数组的首地址,而 arr 是指数组首元素的首地址,虽然所表示的意义不同,但二者之间的值却是相同的。那么问题出来了,既然值是相同的,为什么语句“int(*p1)[5]=&arr”是正确的,而语句“int(*p2)[5]=arr”却在有些编译器下运行时会提示错误信息呢(如在 Microsoft Visual Studio 2010 中提示的错误信息为“a value of type"int*"cannot be used to initialize an entity of type"int(*)[5]"”)?
其实原因很简单,在 C 语言中,赋值符号“=”号两边的数据类型必须是相同的,如果不同,则需要显示或隐式类型转换。在这里,p1 和 p2 都是数组指针,指向的是整个数组。p1 这个定义的“=”号两边的数据类型完全一致,而 p2 这个定义的“=”号两边的数据类型就不一致了(左边的类型是指向整个数组的指针,而右边的数据类型是指向单个字符的指针),因此会提示错误信息。