野指针

定义

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

成因

野指针的成因主要有三种：

一、 指针变量没有被初始化。任何 指针变量刚被创建时不会自动成为NULL指针，它的缺省值是随机的，它会乱指一气。所以， 指针变量在创建的同时应当被初始化，要么将指针设置为NULL，要么让它指向合法的内存。

二、指针p被free或者delete之后，没有置为NULL，让人误以为p是个合法的指针。别看free和delete的名字（尤其是delete），它们只是把指针所指的内存给释放掉，但并没有把指针本身干掉。此时指针指向的就是“垃圾”内存。释放后的指针应立即将指针置为NULL，防止产生“野指针”。

例：

 C++ Code jjbran

1 2 3 4

free(p); if  (p !=  NULL )     p =  NULL ;

三、指针操作超越了 变量的作用范围。比如不要返回指向栈内存的指针或引用，因为栈内存在函数结束时会被释放。示例程序如下：

 C++ Code jjbran

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22

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。例如：

 C++ Code jjbran

1 2 3 4 5 6 7 8

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

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

 C++ Code jjbran

1 2 3 4 5 6 7 8 9

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

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