野指针

系统为存储指针变量本身分配内存和指针指向的内存是两个概念

如：char  *p ; 系统为指针变量分配内存，用于保存地址值，在32位机器中，为四字节；但由于未初始化，指针指向的目标内存是不确定的。

      野指针指向一个已删除的对象或未申请访问受限内存区域的指针。与空指针不同，野指针无法通过简单地判断是否为 NULL避免，而只能通过养成良好的编程习惯来尽力减少。对野指针进行操作很容易造成程序错误。

成因

编辑

野指针主要是因为这些疏忽而出现的：

指针变量未初始化

任何指针变量刚被创建时不会自动成为NULL指针，它的缺省值是随机的，它会乱指一气。所以，指针变量在创建的同时应当被初始化，要么将指针设置为NULL，要么让它指向合法的内存。（初始化为NULL，只是让指针不会乱指向，没有指向任何内存空间，所以此时该指针仍然不能使用，要给其赋予一个具体实际的地址值后才能使用该指针）。

指针释放后之后未置空

有时 指针在free或delete后未赋值 NULL，便会使人以为是合法的。别看free和delete的名字（尤其是delete），它们只是把指针所指的内存给释放掉，但并没有把指针本身干掉。此时指针指向的就是“垃圾”内存。释放后的指针应立即将指针置为NULL，防止产生“野指针”。

指针操作超越变量作用域

不要返回指向栈内存的指针或引用，因为栈内存在函数结束时会被释放。示例程序如下：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

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 就成了“野指针” 。

规避

编辑

在养成这些习惯的情况下，野指针的危害是可以降低的：

初始化时置 NULL

指针变量一定要 初始化为NULL，因为任何指针变量(除了static修饰的指针变量)刚被创建时不会自动成为NULL指针，它的 缺省值是随机的。

释放时置 NULL

当指针p指向的内存空间释放时，没有设置指针p的值为NULL。delete和free只是把内存空间释放了，但是并没有将指针p的值赋为NULL。通常判断一个指针是否合法，都是使用if语句测试该指针是否为NULL。例如：

1 2 3 4 5 6 7 8 9

int  *p=newint(6); delete  p; // 应加入 p=NULL; 以防出错 // ... if (p != NULL) {    *p=7;    cout << p << endl; }

对于使用 free 的情况，常常定义一个宏或者函数 xfree 来代替 free 置空指针：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

#define xfree(x) free(x); x = NULL; // 在 C++ 中应使用 nullptr 指代空指针 // 一些平台上的 C/C++ 已经预先添加了 xfree 拓展，如 GNU 的    libiberty xfree(p); // 用函数实现，例如 GitHub 上的 AOSC-Dev/Anthon-Starter #9： static  inline  void  *Xfree( void  *ptr) {      free (ptr); #ifdef __cplusplus      return  nullptr ; #else      return  NULL; #endif } q=Xfree(q);

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

附注：

 void QuFan(int* ptr,short n)
{
    *ptr=(*ptr)^(1<<(n-1));

}


void QuFan(int* ptr,short n)
{
    (*ptr)^(1<<(n-1));

}

差别在于是否修改ptr地址上的数据，后着只是调用ptr上的数据使用，表达式结果为临时值，有时候暂时放在寄存器中，或者常量区中，没有修改到（*ptr）,不能与++表达式混淆。如：i++; 该表达式中++是自身加1，该符号对应的操作已经含有修改本身值的操作，可类比C++中的对符号的重载，所以表达式的形式似乎一致（都没赋值号），但实际效果不同。