const修饰，野指针成因与规避，assert断言

君辣堡

发布于 2025-12-20 08:59:27

250

今天，我们继续来讲指针的内容

1.const修饰

1.1const修饰变量

如果我们给定一个整型变量，那么这个变量的值是可以被修改的。为了使它的值不能被修改，那我们就可以使用const来修饰这个变量，如图：

#include <stdio.h>
int main()
{
int m = 0;
m = 20;//m是可以修改的
const int n = 0;
n = 20;//n是不能被修改的
return 0;
}

上述代码中，我们给n前面加上const之后，它的值就不能被修改了。其实n本质是变量，只不过被const修饰后，在语法上加了限制，只要我们在代码中对n就⾏修改，就不符合语法规则，就报错，致使没法直接修改n。

但是，但是如果我们绕过n，使⽤n的地址，去修改n就能做到了，虽然这样做是在打破语法规则：

#include <stdio.h>
int main()
{
const int n = 0;
1
2
3
4
printf("n = %d\n", n);
int* p = &n;
*p = 20;
printf("n = %d\n", n);
return 0;
}

如图中代码，不能直接修改n，那么就利用指针获取它的地址，再把地址里的值改掉，间接地改变n的值。

1.2const修饰指针变量

既然可以通过地址修改n，那我们也可以利用const使指针p得到n的地址，但是不能修改n的值.

那如何做到呢？也是利用const修饰它.⼀般来讲const修饰指针变量，可以放在*的左边，也可以放在*的右边，意义是不⼀样的。

int * p; //没有const修饰

int const * p;//const 放在*的左边做修饰，或者 const int* p;

这种情况下，const修饰的是p所指向的内容，此时const能保证该内容不会被修改；

int * const p;//const 放在*的右边做修饰

这种情况下，const修饰指针变量本身，此时const能保证指针的指向不会被改变；

const int* const p; //const在*两边都存在

这种情况下，const修饰指针变量和指针指向的内容，即两个都不能改变；

需要注意：单个const时,总是只能锁定一个，另一个可以正常被修改！

2.野指针成因

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

2.1野指针的成因

1.指针未初始化：

#include <stdio.h>
int main()
{
int *p;//局部变量指针未初始化，默认为随机值
*p = 20;
return 0;
}

如图，局部指针变量未初始化，默认是随机值；

2.指针越界访问：

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

当指针指向的范围超出数组arr的范围时，p就是野指针；

3.指针指向的空间释放

#include <stdio.h>

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

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

在主函数中，上述代码想实现利用*p调用函数，再打印出该函数的返回值&n,问题是test函数运行完后，n的生命周期结束，空间被释放，导致printf中解引用p时，访问的是一块已经被释放，不再有效的内存区域，这导致p成为了野指针；

2.2野指针规避

只要是NULL指针就不去访问

1.指针的初始化

如果明确知道指针该指向哪里，那就直接赋地址，若不知道，则赋值NULL，初始化如图：

int num = 10;
int*p1 = &num;
int*p2 = NULL;//赋值NULL

2.避免指针访问越界

一个程序中申请了哪些内存空间，那就只能指向哪些空间，不能访问没有申请的空间；

3.指针变量不再使⽤时置NULL，使用前检查有效性

当指针变量指向⼀块区域的时候，我们可以通过指针访问该区域，后期不再使⽤这个指针访问空间的时候，我们可以把该指针置为NULL，同时,使用一个指针时可以检查它是否为NULL,是的话不可以直接使用，不是的话可以使用

int main()
{
    int arr[10] = {1,2,3,4,5,6,7,8,9,10};
    int *p = &arr[0];
    int i = 0;
    for(i = 0; i < 10; i++)
{
    *(p++) = i;
}
                                //此时p已经越界了，可以把p置为NULL
    p = NULL;
                                //下次使⽤的时候，判断p不为NULL的时候再使⽤
      //...
                                p = &arr[0];//重新让p获得地址
    if(p != NULL) //判断
{
    //...
}
    return 0;
}