C语言初学者—了解并掌握野指针，指针传值和传址调用

最新推荐文章于 2024-07-18 00:38:53 发布

Dawn-bit

最新推荐文章于 2024-07-18 00:38:53 发布

阅读量596

点赞数 19

分类专栏： C语言初学者—了解并掌握指针文章标签： c语言开发语言算法 c++ 数据结构

本文链接：https://blog.csdn.net/Dawn_5000/article/details/136208725

版权

C语言初学者—了解并掌握指针专栏收录该内容

5 篇文章 0 订阅

订阅专栏

本文详细解释了野指针的概念、常见问题如指针未初始化、越界访问和空间释放，以及如何通过初始化、检查边界、使用NULL和assert断言来规避这些问题。还介绍了指针的传值调用和传址调用的区别。

摘要由CSDN通过智能技术生成

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

2.3.1除了用 if 来判断还可以用 assert 断言是不是空指针

1.野指针

1.1指针未初始化

概念：野指针（如同野狗）就是指针指向的位置是不可知的（随机的，不确定的，没有明确限制的）

局部变量没有定义，在gcc环境的编译器环境下，会出现随机值，但是在vs2022编译器环境下，会及时报错，提示局部变量没有被初始化。

总结：

局部变量如果不初始化，变量的值会是随机！
全局变量如果不初始化，变量的值默认为0；
静态变量如果不初始化，变量的值也默认为0；

1.2指针越界访问

#include<stdio.h>
int main()
{
	int arr[5] = { 0 };
	int i = 0;
	int* p = &arr;
	for (i = 0; i < 10; i++)
	{
		*p = 1;
		p++;
	}
	printf("%d\n", *p);
	return 0;
}

越界写入：循环试图写入 10 个整数到数组中，但是数组 arr 只有 5个元素。因此，当 i 大于等于 5时，p 指向的内存位置将不再属于数组 arr。从而导致越界访问。这个会导致程序崩溃，数据损坏或其他不可预测的行为，所以一定要仔细观察。

1.3指针指向的空间释放

#include <stdio.h>
int* test()
{
 int n = 10;
 return &n;
}
int main()
{
 int*p = test();
 printf("%d\n", *p);
 return 0;
}

错误分析：

在函数 test（） 中，定义了一个局部变量 n 并赋值为 10。然后，函数返回了这个局部变量的地址。但是，局部变量是存储在函数的栈帧中的，当函数执行完毕，栈帧会被销毁，局部变量也随之失效。因此，通过test（）函数返回的指针 p 指向的内存位置在函数返回后就不再有效。

在main（）函数中，试图通过指针 p 访问这个已经失效的内存位置，并打印其内容。这通常会导致不可预测的行为，比如程序崩溃、数据损坏，或者在某些情况下可能会“偶然”地打印出正确的值（但这只是因为该内存位置恰好还没有被其他数据覆盖）

知识要点总结：

局部变量的生命周期：局部变量在函数执行期间存在，并在函数返回时销毁。因此，不能返回局部变量的地址或引用。
指针和内存管理：指针是存储内存地址的变量。在使用指针时，必须确保它指向有效的、未释放的内存。
函数的返回值：函数返回的是局部变量的地址时，这个地址在函数返回后将不再有效。应该返回动态分配的内存地址（如使用 malloc 或 calloc），或全局变量的地址。
动态内存分配：当需要返回一个指针时，通常使用动态内存分配来分配堆上的内存。这样，即使函数返回，分配的内存也不会被释放，可以通过返回的指针来访问。

2.如何规避野指针

2.1指针初始化

如果明确知道指针指向哪里就直接赋值地址，如果不知道指针应该指向哪里，可以给指针赋值NULL

NULL （空指针）是C语言中定义的⼀个标识符常量，值是0，0也是地址，这个地址是无法使用的，读写该地址会报错。

#include<stdio.h>
int main()
{
	int a = 10;
	int* p = &a;
	int* p2 = NULL;
	return 0;
}

2.2小心指针越界

了解并遵守指针能访问的边界内存。不要试图访问超出指针所能访问的内存位置。

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

#include<stdio.h>
int main()
{
	int a = 10;
	int* p = &a;
	int* p2 = NULL;
	if (p2 != NULL)
	{
		//判断变量p2不是空指针后，则在if里面添加所要执行的程序
		//如果变量p2是空指针，则跳出判断，直接返回0
	}
	return 0;
}

2.3.1除了用 if 来判断还可以用 assert 断言是不是空指针

在使用 assert 断言来判断时,要加上头文件 assert.h

assert(p!=NULL)

上面代码在程序运行到这一行语句时，验证变量 p 是否等于 NULL 。如果确实不等于 NULL ，程序继续运行，否则就会终止运行，并且给出报错信息提示

assert() 接受⼀个表达式作为参数。如果该表达式为真（返回值非零）， assert() 不会产生任何作用，程序继续运行。如果该表达式为假（返回值为零）， assert() 就会报错，在标准错误流 stderr 中写入⼀条错误信息，显示没有通过的表达式，以及包含这个表达式的文件名和行号

assert() 的使用对程序员是非常友好的，使用assert() 有几个好处：

它不仅能自动标识文件和出问题的行号，还有⼀种无需更改代码就能开启或关闭 assert() 的机制。
如果已经确认程序没有问题，不需要再做断言，就在 #include 语句的前面，定义⼀个 NDEBUG 。

#define NDEBUG
assert(p!=NULL)

然后，重新编译程序，编译器就会禁用文件中所有的 assert() 语句。如果程序又出现问题，可以移除这条 #define NDBUG 指令（或者把它注释掉），再次编译，这样就重新启用了 assert() 语句。

缺点：

由于引入了额外的检查，增加了程序的运行时间。

⼀般我们可以在 Debug 中使用，在 Release 版本中选择禁用 assert 就行，在 VS 2022编译器这样的集成开发环境中，在 Release 版本中，直接就是优化掉了。

这样在Debug版本写有利于程序员排查问题，在 Release 版本不影响用户使用时程序的效率。

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

局部变量的生命周期出了函数就销毁了，所以不要放回局部变量的地址；

3.指针的传值调用和传址调用

3.1传值调用

没有使用指针

写一个代码，把两个整型变量放入add函数中进行加减运算；

#include<stdio.h>
int add(int x, int y)
{
	return x + y;
}
int main()
{
	int a = 10;
	int b = 20;
	int sum = add(a, b);
	printf("sum=%d\n", sum);
	return 0;
}

3.2传址调用

使用指针

总结：

传值调用函数时，函数的实参传给形参时，形参是实参的一份临时拷贝！
形参有自己的独立空间
对形参的修改不会影响实参！

修改使用指针：

#include<stdio.h>
void Swp(int *x, int* y)
{
	*x = *x ^ *y;
	*y = *x ^ *y;    //第一种方法
	*x = *x ^ *y;

    //x=x+y;
    //y=x-y;   第二种方法
    //x=x-y;
//无论是用按位与^,或者加减法，交互都是可以的
    //int z=0;
    //z=x;       
    //x=y;      第三种方法
    //y=z;
}
int main()
{
	int a = 0;
	int b = 0;
	scanf("%d %d", &a, &b);
	printf("交换前:a=%d b=%d\n", a, b);
	Swp(&a,&b);
	printf("交换后:a=%d b=%d\n", a, b);
	return 0;
}