论Go语言中指针数组和数组指针的不同

前面已经和大家详细的介绍了指针的用法,那么所谓的指针数组和数组指针到底有何变化,之间有什么联系呢?是否表示一个意思,还是有不同含义,下面就聊聊。

指针数组

首先它是一个数组,数组的元素都是指针,数组占多少个字节由数组本身的大小决定,每一个元素都是一个指针,在32 位系统下任何类型的指针永远是占4 个字节。它是“储存指针的数组”的简称。

数组指针

首先它是一个指针,它指向一个数组。在32 位系统下任何类型的指针永远是占4 个字节,至于它指向的数组占多少字节,不知道,具体要看数组大小。它是“指向数组的指针”的简称。

当指针表示在后的时候,说明是个指针,只是指向一个数组;
当指针表示在前的时候,说明它是一个数组,只是数组的元素都是指针。
这样大家应该就能明白我说的是什么。

定义

数组指针(也称行指针)定义

int (*p)[n]

()优先级高,首先说明p是一个指针,指向一个整型的一维数组,这个一维数组的长度是n,也可以说是p的步长。也就是说执行p+1时,p要跨过n个整型数据的长度。

//定义二维数组
 int a[3][4];

//该语句是定义一个数组指针,指向含4个元素的一维数组。
 int (*p)[4]; 
      
//将该二维数组的首地址赋给p,也就是a[0]或&a[0][0]
 p=a;  
    
//该语句执行过后,也就是p=p+1;p跨过行a[0][]指向了行a[1][]
 p++;   

所以数组指针也称指向一维数组的指针,亦称行指针。

在二维数组里面
a,&a,a[0],&a[0],&a[0][0]五个值是一样的,都指向二维数组的首地址(起始位置)
区别在于这五种表达方式的类型是不同的,以int a[2][3]举例:

a是二维数组名,是常量,存放着二维数组的首地址,类型为二维数组,sizeof(a)=24

&a 二维数组a的(首)地址,本身是一个指针,sizeof(&a)=4,指针类型都为4

a[0]指向二维数组中的第一行数组a[0][],类型是一维数组sizeof(a[0])=12
&a[0]代表a[0]的地址,与一维数组名a[0]值相同,但本身是指针类型sizeof(&a[0])=4
&a[0][0]表示二维数组中第一个元素的地址,指针类型sizeof(&a[0][0])=4

指针数组定义

 int *p[n]

[]优先级高,先与p结合成为一个数组,再由int*说明这是一个整型指针数组,它有n个指针类型的数组元素。这里执行p+1时,则p指向下一个数组元素。

下面这样赋值是错误的:

p=a;

因为p是个不可知的表示,只存在p[0]、p[1]、p[2]…p[n-1],而且它们分别是指针变量可以用来存放变量地址。
但可以如下面赋值:

*p=a;

这里*p表示指针数组第一个元素的值,也就是a的首地址的值。

如要将二维数组赋给一指针数组:

int *p[3];
int a[3][4];
p++; //该语句表示p数组指向下一个数组元素。注:此数组每一个元素都是一个指针
for(i=0;i<3;i++)
p[i]=a[i]

这里int *p[3] 表示一个一维数组内存放着三个指针变量,分别是p[0]、p[1]、p[2];所以要分别赋值。

数组指针只是一个指针变量,似乎是C语言里专门用来指向二维数组的,它占有内存中一个指针的存储空间。

指针数组是多个指针变量,以数组形式存在内存当中,占有多个指针的存储空间。
还需要说明的一点就是,同时用来指向二维数组时,其引用和用数组名引用都是一样的。
比如要表示数组中i行j列一个元素:

*(p[i]+j)*(*(p+i)+j)(*(p+i))[j]、p[i][j]

优先级:() > [] > *

根据优先级判断指针数组和数组指针

下面到底哪个是数组指针,哪个是指针数组呢:

A)
int *p1[10];

B)
int (*p2)[10];

在这之前首先需要明白一个符号之间的优先级问题。

先分析A)中“[]”的优先级比“*”要高。
p1 先与“[]”结合,构成一个数组的定义,数组名为p1,int *修饰的是数组的内容,即数组的每个元素。那现在我们就好理解了,这是一个数组,其包含10 个指向int 类型数据的指针,即指针数组。

再分析B)中“()”的优先级比“[]”高。
“*”号和p2 构成一个指针的定义,指针变量名为p2,int 修饰的是数组的内容,即数组的每个元素。数组在这里并没有名字,是个匿名数组。
那现在我们清楚p2 是一个指针,它指向一个包含10 个int 类型数据的数组,即数组指针.

如下图所示:
在这里插入图片描述

论a 和&a 之间的区别

举例说明a 和&a 之间的区别,代码如下:

int main()
{
    
    
   char a[5]={
    
    'A','B','C','D'};
   char (*p3)[5] = &a;
   char (*p4)[5] = a;
   return 0;
}

p3+1 的值会是什么?p4+1 的值又会是什么?毫无疑问,p3 和p4 都是数组指针,指向的是整个数组。
&a 是整个数组的首地址;
a是数组首元素的首地址

其值相同但意义完全不同。
在C 语言里,赋值符号“=”号两边的数据类型必须是相同的,如果不同需要显示或隐式的类型转换。

p3 这个定义的“=”号两边的数据类型完全一致,而p4 这个定义的“=”号两边的数据类型就不一致了。
左边的类型是指向整个数组的指针,右边的数据类型是指向单个字符的指针。

现在清楚了p3 和p4 都是指向整个数组的,那p3+1 和p4+1 的值就很好理解了。

把数组长度改小点,会有什么问题?p3+1 和p4+1 的值又是多少呢?

int main()
{
    
    
   char a[5]={
    
    'A','B','C','D'};
   char (*p3)[3] = &a;
   char (*p4)[3] = a;
   return 0;
}

把数组长度改大点,又会有什么问题?

int main()
{
    
    
   char a[5]={
    
    'A','B','C','D'};
   char (*p3)[10] = &a;
   char (*p4)[10] = a;
   return 0;
}

这时p3+1 和p4+1 的值又是多少呢?

得到的结果:
(1).char (*p2)[5]=a;
必须使用强制转换,如:

char (*p2)[5]=(char (*)[5])a;

(2).把数组长度改变,都会报编译不通过的错误提示:

error C2440: 'initializing' : cannot convert from 'char (*)[5]' to 'char (*)[3]'

error C2440: 'initializing' : cannot convert from 'char (*)[5]' to 'char (*)[10]'

(3).把以上程序更改后成功运行代码如下:

int main()

{
    
    

  	char a[5]={
    
    'a','b','c','d'};

  	char (*p1)[5]= &a;

  	char (*p2)[5]=(char (*)[5])a;


  	printf("a=%d\n",a);

  	printf("a=%c\n",a[0]);

  	printf("p1=%c\n",**p1);

  	printf("p2=%c\n",**p2);

  	printf("p1+1=%c\n",**(p1+1));

  	printf("p2+1=%c\n",**(p2+1));


  	return 0;

}

运行结果:

a=1638208

a=a

p1=a

p2=a

p1+1=?

p2+1=?

Press any key to continue

后面的结果可以自己去试试看,得到的是什么。

结论:

根据指针类型及所指对象,表示指针大小,每次加1,表示增加指针类型大小的字节.

猜你喜欢

转载自blog.csdn.net/zp17834994071/article/details/108716755
今日推荐