?

?

提起C語言，大部分開發者很自然就會想到指針二字。沒錯，作為C的核心和靈魂，它的地位咱們就不再贅述了。

今天，我們想跟大家講的是指針中的兩個特有名詞：“懸空指針”和“野指針”。

懸空指針

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語言比較重要的內容，希望大家在編碼的時候一定要注意。