目录
2.3 指针变量不再使用时,及时置NULL,指针使用之前检查有效性
一、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()的缺点:
因为引入了额外的检查,增加了程序的运行时间。
完
创作不易,喜欢的话请点个赞💕🩵