一、数组名的理解
int arr[10]={1,2,3,4,5,6,7,8,9,10};
int *p=&arr[0];
我们发现数组名和数组⾸元素的地址打印出的结果⼀模⼀样,数组名就是数组⾸元素(第⼀个元素)的地址。
数组名如果是数组首元素的地址,那下⾯的代码怎么理解呢?
#include <stdio.h>
int main()
{int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };printf("%d\n", sizeof(arr));return 0;
}
输出的结果是:40。 如果arr是数组⾸元素的地址,那输出应该的应该是4/8才对。
其实数组名就是数组首元素(第⼀个元素)的地址是对的,但是有两个例外:
①sizeof(数组名),sizeof中单独放数组名,这里的数组名表示整个数组,计算的是整个数组的大小,单位是字节
②&数组名,这里的数组名表示整个数组,取出的是整个数组的地址(整个数组的地址和数组首元素的地址是有区别的)
除此之外,任何地方使用数组名,数组名都表示首元素的地址。
这里我们发现&arr[0]和&arr[0]+1相差4个字节,arr和arr+1 相差4个字节,是因为&arr[0] 和 arr 都是首元素的地址,+1就是跳过一个元素。但是&arr 和 &arr+1相差40个字节,这就是因为&arr是数组的地址,+1 操作是跳过整个数组的。
二、使用指针访问数组
数组在内存中是连续存放的
指针的加减运算,方便我们获得每一个元素的地址
#include<stdio.h>
int main()
{int arr[10] = { 0 };//使用指针来访问数组int sz = sizeof(arr) / sizeof(arr[0]);//输入10个值int* p = arr;int i = 0;for (i = 0; i < sz; i++){//输入scanf("%d", p + i);//p+i == &arr[i]}//输出10个值for (i = 0; i < sz; i++){printf("%d ", *(p + i));}return 0;
}
数组名arr是数组首元素的地址,可以赋值给p,数组名arr和p这里是等价的。
p[i]等价于*(p+i),arr[i]等价于*(arr+i),数组元素在访问编译器处理的时候,也是转换成首元素的地址 +偏移量求出元素的地址,然后解引用来访问。
1.数组就是数组,是一块连续的空间(数组的大小和数组元素类型都有关系)
2.指针(变量)就是指针(变量),是一个变量(4/8个字节)
3.数组名是地址,是首元素的地址
4.可以使用指针来访问数组
拓展:
三、一维数组传参的本质
我们之前都是在函数外部计算数组的元素个数,那我们可以把函数传给一个函数后,函数内部求元素个数吗?
我们发现在函数内部没有正确获得数组的元素个数。
这就要学习数组传参的本质了,上篇文章写道:数组名是数组⾸元素的地址;那么在数组传参的时候,传递的是数组名,也就是说本质上数组传参本质上传递的是数组首元素的地址。所以函数形参的部分理论上应该 使用指针变量来接收首元素的地址 。那么在函数内部我们写sizeof(arr) 计算的是⼀个地址的大小(单位字节)而不是数组的大小(单位字节)。正是因为 函数的参数部分是本质是指针 ,所以在函数内部是没办法求的数组元素个数的。
1. 数组传参的本质是传递了数组首元素的地址,所以形参访问的数组和实参的数组是同一个数组。
2.形参的数组是不会单独再创建数组空间的,所以形参的数组是可以省略数组大小的。
结论:一维数组传参,形参的部分可以写成数组的形式,也可以写成指针的形式。本质上是指针变量 。
四、二级指针
指针变量是变量,是变量就有地址,那指针变量的地址存放在哪里呢?这就是二级指针。
int**就是二级指针:
*pp通过对pp中的地址解引用,这样找到的是p,*pp其实访问的就是p;
**pp先通过*pp找到p,然后对p进行解引用操作,找到的就是a。
五、指针数组
整型数组是存放整型的数组,字符数组是存放字符的数组,那么,指针数组是存放指针的数组。
指针数组的每个元素是地址,又可以指向一块区域。
六、指针数组模拟二维数组
#include<stdio.h>
int main()
{int arr1[] = { 1,2,3,4,5 };int arr2[] = { 2,3,4,5,6 };int arr3[] = { 3,4,5,6,7 };int* parr[3] = { arr1,arr2,arr3 };//打印数组int i = 1;for (i = 0; i < 3; i++){int j = 0;for (j = 0; j < 5; j++){printf("%d ", parr[i][j]);}printf("\n");}return 0;
}
画图演示:
*(arr1+j)==arr1[j]
*(*(arr+i)+j)==arr[i][j]
parr[i]是访问parr数组的元素,parr[i]找到的数组元素指向了整型⼀维数组,parr[i][j]就是整型⼀维数组中的元素。上述的代码模拟出二维数组的效果,实际上并非完全是二维数组,因为每一行并非是连续的。