懸空指針

C語言中的指針可以指向一塊內存，如果這塊內存稍后被操作系統回收（被釋放），但是指針仍然指向這塊內存，那么，此時該指針就是“懸空指針”。下面這段C語言代碼是一個例子，請看：

void *p = malloc(size);
assert(p);
free(p); 
// 現在 p 是“懸空指針”

C語言中的“懸空指針”會引發不可預知的錯誤，而且這種錯誤一旦發生，很難定位。這是因為在 free(p) 之后，p 指針仍然指向之前分配的內存，如果這塊內存暫時可以被程序訪問并且不會造成沖突，那么之后使用 p 并不會引發錯誤。

最難調試的 bug 總是不能輕易復現的 bug，對不？

所以，在實際的C語言程序開發中，為了避免出現“懸空指針”引發不可預知的錯誤，在釋放內存之后，常常會將指針 p 賦值為 NULL：

void *p = malloc(size);
assert(p);
free(p); 
// 避免“懸空指針”
p = NULL;

這么做的好處是一旦再次使用被釋放的指針 p，就會立刻引發“段錯誤”，程序員也就能立刻知道應該修改C語言代碼了。

野指針

上面我們講的“懸空指針”是指向被釋放內存的指針，“野指針”則是不確定其具體指向的指針。“野指針”最常來自于未初始化的指針，例如下面這段C語言代碼：

void *p;
// 此時 p 是“野指針”

?因為“野指針”可能指向任意內存段，因此它可能會損壞正常的數據，也有可能引發其他未知錯誤，所以C語言中的“野指針”危害性甚至比“懸空指針”還要嚴重。?在實際的C語言程序開發中，定義指針時，一般都要盡量避免“野指針”的出現（賦初值）：

void *p = NULL;
void *data = malloc(size);

這兩點內容，是C語言比較重要的內容，希望大家在編碼的時候一定要注意。