C语言中“野指针”、“悬空指针”是什么？

目录

1、“野指针”（wild pointer）

2、“悬空指针”（dangling pointer）

1、“野指针”（wild pointer）

“野指针”(wild pointer)：是没有被初始化过的指针，所以不确定指针具体指向。例如以下示例代码：

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

因为“野指针”可能指向任意内存段，因此它可能会损坏正常的数据，也有可能引发其他未知错误。在实际的C语言程序开发中，定义指针时，一般都要尽量避免“野指针”的出现，可通过赋初值方式解决：

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

2、“悬空指针”（dangling pointer）

“悬空指针”（dangling pointer）：是指针最初指向的内存已经被释放了的一种指针。通俗点可以理解：指针指向一块内存，如果这块内存稍后被操作系统回收（被释放），但是指针仍然指向这块内存，那么，此时该指针就是“悬空指针”。例如以下示例代码：

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

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

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

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