C语言“空指针”和“野指针”两大bug的罪魁祸首

关注+星标公众号，不错过精彩内容

编排 | strongerHuang

微信公众号 | 嵌入式专栏

提起C语言大部分开发者很自然就会想到指针二字，没错，作为C的核心和灵魂，它的地位咱们就不再赘述了，今天我们想跟大家讲的是指针中的两个有名的“空指针”和“野指针”。

嵌入式专栏

1

空指针

C语言中的指针可以指向一块内存，如果这块内存稍后被操作系统回收（被释放），但是指针仍然指向这块内存，那么，此时该指针就是“空指针”。下面这段C语言代码是一个例子，请看：

void *p = malloc(size);
assert(p);
free(p); 
// 现在 p 是“空指针”

C语言中的“空指针”会引发不可预知的错误，而且这种错误一旦发生，很难定位。这是因为在 free(p) 之后，p 指针仍然指向之前分配的内存，如果这块内存暂时可以被程序访问并且不会造成冲突，那么之后使用 p 并不会引发错误。

最难调试的 bug 总是不能轻易复现的 bug，对不？

所以在实际的C语言程序开发中，为了避免出现“空指针”引发不可预知的错误，在释放内存之后，常常会将指针 p 赋值为 NULL：

void *p = malloc(size);
assert(p);
free(p); 
// 避免“空指针”
p = NULL;

这么做的好处是一旦再次使用被释放的指针 p，就会立刻引发“段错误”，程序员也就能立刻知道应该修改C语言代码了。

嵌入式专栏

2

野指针

上面我们讲的“空指针”是指向被释放内存的指针，“野指针”则是不确定其具体指向的指针。“野指针”最常来自于未初始化的指针，例如下面这段C语言代码：

void *p;
// 此时 p 是“野指针”

因为“野指针”可能指向任意内存段，因此它可能会损坏正常的数据，也有可能引发其他未知错误，所以C语言中的“野指针”危害性甚至比“空指针”还要严重。在实际的C语言程序开发中，定义指针时，一般都要尽量避免“野指针”的出现（赋初值）：

void *p = NULL;
void *data = malloc(size);

这两点内容，是C语言比较重要的内容，希望大家在编码的时候一定要注意。

免责声明：本文素材来源网络，版权归原作者所有。如涉及作品版权问题，请与我联系删除。

------------ END ------------

后台回复『嵌入式C语言』『嵌入式软件基础知识』阅读更多相关文章。

欢迎关注我的公众号，回复“加群”按规则加入技术交流群，回复“1024”查看更多内容。

欢迎关注我的视频号：

点击“阅读原文”查看更多分享，欢迎点分享、收藏、点赞、在看。