C-指针2-野指针

1.定义：

              “野指针”不是NULL指针，是指向被释放的或者访问受限内存的指针。人们一般不会错用NULL指针，因为用if语句很容易判断。但是“野指针”是很危险的，if无法判断一个指针是正常指针还是“野指针”。有个良好的编程习惯是避免“野指针”的唯一方法。

注意：NULL指针是指初始化的时候被初始化成NULL的指针，并不是未初始化的指针，因为未初始化的指针并不是NULL，而是胡乱的指向一段内存区域

2.形成原因

一、 指针变量没有被初始化。任何 指针变量刚被创建时不会自动成为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。例如：

1 2 3 4 5 6 7

int *p= new int (6); delete p; if (p!=NULL) { *p=7; cout<<p<<endl; }

正确的写法应该是下面的代码：

1 2 3 4 5 6 7 8

int *p= new int (6); delete p; p=NULL; if (p!=NULL) { *p=7; cout<<p<<endl; }

所以动态分配内存后，如果使用完这个动态分配的内存空间后，必须习惯性地使用delete操作符取释放它。