一、什么是野指針？

指針是C語(yǔ)言的靈魂，同時(shí)也是很容易讓人犯錯(cuò)的重難點(diǎn)，用錯(cuò)了指針將是一個(gè)災(zāi)難。

指針變量的本質(zhì)是值，這個(gè)特殊的值是一個(gè)內(nèi)存地址值，而合法的內(nèi)存地址包括定義的變量的地址（棧）、malloc函數(shù)申請(qǐng)堆內(nèi)存返回的地址（但未使用free釋放，是在堆空間動(dòng)態(tài)申請(qǐng)）

需要注意的是，野指針不是NULL指針，通常NULL指針可以使用if語(yǔ)句來(lái)判斷，但是C語(yǔ)言中沒(méi)有任何方法用來(lái)判斷一個(gè)指針是否為野指針！

二、野指針是怎么來(lái)的？

通常野指針是因?yàn)橹羔樧兞恐斜４娴闹挡皇且粋€(gè)合法的內(nèi)存地址或者指向不可用內(nèi)存的指針而造成的。

而且野指針往往會(huì)造成內(nèi)存越界、段錯(cuò)誤等難以找到的問(wèn)題，下面分幾種情況來(lái)說(shuō)說(shuō)野指針的由來(lái)。

局部指針變量沒(méi)有被初始化

//在win10_64位+vs2017

//來(lái)源：技術(shù)讓夢(mèng)想更偉大

//作者：李肖遙

#include 《stdio.h》#include 《string.h》

struct Student

{

char* name;

int number;

};

int main（）

{

struct Student s;

strcpy（s.name， “Lixiaoyao”）; // OOPS！

s.number = 99;

return 0;

}

局部變量不像全局變量那樣，不賦值會(huì)自動(dòng)初始化為0，指針name指向的內(nèi)存空間地址是隨機(jī)的，不能向隨機(jī)地址空間寫(xiě)數(shù)據(jù)。我們?cè)诙x局部指針變量時(shí)應(yīng)該初始化為NULL，局部變量則初始化為0

使用已經(jīng)釋放過(guò)后的指針

//在win10_64位+vs2017

//來(lái)源：技術(shù)讓夢(mèng)想更偉大

//作者：李肖遙

#include 《stdio.h》#include 《malloc.h》#include 《string.h》

void func（char* p）

{

printf（“%s

”， p）;

free（p）;

}

int main（）

{

char* s = （char*）malloc（5）;

strcpy（s， “Lixiaoyao”）;//數(shù)組越界

func（s）;

printf（“%s

”， s）; // OOPS！使用已經(jīng)釋放的指針s

return 0;

}

malloc申請(qǐng)的堆空間釋放后，意味著把這片內(nèi)存歸還到空閑鏈表，其它程序可以使用這片空間，如果其它程序使用了這個(gè)空間，可能導(dǎo)致其它程序莫名其妙的被關(guān)閉，所以一定要在釋放過(guò)后將指針變量的值賦值為NULL。

指針?biāo)赶虻淖兞吭谥羔樦氨讳N(xiāo)毀

//在win10_64位+vs2017

//來(lái)源：技術(shù)讓夢(mèng)想更偉大

//作者：李肖遙

#include 《stdio.h》

char* func（）

{

char p［］ = “Lixiaoyao”;

return p;

}

int main（）

{

char* s = func（）;

printf（“%s

”， s）; // OOPS！

return 0;

}

func函數(shù)被調(diào)用的時(shí)候，棧區(qū)存放了局部數(shù)組p，func返回之后，棧頂指針退出，占用的內(nèi)存已經(jīng)被釋放掉，此時(shí)指針s指向一個(gè)被釋放掉了棧空間，如果?？臻g值被修改了，就不會(huì)打印出預(yù)期結(jié)果，s就變成了一個(gè)野指針，所以我們絕對(duì)不要在函數(shù)中返回局部變量和局部數(shù)組的地址。

進(jìn)行了錯(cuò)誤指針運(yùn)算

//在win10_64位+vs2017

//來(lái)源：技術(shù)讓夢(mèng)想更偉大

//作者：李肖遙

#include 《stdio.h》

void main（）

{

int a［10］ = {1，2，3，4，5，6，7，8，9，10};

int *p;

for （int *p = &a［9］;p 》= a;）{

*--p = 0;

}

}

程序中在數(shù)組第1個(gè)元素a［0］被清除之后，指針p的值還繼續(xù)減下去，而接下去的一次比較運(yùn)算是用于結(jié)束循環(huán)的。但表達(dá)式p》= a（p 》= &a［0］）的值是未定義的。

為避免這種情況，一定要確保字符數(shù)組要以‘’結(jié)尾，為防止內(nèi)存越界，自己編寫(xiě)的內(nèi)存相關(guān)函數(shù)需要指定正確的長(zhǎng)度信息。

進(jìn)行了錯(cuò)誤的強(qiáng)制類(lèi)型轉(zhuǎn)換

//在win10_64位+vs2017

//來(lái)源：技術(shù)讓夢(mèng)想更偉大

//作者：李肖遙

#include 《stdio.h》#include 《string.h》

int main（）

{

int a = 1;

int p = &a;

printf（“%d

”，*（（int*）p））;

/*

在64位下輸出錯(cuò)誤

32位下輸出a的值 1

*/

return 0;

}

上面的程序在64位下輸出錯(cuò)誤，32位下輸出a的值1，在我們寫(xiě)嵌入式程序的時(shí)候，會(huì)將int類(lèi)型的一個(gè)數(shù)據(jù)強(qiáng)制轉(zhuǎn)換成一個(gè)指針類(lèi)型用來(lái)表示寄存器的地址，這個(gè)時(shí)候就需要注意了。

怎么避免野指針？

知道了野指針產(chǎn)生的原因，避免方法就出來(lái)了，在指針的解引用之前，確保指針指向一個(gè)絕對(duì)可用的空間。

定義指針時(shí)，同時(shí)初始化為NULL

在指針解引用之前，先去判斷這個(gè)指針是不是Null

指針使用完之后，將其賦值為NULL

在指針使用之前，將其賦值綁定給一個(gè)可用地址空間

原文標(biāo)題：詳解C語(yǔ)言那些“可怕”的野指針

文章出處：【微信公眾號(hào)：嵌入式ARM】歡迎添加關(guān)注！文章轉(zhuǎn)載請(qǐng)注明出處。

責(zé)任編輯：haq