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

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语言代码了。