1、野指针
- 指针变量中的值是非法的内存地址,进而形成野指针
- 野指针不是NULL指针,是指不可用内存地址的指针
- NULL指针并无危害,很好判断,也很好调试
- C语言无法判断一个指针所保存的地址是否合法
2、野指针的由来
- 局部指针变量没有被初始化
- 指针所指向的变量在指针之前被销毁
- 使用已经释放过的指针
- 进行了错误的指针运算
- 进行了错误的强制类型转换
#include <stdio.h>
#include <malloc.h>
int main()
{
int* p1 = (int*)malloc(40);
int* p2 = (int*)1234567; //野指针,错误的强制类型转换
printf("%p\n",p1);
for (int i = 0; i < 40; i++) //越界
{
*(p1 + i) = 40 - i;
}
free(p1); //p1变成野指针,p1里面还存着地址值,应该p1 = NULL
printf("%p\n", p1);
for (int i = 0; i < 40; i++)
{
p1[i] = p2[i]; //产生野指针,两个野指针的运算,非法
}
return 0;
}
纠正:
#include <stdio.h>
#include <malloc.h>
int array[40] = { 1,2,3,4,5,6,7,8,9 };
int main()
{
int* p1 = (int*)malloc(40*sizeof(int));
int* p2 = array;
printf("%p\n",p1);
for (int i = 0; i < 40; i++)
{
*(p1 + i) = 40 - i;
}
free(p1);
printf("%p\n", p1);
p1 = NULL;
p1 = (int*)malloc(40*sizeof(int));
for (int i = 0; i < 40; i++)
{
p1[i] = p2[i];
}
return 0;
}
所有的动态空间都是给我们使用,即便这个时候,有野指针,但是也不会出错,指针满天飞。
指针指向一段动态内存,在free这段动态内存后,我们最好要将它置为空指针,防止它变成野指针。
3、杜绝野指针的基本原则
- 绝不返回局部变量和局部数组的地址
- 任何变量在定义后必须初始化为 0
- 字符数组必须确认 0 结束符后才能成为字符串
- 任何使用与内存操作相关的函数必须制定长度信息
#include <stdio.h>
#include <string.h>
#include <malloc.h>
struct Student
{
char* name;
int number;
};
char* func()
{
char p[] = "D.T.Software";
return p; //返回局部变量的地址
}
void del(char* p)
{
printf("%s\n", p);
free(p);
}
int main()
{
struct Student s; //定义未初始化
char* p = func(); //使用野指针
strcpy(s.name, p); //error
s.number = 99;
p = (char*)malloc(5);
strcpy(p, "D.T.Software"); //越界
del(p);
return 0;
}
纠正程序:
#include <stdio.h>
#include <string.h>
#include <malloc.h>
#define SIZE 40
struct Student
{
char name[SIZE];
int number;
};
char* func()
{
static char p[] = "D.T.software";
return p;
}
void del(char* p)
{
printf("%s\n", p);
free(p);
}
int main()
{
struct Student s = { "xiebs", 1 };
char* p = func();
strncpy(s.name, p, 5);
s.number = 99;
p = (char*)malloc(6);
strncpy(p, "D.T.Software", 5);
p[5] = '\0';
del(p);
p = NULL;
printf("s.name = %s, s.number = %d\n", s.name, s.number);
return 0;
}