|
提起C语言大部分开发者很自然就会想到指针二字,没错,作为C的核心和灵魂,它的地位咱们就不再赘述了,今天我们想跟大家讲的是指针中的两个特有名词:“悬空指针”和“野指针”。
& q; t3 L% Z5 m 一、悬空指针C语言中的指针可以指向一块内存,如果这块内存稍后被操作系统回收(被释放),但是指针仍然指向这块内存,那么,此时该指针就是“悬空指针”。下面这段C语言代码是一个例子,请看:
( j2 a% R- R% j" J5 L- void *p = malloc(size);9 n4 |! U5 m6 `. p7 b. ]$ u
- assert(p);
1 U9 w# U7 }9 c: T9 k# r# v - free(p); * N1 l: n2 c, p1 H
- // 现在 p 是“悬空指针”
9 L7 p+ I, W' e+ y: {
复制代码& K% {9 @1 [. d% A9 K0 F' R; t7 h
C语言中的“悬空指针”会引发不可预知的错误,而且这种错误一旦发生,很难定位。这是因为在 free(p) 之后,p 指针仍然指向之前分配的内存,如果这块内存暂时可以被程序访问并且不会造成冲突,那么之后使用 p 并不会引发错误。
1 `+ s/ Q7 f& O- p% U
最难调试的 bug 总是不能轻易复现的 bug,对不?
/ Q6 e/ n7 S) Q ^5 e+ k; p1 Q
所以在实际的C语言程序开发中,为了避免出现“悬空指针”引发不可预知的错误,在释放内存之后,常常会将指针 p 赋值为 NULL: - <font color="#001000"><font style="background-color:rgb(255, 255, 255)"><font face="Tahoma">; [' k. p! C4 P3 I0 L' h$ E: i/ [2 X
- void *p = malloc(size);" l7 `9 D1 D& `2 G' _* h8 \
- assert(p);9 A# C+ ?$ M: q: P: D3 y- f9 M6 U
- free(p);
! q( ~1 w6 s! [/ C' M# l - // 避免“悬空指针”; _/ k/ l; X, E# q
- p = NULL;</font></font></font><font color="#001000"><font style="background-color:rgb(255, 255, 255)">
1 F! m0 R) T6 D& g; H# G - </font></font>
复制代码这么做的好处是一旦再次使用被释放的指针 p,就会立刻引发“段错误”,程序员也就能立刻知道应该修改C语言代码了。
J% J: ^( W6 a6 V2 b
二、野指针 上面我们讲的“悬空指针”是指向被释放内存的指针,“野指针”则是不确定其具体指向的指针。“野指针”最常来自于未初始化的指针,例如下面这段C语言代码: - 9 b& Z2 U4 o, S3 m* r$ z
- void *p;! D. w" z6 b( X8 `% y+ u9 G t) Q
- // 此时 p 是“野指针”
复制代码 8 Y( {) \$ ]0 ]3 H4 u
因为“野指针”可能指向任意内存段,因此它可能会损坏正常的数据,也有可能引发其他未知错误,所以C语言中的“野指针”危害性甚至比“悬空指针”还要严重。在实际的C语言程序开发中,定义指针时,一般都要尽量避免“野指针”的出现(赋初值): - <font color="#001000"><font style="background-color:rgb(255, 255, 255)"><font face="Tahoma">
Z9 a! J+ I' j/ R! t' h - void *p = NULL;& C5 Q/ q$ C% A( N2 V. L
- void *data = malloc(size);</font></font></font><font color="#001000"><font style="background-color:rgb(255, 255, 255)">* H/ i( K7 e z6 w5 J5 y3 ]
- </font></font>
复制代码这两点内容,是C语言比较重要的内容,希望大家在编码的时候一定要注意。 |