1、悬空指针
C语言中的指针能够指向一块内存,若是这块内存稍后被操做系统回收(被释放),可是指针仍然指向这块内存,那么,此时该指针就是“悬空指针”。下面这段C语言代码是一个例子,请看:
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;
这么作的好处是一旦再次使用被释放的指针 p,就会马上引起“段错误”,程序员也就能马上知道应该修改C语言代码了。
2、野指针
上面咱们讲的“悬空指针”是指向被释放内存的指针,“野指针”则是不肯定其具体指向的指针。“野指针”最常来自于未初始化的指针,例以下面这段C语言代码:
void *p;
// 此时 p 是“野指针”
由于“野指针”可能指向任意内存段,所以它可能会损坏正常的数据,也有可能引起其余未知错误,因此C语言中的“野指针”危害性甚至比“悬空指针”还要严重。在实际的C语言程序开发中,定义指针时,通常都要尽可能避免“野指针”的出现(赋初值):
void *p = NULL;
void *data = malloc(size);