一:野指针
概念:野指针就是指针指向的位置是不可知的(随机的、不正确的、没有明确限制的)
1、野指针成因
(1)指针未初始化
(2)指针越界访问
(3)指针指向的空间释放
2、如何避免野指针
(1)指针初始化
如果明确知道指针指向哪里就直接赋地址,如果不知道指针应该指向哪里,可以给指针赋值NULL.
NULL是C语言中定义的一个标识符常量,值是0,0也是地址,这个地址是无法直接使用的,读写该地址会报错。
初始化如下:
从上面的异常可以看出,指针变量被赋值为NULL时,改地址是不能读写的。
(2)小心指针越界
一个程序向内存申请了哪些空间,通过指针也就能访问哪些空间,不能超出范围访问,超出了就是越界访问。
(3)指针变量不再使用时,及时赋值为NULL,指针使用之前检查有效性
当指针变量指向一块区域的时候,我们可以通过指针访问该区域,后期不再使用这个指针访问空间的时候,我们可以把该指针赋值为NULL。因为约定俗称的一个规则是:只要是NULL指针就不去访问,同时使用指针之前可以判断指针是否是NULL。
(4)避免返回局部变量的地址
如造成野指针的第三个例子,不要在调用函数的时候返回局部变量的地址。
二:assert断言
注意:使用assert断言的时候,一定要包含头文件:#include<assert.h>
assert.h头文件定义了宏assert(),用于在运行时确保程序符合指定条件,如果不符合,就报错终止运行。这个宏常常被称为“断言”。
这行代码在程序运行到这一行语句时,验证指针变量p是否等于NULL。如果不等于NULL,程序继续执行,否则就会终止运行,并且给出报错信息提示。
assert()宏接受一个表达式作为参数。如果该表达式为真(返回值非零),assert()不会产生任何作用,程序继续运行。如果该表达式为假(返回值为零),assert()就会报错,在屏幕上写入一条错误信息,显示没有通过的表达式,以及包含这个表达式的文件名和行号。
例如:
assert()的的使用对程序员时非常友好的,使用asser()有以下几个好处:
它不仅能自动标识文件和出问题的行号,还有一种无需更改代码就能开启和关闭assert()的机制。如果已经确认程序没有问题,不需要再做断言,就在#include<assert.h>的前面,定义一个宏NDEBUG.
例如: