【C语言】_野指针

目录

1. 野指针常见成因

1.1 指针未初始化

1.2 指针越界访问

1.3 指针指向的空间释放了

2. 规避野指针

2.1 指针初始化

2.2 小心指针越界

2.3 指针变量使用前检查有效性，不再使用时及时置NULL

2.4 避免返回局部变量的地址

野指针：野指针就是指针指向的位置是不可知的（不正确的、随机的、没有明确限制的）；

1. 野指针常见成因

1.1 指针未初始化

int main()
{
int* p;         //局部变量未初始化，默认为随机值
*p=20;
}

注：p为局部变量，局部变量未初始化时默认为随机值；

1.2 指针越界访问

int main() {
	int arr[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
	int* p = arr;
	int i = 0;
	int sz = sizeof(arr) / sizeof(arr[0]);
	for (i = 0; i <= sz; i++) {
		printf("%d ", *p);
		p++;
	}
	return 0;
}

运行结果如下：

由于循环体循环了11次，当指针p指向的位置超出数组arr的范围时，p就是野指针；

1.3 指针指向的空间释放了

int* test() {
	int a = 10;
	return &a;
}
int main() {
	int* p = test();
	printf("%d\n", *p);
	return 0;
}

变量a作为局部变量，离开函数test ( ) 范围即销毁，也就是a所在的内存地址已还给操作系统，此时再在main()函数中使用该地址访问数据，该地址就是野指针；

2. 规避野指针

2.1 指针初始化

1、 定义指针变量时，若明确知道指针指向的位置则直接赋值具体地址，

若不知道指针指向的位置则可赋值NULL：

int main() {
	int a = 10;
	int* p1 = &a;
	*p1 = 20;      // 正确

	int* p2 = NULL;
	// *p2 = 30;   // 错误
	return 0;
}

2、 NULL是C语言中定义的一个标识符常量，值是0，0也是地址，但该地址无法使用，读写该地址会报错，NULL的定义如下：

#ifndef NULL
    #ifdef __cplusplus
        #define NULL 0
    #else
        #define NULL ((void *)0)
    #endif
#endif

2.2 小心指针越界

一个程序只能通过指针访问其向内存申请的那部分空间，不能超出范围访问，超出范围访问就是越界访问；

2.3 指针变量使用前检查有效性，不再使用时及时置NULL

int main() {
	int* p = NULL;
	// 对指针进行判NULL的有效性判断
	if (p != NULL) {
		*p = 20;
	}
	return 0;
}

2.4 避免返回局部变量的地址

比如1.3部分的示例：

函数test ( ) 内的变量a作为局部变量，离开test ( ) 函数范围即销毁，也就是a所在的内存地址已还给操作系统，此时再在main ( ) 函数中使用该地址访问数据，该地址就是野指针；