C语言——深入理解指针2

1.数组名的理解

数组名是什么？

其实，数组名就是数组首元素的地址，特殊情况待会儿再说

可以看到&a[0]和a的地址是一样的，数组名就是数组首元素(第⼀个元素)的地址。

有两种特殊情况数组名是表示整个数组：

• sizeof(数组名)，sizeof中单独放数组名，这⾥的数组名表示整个数组，计算的是整个数组的⼤小，单位是字节

• &数组名，这⾥的数组名表⽰整个数组，取出的是整个数组的地址（整个数组的地址和数组⾸元素的地址是有区别的）

可以发现，这三个的地址都是相同的，这难道说明这三个没有区别吗？

当然不是，&a是整个数组的地址，只不过取出来的是地址的最低位，它的类型是数组指针          int(*)[10]。

这⾥我们发现&a[0]和&a[0]+1相差4个字节，a和a+1 相差4个字节，是因为&a[0] 和 a 都是 ⾸元素的地址，+1就是跳过⼀个元素。 但是&a 和 &a+1相差40个字节，这就是因为&a是数组的地址，+1 操作是跳过整个数组的。

2.使用指针访问数组

可以看到，这种写法是没有问题的，这也说明p和a是等价的，那么我们是否可以是p[i]来访问数组呢？

这是没有问题的，所以说*(p+i)等价于p[i]，也即是a[i]等价于*(a+i)，

其实，数组的访问本质上就是通过指针来实现的。数组元素的访问在编译器处理的时候，也就是转换成⾸元素的地址+偏移量求出元素的地址，然后解引⽤来访问的。

3.一维数组传参本质

先来看下面的代码

可以看到，sz2不是数组的元素个数，而是1，为什么呢，上面我们讲到数组名的本质是数组首元素的地址，那么在数组传参的时候，传递的是数组名，也就是说本质上数组传参传递的是数组⾸元素的地址。

所以函数形参的部分理论上应该使⽤指针变量来接收⾸元素的地址。那么在函数内部我们写 sizeof(arr) 计算的是⼀个地址的⼤小（单位字节）⽽不是数组的⼤小（单位字节）。正是因为函数的参数部分本质是指针，所以在函数内部是没办法求的数组元素个数的。

总结：⼀维数组传参，形参的部分可以写成数组的形式，也可以写成指针的形式。