杜絕“野指標”

標籤：style   class   blog   code   ext   color   

“野指標”不是NULL指標，是指向“垃圾”記憶體的指標。人們一般不會錯用NULL指標，因為用if語句很容易判斷。但是“野指標”是很危險的，if語句對它不起作用。

“野指標”的成因主要有兩種：

（1）指標變數沒有被初始化。任何指標變數剛被建立時不會自動成為NULL指標，它的預設值是隨機的，它會亂指一氣。所以，指標變數在建立的同時應當被初始化，要麼將指標設定為NULL，要麼讓它指向合法的記憶體。例如

    char *p = NULL;

    char *str = (char*) malloc(100);

（2）指標p被free或者delete之後，沒有置為NULL，讓人誤以為p是個合法的指標。

參考 《free和delete把指標怎麼啦？》

 

 

（3）指標操作超越了變數的作用範圍。這種情況讓人防不勝防，樣本程式如下：

class A 
{    
public:
    void Func(void){ cout << “Func of class A” << endl; }
};

void Test(void)
{
     A  *p;
    {
    A  a;
    p = &a;    // 注意 a 的生命期
     }
    p->Func();        // p是“野指標”
}

函數Test在執行語句p->Func()時，對象a已經消失，而p是指向a的，所以p就成了“野指標”。但奇怪的是我運行這個程式時居然沒有出錯，這可能與編譯器有關。