C语言的核中核——指针（2）

1. 数组名的理解

在上⼀个章节我们在使⽤指针访问数组的内容时，有这样的代码：

这⾥我们使⽤ &arr[0] 的⽅式拿到了数组第⼀个元素的地址，但是其实数组名本来就是地址，⽽且 是数组⾸元素的地址，我们来做个测试。

我们发现数组名和数组⾸元素的地址打印出的结果⼀模⼀样，数组名就是数组⾸元素(第⼀个元素)的地址。

这时候有同学会有疑问？数组名如果是数组⾸元素的地址，那下⾯的代码怎么理解呢？

输出的结果是：40，如果arr是数组⾸元素的地址，那输出应该的应该是4/8才对。

其实数组名就是数组⾸元素(第⼀个元素)的地址是对的，但是有两个例外：

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

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

除此之外，任何地⽅使⽤数组名，数组名都表⽰⾸元素的地址。

根据上面的结论，我们不难发现打印的三个结果是一模一样的。那么就有同学会问既然结果一样，那arr和&arr的区别是什么呢？

我们不妨多写几个用例来深入理解

这⾥我们发现&arr[0]和&arr[0]+1相差4个字节，arr和arr+1 相差4个字节，是因为&arr[0] 和 arr 都是⾸元素的地址，+1就是跳过⼀个元素。

但是&arr 和 &arr+1相差40个字节，这就是因为&arr是数组的地址，即数组首元素的地址。+1 操作是跳过整个数组的。 到这⾥⼤家应该搞清楚数组名的意义了吧。

数组名是数组⾸元素的地址，但是有2个例外。

2. 使⽤指针访问数组

有了前面的知识的铺垫，我们就可以用指针来实现访问数组了

在这个代码中，arr就是代表了地址，就可以不用使用取地址符号了。scanf同理，也没有使用取地址符号，但是注意的是在打印的时候我们需要使用解引用符号。

弄懂这个代码以后，我们可以继续深化理解。arr与p实际上是等价关系，那么arr[i]与p[i]应该也是等价关系才对，所以我们这么写应该也是对的。

将两个代码比较起来看的话，p[i]实际上与*（p+i）等价。同理arr[i] 应该等价于 *(arr+i)，数组元素的访问在编译器处理的时候，也是转换成⾸元素的地址+偏移量求出元素的地址，然后解引⽤来访问的。

3. ⼀维数组传参的本质

数组我们学过了，之前也讲了，数组是可以传递给函数的，这个⼩节我们讨论⼀下数组传参的本质。 ⾸先从⼀个问题开始，我们之前都是在函数外部计算数组的元素个数，那我们可以把函数传给⼀个函数后，函数内部求数组的元素个数吗？

我们不妨写一个代码看看会是什么样的结果。

我们发现不是一个结果，很明显在函数内部求的数组元素个数是错误的

这就要学习数组传参的本质了，上个⼩节我们学习了：数组名是数组⾸元素的地址；那么在数组传参的时候，传递的是数组名，也就是说本质上数组传参本质上传递的是数组⾸元素的地址。

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

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

4. 冒泡排序

冒泡排序的核⼼思想就是：两两相邻的元素进⾏⽐较。

每一趟都会有一个数字被按照大小顺序排列好，比如有2，1，5，3，9，8六个数字，如果按照升序的话，那么第一趟可以是9排在最后一位也可以是1排在第一位即必有一个数字被排好序。下面我们用代码具体实现一下。

这是未经优化的代码，必须老老实实的一个一个的比较下去。但是我们可能出现只需要排几趟就可以完成，没必要全排完，我们可以这样优化。

5. ⼆级指针

指针变量也是变量，是变量就有地址，那指针变量的地址存放在哪⾥？

这就是⼆级指针 。

对于⼆级指针的运算有：

• *ppa 通过对ppa中的地址进⾏解引⽤，这样找到的是 pa ， *ppa 其实访问的就是 pa。

• **ppa 先通过 *ppa 找到 pa ,然后对 pa 进⾏解引⽤操作： *pa ，那找到的是 a .

6. 指针数组

指针数组是指针还是数组？ 我们类⽐⼀下，整型数组，是存放整型的数组，字符数组是存放字符的数组。 那指针数组呢？是存放指针的数组。

指针数组的每个元素都是⽤来存放地址（指针）的。 如下图：

指针数组的每个元素是地址，⼜可以指向⼀块区域。

7. 指针数组模拟⼆维数组

parr[i]是访问parr数组的元素，parr[i]找到的数组元素指向了整型⼀维数组，parr[i][j]就是整型⼀维数 组中的元素。 上述的代码模拟出⼆维数组的效果，实际上并⾮完全是⼆维数组，因为每⼀⾏并⾮是连续的。