一.assert断言
1.空指针
上文讲到为了避免野指针,当指针不再使用的时候,要及时置为空指针,例如
当置为空指针后该指针,不能再次使用,否则会导致程序崩溃或产生错误结果。因此这也从另一方面提醒我们,使用指针之前应先判断该指针是否为空,例如:
那如果我们写上千行代码,忘了中间是否已经判断指针是否为空怎么办
接下来就要用到assert断言,使用之前要添加头文件#include<assert.h>,例如
如果指针已经为空,此时不满足assert后的判断语句就会报错,且提示你assert语句的位置。
当然assert语句也不仅仅可以用来判断空指针,它的作用与if大致相同,只不过如果不满足if条件语句,程序会直接跳过,而assert会提示。
二.传址调用
在我们进行函数自定义的时候会传入形参,而这个形参往往是一个值,但也有特殊个例,比如我们要定义一个函数去实现交换两个数的功能,我们会发现这时候返回的数并没有实现交换,例如
为什么呢,其实传值调用的本质是新建内存并把传入的值放进去,而函数新建的内存假设x,y,它们与原本的内存地址a,b并不一样,x,y地址中的数据的改变与a,b地址中的数据并没有直接关系,此时a,b地址并没有变化,所以两个值没有交换。
那我们就会想可不可以直接传入a,b的地址,直接用指针对地址中的值进行操作,例如
不改变地址,直接用解引用改变地址中的元素。
三.深入理解数组名
看一行代码
当我们把arr赋给一个指针变量,用这个指针可以访问到数组中的第一个元素,因此不难看出此时arr代表的是数组首元素的地址。但是,有两个例外,第一个就是sizeof(arr),看代码
此时我们看出arr代表数组中所有元素的地址。
第二个例外&arr,取得是整个数组的地址,证明如下
我们可以发现当&arr+1时变了28,可能有人不理解28怎么来的,简单说就是
也就是说它移动了40个字节,从侧面证明它取得是整个数组的地址。
四.使用指针访问数组
看下面一组代码
把数组首元素地址赋给指针,然后遍历即可。
五.一维数组传参的本质
一维数组传参的本质就是把数组首元素的地址传入
通过这两组代码我们不难发现,一维数组传参的本质就是把数组首元素的地址传入。
那么我们如何得到该数组的所有元素呢,只需要指针后移即可
但要注意的是数组长度要在主函数中求。