文章目录
1 野指针
什么是野指针呢？野指针就是指针指向的位置是不可知的（随机的，不正确的，没有明确限制的）。
举个例子：你想去朋友家（访问内存中的数据），但你拿的地址（野指针）是错的，可能是个还没建好的房子的地址，也可能是个已经拆掉的房子的地址，这时候你就找不到朋友家了，还可能会惹出麻烦。
1.1 野指针的成因
（1）指针未初始化
#include <stdio.h>
int main()
{
int* p;//局部变量未初始化，默认未随机值
*p = 20;
return 0;
}
由于指针p未初始化，所以*p就属于非法访问，p就是野指针。对比一下初始化后的指针：
#include <stdio.h>
int main()
{
int n = 100;
int* p = &n;//已初始化的指针
*p = 20;
printf("%d", n);
return 0;
}
（2）指针越界访问
#include <stdio.h>
int main()
{
int arr[10] = { 0 };//0 0 0 0 0 0 0 0 0 0（10个数）
int* p = &arr[0];
int i = 0;
for (i = 0; i <= 11; i++);//循环了12次
{
*p = i;
p++;
}
printf("%d", n);
return 0;
}
越界还是很好理解的，前面也有多次提到，比如这里数组只有10个元素，但是循环却循环了12次，这样就会造成最后两次循环生成的是随机数。也就是说，当指针指向的范围超出数组arr的范围时，p就是野指针
（3）指针指向的空间释放
#include <stdio.h>
int* test()
{
int n = 100;//n是局部变量
return &n;
}
int main()
{
int* p = test();
printf("%d", *p);
return 0;
}
可以看出上面的代码有上面问题吗？上诉代码中，n是局部变量，所以n的生命周期就是局部范围，当出了范围后，n会被销毁。通过return &n导致n的地址被返回。p接收了这个地址。在&n返回的时候，n所占的空间就不属于n了。这时候p在拿着刚才返回的地址去找n，根本找不到。因此，当p得到地址的时候，就已经是野指针了！
举个例子辅助理解一下：假设你在图书馆租了一个存包柜来放你的书包（这就相当于在内存中分配了一块空间来存储数据）。然后你把书包放进去，存包柜上的号码牌就像是指针，它能让你找到放书包的位置。当你要离开图书馆的时候，你把书包取走了（这就相当于释放了指针所指向的空间），这个存包柜就空了，不再属于你使用。但是，如果之后你还拿着那个号码牌（也就是还保留着那个指针），想要再去开这个柜子放东西或者取东西，那就不行啦，因为这个柜子已经不再为你服务，它可能已经被分配给其他人使用，或者干脆被图书馆收回了。这就相当于在程序中，对已经释放的空间进行操作，会导致错误。
1.2 野指针的危害
使用野指针可能导致程序崩溃、数据损坏、系统不稳定等严重问题。
举个例子：（该例子只是为了说明野指针的危害，没有实际意义）
比如说你是一个快递员，你的任务是根据地址把包裹送到指定的人家。
正常情况下，每个地址都是清晰准确的，你能顺利地完成送货任务。但如果地址写错了，比如写成了一个不存在的门牌号（这就好比野指针），那麻烦就大了。
你可能会在错误的地方一直找，浪费大量的时间和精力（就像程序在错误的内存位置寻找数据，导致程序运行效率降低）。
或者你可能不小心把包裹放到了别人的家门口，造成包裹送错（这就如同程序错误地修改了不该修改的数据，导致数据出错）。
更糟糕的是，如果这个错误的地址指向了一个敏感的区域，比如是警察的办公地点或者是银行的金库（在程序中就是关键的系统区域），那可能会引起大麻烦，甚至会触犯法律（在程序中可能导致系统崩溃或者出现严重的安全漏洞）。
1.3 如何规避野指针
（1）指针初始化
如果明确知道指针指向哪里就直接赋值地址，如果不知道指针应该指向哪里，可以给指针赋值NULL，NULL是C语言中定义的一个标识符常量，值是0，0也是地址，这个地址是无法使用的，读写该地址会报错
#include <stdio.h>
int main()
{
int n = 10;
int* p = &n;//有明确的指向
int* p2;//野指针
return 0;
}
上诉代码中p指针有明确的指向对象n，而p2则是野指针，为了防止野指针的危害，但又因为没具体的指向，因此可以给p2赋上NULL初始化。
#include <stdio.h>
int main()
{
int n = 10;
int* p = &n;//有明确的指向
int* p2 = NULL;//初始化NULL
return 0;
}
当赋上NULL后，虽然p2指针无法使用，但是我们可以很好的将p2这个野指针管理起来，野指针你可以把它比作一条野狗，如果不拴起来会有很大的危害（未初始化），而拴起来后只要不去招惹它就不会出现问题（给野指针赋上NULL ，且不使用它）
（2）小心指针越界
我们向内存申请了哪些空间，通过指针野就只能访问哪些空间，不能超出范围访问，超出了就是越界访问因此。在使用的时候需要格外注意！
（3）指针变量不使用就及时赋上NULL
当指针变量指向⼀块区域的时候，我们可以通过指针访问该区域，后期不再使用这个指针访问空间的时候，我们可以把该指针置为NULL。因为约定俗成的⼀个规则就是：只要是NULL指针就不去访问。
#include <stdio.h>
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
int* p = &arr[0];
for(int i = 0;i < 10;i++)
{
*(p++) = i;
}
//循环结束后p就不在使用了，可以将p设置为NULL
p = NULL;
return 0;
（4）指针使用前检查是否是空指针
使用指针之前可以判断指针是否为NULL。如果是NULL，就不使用该指针。
#include <stdio.h>
int main()
{
int n = 10;
int* p = &n;
int* p2 = NULL;
if (p2 != NULL)//在使用前判断p2是否为空指针
{
//……
}
return 0;
}
（5）避免返回局部变量的地址
局部变量在函数结束后其内存会被释放，如果返回其地址，就会得到一个野指针。如上述野指针成因的第三种其情况。
1.4 区分野指针和空指针
野指针和空指针是两个不同的概念，主要区别如下表：
| 指针 | 定义 | 安全性 | 产生原因 |
|---|---|---|---|
| 野指针 | 野指针是指向一个不确定的、无效的或者未分配的内存地址的指针。 | 野指针是指向一个不确定的、无效的或者未分配的内存地址的指针。 | 野指针通常是由于编程错误，比如指针未初始化、指针所指向的内存被释放后未正确处理等原因产生的。 |
| 空指针 | 空指针是被明确赋值为 NULL （在 C 或 C++ 中）的指针，表示它不指向任何有效的内存地址。 | 空指针的使用是相对安全的，因为在程序中对空指针进行解引用操作通常会导致程序崩溃，从而能够让开发者意识到问题所在。 | 空指针通常是由开发者主动将其赋值为 NULL 来表示某种特殊情况或未初始化的状态。 |
举例说明：
// 空指针
int *p = NULL; // 这是一个明确的空指针
// 野指针
int *p; // 未初始化，可能成为野指针
int arr[5];
int *p = &arr[5]; // 超出数组范围，成为野指针
2 assert断言
2.1 定义与用法
**assert 断言是一种在编程中用于调试和验证假设的工具。**assert.h 头文件定义了宏 assert() ，用于在运行时确保程序符合指定条件，如果不符合，就报错终止运行。这个宏常常被称为“断言”。
assert(p != NULL);
//表达式为真，继续运行
//表达式为假，程序停止
上面代码在程序运行到这一行语句时，验证变量 p 是否等于 NULL 。如果确实不等于NULL，程序就继续运行，否则就会终止运行，并且给出报错信息提示。
代码展示：
#include <stdio.h>
int main()
{
int* p = NULL;
assert(p != NULL);
return 0;
}
结果：
assert() 宏接受⼀个表达式作为参数。如果该表达式为真（返回值非零），assert()不会产生任何作用，程序继续运行。如果该表达式为假（返回值为零）， assert()就会报错，在标准错误流stderr 中写入⼀条错误信息，显示没有通过的表达式，以及包含这个表达式的文件名和行号。
2.2 assert优点
（1）自动标识文件和出问题的代码的行数；
（2）使代码的逻辑更加清晰，明确了开发者对代码执行过程中的预期。
（3）无需更改代码就能开启或关闭assert（）的机制。如果已经确定程序没问题，只需要在#include <assert.h> 前面定义宏 NDEBUG.
\#define NDEBUG //加上这一行就可以关闭assert断言
\#include <assert.h>
int main()
{
int* p = NULL;
**assert**(p != NULL);
return 0;
}
2.3 assert使用场景
（1）检查函数的输入参数是否符合预期；
（2）验证在特定代码段中某些关键变量的状态或值。
assert 断言在开发和测试阶段特别有用。它能帮助您快速发现那些您认为“绝对不应该发生”的情况，让您更快地找到并修复代码中的错误。但要记住，在最终发布给用户的程序中，assert通常会关闭断言，因为它会带来一些额外的性能开销。不过在开发过程中，它可是您的好帮手，能大大提高代码的质量和可靠性。
文章已获作者授权转载，版权归原作者所有，如有侵权，与本账号无关，可联系删除。 原文作者:JonlyMay
原文链接：https://blog.csdn.net/2401_85010100/article/details/140961766
4828
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
