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

梦里梦外; 2022-12-09 03:28 113阅读 0赞

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

### 指针数组 ###

首先它是一个数组，数组的元素都是指针，数组占多少个字节由数组本身的大小决定，每一个元素都是一个指针，在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 类型数据的数组，即数组指针.

如下图所示：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3pwMTc4MzQ5OTQwNzE_size_16_color_FFFFFF_t_70_pic_center]

## 论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,表示增加指针类型大小的字节.

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3pwMTc4MzQ5OTQwNzE_size_16_color_FFFFFF_t_70_pic_center]: /images/20221123/9bfa749503f545b29ca1f1760c612f60.png