使用指针的注意事项（基础）

谦逊码农的旅程

于 2024-02-05 14:40:55 发布

阅读量1k

点赞数 30

分类专栏： C语言文章标签： c语言开发语言

本文链接：https://blog.csdn.net/2201_75582674/article/details/136032913

版权

C语言专栏收录该内容

23 篇文章 0 订阅

订阅专栏

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

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

三、assert断言

一、const修饰指针

1、const修饰变量

const int n = 0;
表示n的值不能被修改，但如果我们绕过n，使用n的地址，去修改n就能做到了。
const int n = 0;
int* p = &n;
*p = 20
这样n的值就被修改为了20

2、const修饰指针变量

那我们限制n的地址，n还能修改吗

注意：const修饰指针变量的时候

const int * p ，表示 const 放在 * 的左边，修饰的是指针指向的内容（*p），保证指针指向的内容不能通过指针来改变，但是指针变量本身的内容（p）可变。
int * const p ，const如果放在 * 的右边，修饰的是指针变量本身(p)，保证了指针变量的内容不能修改，但是指针指向的内容（*p），可以通过指针修改。
const int * const p ，放在左右两边表示指针指向的内容不能修改，指针变量本身的内容也不可修改。

代码如下：

我们写4个函数来分别测试：

1.无const修饰的情况
void test1()
{
	int n = 10;
	int m = 20;
	int* p = &n;
	*p = 30;
	p = &m;
}
代码没有错误，程序可以跑起来

2.const放在 * 左边的情况
void test2()
{
	int n = 10;
	int m = 20;
	const int* p = &n;
	*p = 30;
	p = &m;

}
运行后显示 “error C2166: 左值指定 const 对象” 表示*p不能被修改，程序无法运行

3.const放在 * 右边的情况
void test3()
{
	int n = 10;
	int m = 20;
	int* const p = &n;
	*p = 30;
	p = &m;
}
同样也是报错，说明 p 的内容不能被修改

4.* 左右都有const的情况
void test4()
{
	int n = 10;
	int m = 20;
	const int* const p = &n;
	*p = 30;
	p = &m;
}
这次 *p 和 p 同时显示错误，说明都无法被修改。

二、野指针

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

1、野指针成因

1.1 指针未初始化

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

1.2 指针越界访问

int main()
{
	int arr[10] = {0};
	int* p = arr;
	for (int i = 0; i < 11; i++)//当指针指向的范围超出数组arr的范围时，p就是野指针
	{
		*(p + i) = i;
	}
}

1.3 指针指向的空间释放

#include<stdio.h>

int* test()
{
	int n = 100;
	return &n;
}

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

运行后显示一个警告：返回局部变量或临时变量的地址n

当函数结束后，会在内存中释放，相应的地址也会释放，所以不要返回局部变量的地址。

2、如何规避野指针

2.1 指针初始化

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

NULL是C语言中定义的一个标识符常量，值是0，0也是地址，这个地址是无法使用的，读写该地址会报错。
int* p = NULL;

2.2 小心指针越界

一个程序向内存申请了哪些空间，通过指针也就只能访问哪些空间，不能超出范围访问，超出了就是越界访问。

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

当指针变量指向一块区域的时候，我们可以通过指针访问该区域，后期不再使用这个指针访问空间的时候，我们可以把该指针置为NULL。因为约定俗成的一个规则就是：只要是NULL指针就不去访问，同时使用指针之前可以判断指针是否为NULL。

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

不要返回局部变量的地址

三、assert断言

assert.h 头文件定义了宏 assert()，用于在运行时确保程序符合指定条件，如果不符合，就报错终止运行。这个宏常常被称为“断言”。

运行以下代码：
#include<stdio.h>
#include<assert.h>
int main()
{
	int arr[10] = { 0 };
	int* p = NULL;
	assert(p != NULL);
	printf("%d ", *p);
	return 0;
}
assert()宏接受一个表达式作为参数。如果该表达式为真（返回值非零），assert（）不会产生任何作用，程序继续运行。如果该表达式为假（返回值为零），assert（）就会报错，在标准错误流stderr（ stderr默认情况下会显示在控制台上）中写入一条错误信息，显示没有通过的表达式，以及包含这个表达式的文件名和行号。

使用assert（）的好处：

它不仅能自动标识文件和出问题的行号，还有一种无需更改代码就能开启或关闭assert（）的机制。

如果已经确认程序没有问题，不需要再做断言，就在#include<assert.h>语句的前面，定义一个宏NDEBUG。
#define NDEBUG
#include<assert.h>
重新编译程序，编译器就会禁用文件中所有的assert（）语句。如果程序又出了问题，可以移除这条#define NDEBUG 指令，再次编译，就重新启用了assert（）语句。

assert（）的缺点：

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