函數體內的局部變量在函數結束時自動消亡。很多人誤以為示例是正確的。理
由是p 是局部的指針變量,它消亡的時候會讓它所指的動態內存一起完蛋。這是錯覺!
void Func(void)
{
char *p = (char *) malloc(100); // 動態內存會自動釋放嗎?
}
示例 試圖讓動態內存自動釋放
我們發現指針有一些“似是而非”的特征:
(1)指針消亡了,並不表示它所指的內存會被自動釋放。
(2)內存被釋放了,並不表示指針會消亡或者成了NULL 指針。
這表明釋放內存並不是一件可以草率對待的事。也許有人不服氣,一定要找出可以
草率行事的理由:
如果程序終止了運行,一切指針都會消亡,動態內存會被操作系統回收。既然如此,
在程序臨終前,就可以不必釋放內存、不必將指針設置為NULL 了。終於可以偷懶而不
會發生錯誤了吧?
想得美。如果別人把那段程序取出來用到其它地方怎么辦?
“野指針”不是NULL 指針,是指向“垃圾”內存的指針。人們一般不會錯用NULL
指針,因為用if 語句很容易判斷。但是“野指針”是很危險的,if 語句對它不起作用。
“野指針”的成因主要有兩種:
(1)指針變量沒有被初始化。任何指針變量剛被創建時不會自動成為NULL 指針,它
的缺省值是隨機的,它會亂指一氣。所以,指針變量在創建的同時應當被初始化,要么
將指針設置為NULL,要么讓它指向合法的內存。例如
char *p = NULL;
char *str = (char *) malloc(100);
(2)指針p 被free 或者delete 之后,沒有置為NULL,讓人誤以為p 是個合法的指針。
(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 就
成了“野指針”。但奇怪的是我運行這個程序時居然沒有出錯,這可能與編譯器有關。