1. 数组名的理解
我们在上一节已经知道数组名其实就是数组首元素的地址,这里我们写一段代码验证一下。
可以发现,二者是一样的,所以 数组名就是数组⾸元素(第⼀个元素)的地址
那么即然数组名为首元素地址,那么下面这段代码又该怎么理解呢?
这段代码的输出为40,如果数组名为首元素地址的话,它不该为4/8吗?
数组名为首元素地址没有错,只是有两个例外。
1:sizeof(数组名),sizeof中单独放数组名,这⾥的数组名表⽰整个数组,计算的是整个数组的⼤⼩, 单位是字节
2:&数组名,这⾥的数组名表⽰整个数组,取出的是整个数组的地址(整个数组的地址和数组⾸元素 的地址是有区别的)
除此之外,任何地⽅使⽤数组名,数组名都表⽰⾸元素的地址。
那我们再看一下下面这段代码。
这⾥我们发现&arr[0]和&arr[0]+1相差4个字节,arr和arr+1相差4个字节,是因为&arr[0]和arr都是 ⾸元素的地址,+1就是跳过⼀个元素。但是&arr和&arr+1相差40个字节,这就是因为&arr是数组的地址,+1操作是跳过整个数组的。
2. 使⽤指针访问数组
学到这里,我们就可以利用指针来访问数组了。
在第18⾏的地⽅,将*(p+i)换成p[i]也是能够正常打印的,所以本质上p[i]是等价于*(p+i)。同理arr[i]应该等价于*(arr+i),事实上,我们可以将[ ]看成一种操作符,实现的就是地址的加减和解引用操作。
3. ⼀维数组传参的本质
我们再利用指针访问数组时,都是在函数外部求出数组大小,在传入函数内部的,那么我们能否在函数内部直接求出数组大小呢?
答案是不行的,我们都知道数组名其实是首元素地址,那么数组传参时,本质上传的也只是首元素的地址,那么在函数内部我们写 sizeof(arr) 计算的是⼀个地址的⼤⼩⽽不是数组的⼤⼩。正是因为函 数的参数部分是本质是指针,所以在函数内部是没办法求的数组元素个数的。
4. ⼆级指针
指针变量也是变量,是变量就有地址,那指针变量的地址存放在哪⾥?
答案是存放在二级指针里。
写法也很简单,只需在前面再加个 * 就行,我们来分析一下ppa的这两个 * 。
因为ppa是一个指针变量,所以它需要一个 * 来指明它是一个指针变量,而ppa这个指针变量指向的变量pa也是一个指针变量。pa的类型为int*,为ppa所指向的变量的类型,因此在ppa的 *
的前面加上int*,变成了int**。而*ppa也就是ppa的解引用操作,其结果其实就是pa的地址,那么再2进行一次解引用操作,也就是**ppa,其实就等于a等于10。
5. 指针数组
请问指针数组是指针还是数组呢?其实很好区分,想想整型指针是指针还是整型呢?整型数组是数组还是整型呢?指针数组其实就是数组,只不过存放的都是指针。
6. 指针数组模拟⼆维数组
即然都有指针数组了,那么我们能不能利用它模拟一个二维数组呢
parr[i]是访问parr数组的元素,parr[i]找到的数组元素指向了整型⼀维数组,parr[i][j]就是整型⼀维数 组中的元素。 上述的代码模拟出⼆维数组的效果,实际上并⾮完全是⼆维数组,因为每⼀⾏并⾮是连续的。