野指针是指向一个已删除的对象或未申请访问受限内存区域的指针。
与空指针不同,野指针无法通过简单地判断是否为 NULL避免,只能通过养成良好的编程习惯来尽力减少。
“野指针”不是NULL指针,是指向被释放的或者访问受限的垃圾内存的指针。“野指针”是很危险的,if无法判断一个指针是正常指针还是“野指针”。
野指针的成因主要有三种:
一、 指针变量没有被初始化。任何指针变量刚被创建时不会自动成为NULL指针,它的缺省值是随机的。所以, 指针变量在创建的同时应当被初始化,要么将指针设置为NULL,要么让它指向合法的内存。
二、指针p被free或者delete之后,没有置为NULL,让人误以为p是个合法的指针。别看free和delete的名字(尤其是delete),它们只是把指针所指的内存给释放掉,但并没有把指针本身干掉。此时指针指向的就是“垃圾”内存。释放后的指针应立即将指针置NULL,防止产生“野指针”。
例:
free(p);
if (p != NULL)
p = NULL;
三、指针操作超越了 变量的作用范围。比如不要返回指向栈内存的指针或引用,因为栈内存在函数结束时会被释放。示例程序如下:
class A{
public:
void Func(void){
cout << “Func of class A” << endl;
}
};
class B{
public:
A *p;
void Test(void){
A a;
p = &a; // 注意a的生命期 ,只在这个函数Test中,而不是整个class B
}
void Test1(){
p->Func(); // p 是“野指针”
}
};
函数 Test1 在执行语句 p->Func()时,p 的值还是 a 的地址,对象 a 的内容已经被清除,所以 p 就成了“野指针” 。
1)指针变量一定要初始化为NULL,因为任何指针变量刚被创建时不会自动成为NULL指针,它的缺省值是随机的。
2)当指针p指向的内存空间释放时,没有设置指针p的值为NULL。delete和free只是把内存空间释放了,但是并没有将指针p的值赋为NULL。通常判断一个指针是否合法,都是使用if语句测试该指针是否为NULL。
所以动态分配内存后,如果使用完这个动态分配的内存空间后,必须习惯性地使用delete操作符取释放它。