[[415864]]

 一、什么是野指針？

指針是C語言的靈魂，同時也是很容易讓人犯錯的重難點，用錯了指針將是一個災難。

指針變量的本質是值，這個特殊的值是一個內存地址值，而合法的內存地址包括定義的變量的地址(棧)、malloc函數申請堆內存返回的地址(但未使用free釋放，是在堆空間動態申請)

需要注意的是，野指針不是NULL指針，通常NULL指針可以使用if語句來判斷，但是C語言中沒有任何方法用來判斷一個指針是否為野指針！

二、野指針是怎么來的？

通常野指針是因為指針變量中保存的值不是一個合法的內存地址或者指向不可用內存的指針而造成的。

而且野指針往往會造成內存越界、段錯誤等難以找到的問題，下面分幾種情況來說說野指針的由來。

局部指針變量沒有被初始化 

//在win10_64位+vs2017  
//來源：技術讓夢想更偉大  
//作者：李肖遙  
#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;  
} 

局部變量不像全局變量那樣，不賦值會自動初始化為0，指針name指向的內存空間地址是隨機的，不能向隨機地址空間寫數據。我們在定義局部指針變量時應該初始化為NULL，局部變量則初始化為0

使用已經釋放過后的指針 

//在win10_64位+vs2017  
//來源：技術讓夢想更偉大  
//作者：李肖遙  
#include <stdio.h>  
#include <malloc.h>  
#include <string.h>  
void func(char* p)  
{  
    printf("%s\n", p);  
    free(p);  
}  
int main()  
{ 
    char* s = (char*)malloc(5);  
    strcpy(s, "Lixiaoyao");//數組越界  
    func(s);  
    printf("%s\n", s); // OOPS!使用已經釋放的指針s  
    return 0;  
} 

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

指針所指向的變量在指針之前被銷毀 

//在win10_64位+vs2017  
//來源：技術讓夢想更偉大  
//作者：李肖遙  
#include <stdio.h>   
char* func()  
{  
    char p[] = "Lixiaoyao";  
    return p;  
}  
int main()  
{  
    char* s = func();  
    printf("%s\n", s); // OOPS!  
    return 0;  
} 

func函數被調用的時候，棧區存放了局部數組p，func返回之后，棧頂指針退出，占用的內存已經被釋放掉，此時指針s指向一個被釋放掉了棧空間，如果棧空間值被修改了，就不會打印出預期結果，s就變成了一個野指針，所以我們絕對不要在函數中返回局部變量和局部數組的地址。

進行了錯誤指針運算 

//在win10_64位+vs2017  
//來源：技術讓夢想更偉大  
//作者：李肖遙  
#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;  
  }  
} 

程序中在數組第1個元素a[0]被清除之后，指針p的值還繼續減下去，而接下去的一次比較運算是用于結束循環的。但表達式p>= a（p >= &a[0]）的值是未定義的。

為避免這種情況，一定要確保字符數組要以‘\0’結尾，為防止內存越界，自己編寫的內存相關函數需要指定正確的長度信息。

進行了錯誤的強制類型轉換 

//在win10_64位+vs2017  
//來源：技術讓夢想更偉大  
//作者：李肖遙  
#include <stdio.h>  
#include <string.h>  
int main()  
{  
    int a = 1;  
    int p = &a;  
    printf("%d\n",*((int*)p));  
    /*  
    在64位下輸出錯誤  
    32位下輸出a的值 1  
    */  
    return 0; 
 } 

上面的程序在64位下輸出錯誤，32位下輸出a的值1，在我們寫嵌入式程序的時候，會將int類型的一個數據強制轉換成一個指針類型用來表示寄存器的地址，這個時候就需要注意了。

怎么避免野指針?

知道了野指針產生的原因，避免方法就出來了，在指針的解引用之前，確保指針指向一個絕對可用的空間。

1.  定義指針時，同時初始化為NULL
2.  在指針解引用之前，先去判斷這個指針是不是Null
3.  指針使用完之后，將其賦值為NULL
4.  在指針使用之前，將其賦值綁定給一個可用地址空間