审查Java代码的十一种常见错误

ヾ1.嗰rёn

级别: 终身会员

发帖: 3743

铜板: 8

人品值: 493

贡献值: 9

交易币: 0

好评度: 3746

信誉值: 0

金币: 0

所在楼道

只看楼主更多操作楼层直达

0 发表于: 2006-11-24

代码审查是消灭Bug最重要的方法之一，这些审查在大多数时候都特别奏效。由于代码审查本身所针对的对象，就是俯瞰整个代码在测试过程中的问题和Bug。并且，代码审查对消除一些特别细节的错误大有裨益，尤其是那些能够容易在阅读代码的时候发现的错误，这些错误往往不容易通过机器上的测试识别出来。本文就常见的Java代码中容易出现的问题提出一些建设性建议，以便您在审查代码的过程中注意到这些常见的细节性错误。

　　通常给别人的工作挑错要比找自己的错容易些。别样视角的存在也解释了为什么作者需要编辑，而运动员需要教练的原因。不仅不应当拒绝别人的批评，我们应该欢迎别人来发现并指出我们的编程工作中的不足之处，我们会受益匪浅的。

　正规的代码审查(code inspection)是提高代码质量的最强大的技术之一，代码审查?由同事们寻找代码中的错误?所发现的错误与在测试中所发现的错误不同，因此两者的关系是互补的，而非竞争的。

　　如果审查者能够有意识地寻找特定的错误，而不是靠漫无目的的浏览代码来发现错误，那么代码审查的效果会事半功倍。在这篇文章中，我列出了11个Java编程中常见的错误。你可以把这些错误添加到你的代码审查的检查列表(checklist)中，这样在经过代码审查后，你可以确信你的代码中不再存在这类错误了。

　　一、常见错误1# ：多次拷贝字符串

　　测试所不能发现的一个错误是生成不可变(immutable)对象的多份拷贝。不可变对象是不可改变的，因此不需要拷贝它。最常用的不可变对象是String。

　　如果你必须改变一个String对象的内容，你应该使用StringBuffer。下面的代码会正常工作：

String s = new String ("Text here");

　　但是，这段代码性能差，而且没有必要这么复杂。你还可以用以下的方式来重写上面的代码：

String temp = "Text here";
String s = new String (temp);

　　但是这段代码包含额外的String，并非完全必要。更好的代码为：

String s = "Text here";

　　二、常见错误2#：没有克隆(clone)返回的对象

　　封装(encapsulation)是面向对象编程的重要概念。不幸的是，Java为不小心打破封装提供了方便??Java允许返回私有数据的引用(reference)。下面的代码揭示了这一点：

import java.awt.Dimension;
/***Example class.The x and y values should never*be negative.*/
public class Example{
　 private Dimension d = new Dimension (0, 0);
　 public Example (){ }

　 /*** Set height and width. Both height and width must be nonnegative * or an exception is thrown.*/
　 public synchronized void setValues (int height,int width) throws IllegalArgumentException{
　　 if (height < 0 || width < 0)
　　　 throw new IllegalArgumentException();
　　　 d.height = height;
　　 d.width = width;
　 }

　 public synchronized Dimension getValues(){
　　 // Ooops! Breaks encapsulation
　　 return d;
　 }
}

　　Example类保证了它所存储的height和width值永远非负数，试图使用setValues()方法来设置负值会触发异常。不幸的是，由于getValues()返回d的引用，而不是d的拷贝，你可以编写如下的破坏性代码：

Example ex = new Example();
Dimension d = ex.getValues();
d.height = -5;
d.width = -10;

　　现在，Example对象拥有负值了！如果getValues() 的调用者永远也不设置返回的Dimension对象的width 和height值，那么仅凭测试是不可能检测到这类的错误。

　　不幸的是，随着时间的推移，客户代码可能会改变返回的Dimension对象的值，这个时候，追寻错误的根源是件枯燥且费时的事情，尤其是在多线程环境中。

　　更好的方式是让getValues()返回拷贝：

public synchronized Dimension getValues(){
return new Dimension (d.x, d.y);
}

　　现在，Example对象的内部状态就安全了。调用者可以根据需要改变它所得到的拷贝的状态，但是要修改Example对象的内部状态，必须通过setValues()才可以。

　　三、常见错误3#：不必要的克隆

　　我们现在知道了get方法应该返回内部数据对象的拷贝，而不是引用。但是，事情没有绝对：

/*** Example class.The value should never * be negative.*/
public class Example{
　 private Integer i = new Integer (0);
　 public Example (){ }

　 /*** Set x. x must be nonnegative* or an exception will be thrown*/
　 public synchronized void setValues (int x) throws IllegalArgumentException{
　　 if (x < 0)
　　　 throw new IllegalArgumentException();
　　　 i = new Integer (x);
　 }

　 public synchronized Integer getValue(){
　　 // We can’t clone Integers so we makea copy this way.
　　 return new Integer (i.intValue());
　 }
}

　　这段代码是安全的，但是就象在错误1#那样，又作了多余的工作。Integer对象，就象String对象那样，一旦被创建就是不可变的。因此，返回内部Integer对象，而不是它的拷贝，也是安全的。

　　方法getValue()应该被写为：

public synchronized Integer getValue(){
// ’i’ is immutable, so it is safe to return it instead of a copy.
return i;
}

　　Java程序比C++程序包含更多的不可变对象。JDK 所提供的若干不可变类包括：

　　?Boolean
　　 ?Byte
　　 ?Character
　　 ?Class
　　 ?Double
　　 ?Float
　　 ?Integer
　　 ?Long
　　 ?Short
　　 ?String
　　 ?大部分的Exception的子类

　四、常见错误4# ：自编代码来拷贝数组

　　Java允许你克隆数组，但是开发者通常会错误地编写如下的代码，问题在于如下的循环用三行做的事情，如果采用Object的clone方法用一行就可以完成：

public class Example{
　 private int[] copy;
　 /*** Save a copy of ’data’. ’data’ cannot be null.*/
　 public void saveCopy (int[] data){
　　 copy = new int[data.length];
　　 for (int i = 0; i < copy.length; ++i)
　　　 copy = data; eiMH['X5
　 } 6[dur'x
} ,^s
u5E]t9~Pq
Rm>^tu -
j|(Z#3J
　　这段代码是正确的，但却不必要地复杂。saveCopy()的一个更好的实现是： c6AWn>H
]$iN#d|ZU
Tupiq
&xSa7FY
void saveCopy (int[] data){ pa]"iZz
　 try{ /CX VLl8~
　　 copy = (int[])data.clone(); {padD p
　 }catch (CloneNotSupportedException e){ zY9H%
　　 // Can’t get here. lhLGG
　 } 2%UBwSiqR
} `)>7)={
+C{p%`<
^y_fRP~
CnF |LTi
　　如果你经常克隆数组，编写如下的一个工具方法会是个好主意： lX!`zy{3k
-pb&-@Hul
D&:yMp(
e 9$C#D>D
static int[] cloneArray (int[] data){ &<x@1,
　 try{ m~l F`?
　　 return(int[])data.clone(); fQLax
　 }catch(CloneNotSupportedException e){ xK%=
　　 // Can’t get here. $0Yh!L?\
　 } Cpl;vQ
} QBJ3iQs1
_%@=Uc6V
dj9?t
! T9]/H?
　　这样的话，我们的saveCopy看起来就更简洁了： j -O2aL
GUB`|is^
u' Qd,
*JCQu0
void saveCopy (int[] data){ L;t)c
　 copy = cloneArray ( data); H}0dd"
} 0Fr1Ku!
SS.jL)
^s/
gQWd&)'muf
　　五、常见错误5#：拷贝错误的数据 Pt< s* (
vR7HF*8
k!XhFWb
[THG4582oB
　　有时候程序员知道必须返回一个拷贝，但是却不小心拷贝了错误的数据。由于仅仅做了部分的数据拷贝工作，下面的代码与程序员的意图有偏差： B7*}c]^6/
&~sfYW
tx7~SUr
vq'c@yw;
import java.awt.Dimension; UH`hOJ?
/*** Example class. The height and width values should never * be ?:rx1}:F
negative. */ h rN%
public class Example{ o@E/r.uK
　 static final public int TOTAL_VALUES = 10; ?>uew^$d[w
　 private Dimension[] d = new Dimension[TOTAL_VALUES]; SpTdj^]4>
　 public Example (){ } p#d+>7
xBnbF[
　 /*** Set height and width. Both height and width must be nonnegative * or an exception will be thrown. */ Zf*r2t1&P
　 public synchronized void setValues (int index, int height, int width) throws IllegalArgumentException{ ZFh+x@
　　 if (height < 0 || width < 0) _Tm0x>EM
　　　 throw new IllegalArgumentException(); N]/!mo?
　　　 if (d[index] == null) |I8Mk.Z=FA
　　　　 d[index] = new Dimension(); @]CF&: P A
　　　　 d[index].height = height; jk~:\8M(A
　　　　 d[index].width = width; Fw4*
　 } 8Z#j7)G
　 public synchronized Dimension[] getValues() eARk QV
　　 throws CloneNotSupportedException{ ZDLMMXx>
　　　 return (Dimension[])d.clone(); Bd0eC#UGkQ
　 } ;^k7zNf-
} o,Z{ w"
*iXe^<6v
N> Jw
%Q|eiXD
　　这儿的问题在于getValues()方法仅仅克隆了数组，而没有克隆数组中包含的Dimension对象，因此，虽然调用者无法改变内部的数组使其元素指向不同的Dimension对象，但是调用者却可以改变内部的数组元素(也就是Dimension对象)的内容。方法getValues()的更好版本为： eOlKbJU
tOdT[&
cSP*f0n,eo
y7u^zH6wj
public synchronized Dimension[] getValues() throws CloneNotSupportedException{ Ps[$.h
　 Dimension[] copy = (Dimension[])d.clone(); |KCOfVh?|.
　 for (int i = 0; i < copy.length; ++i){ m7]hJ,0
　　 // NOTE: Dimension isn’t cloneable. [G|mY6F^
　　 if (d != null) `i!wq&1g7
　　　 copy = new Dimension (d.height, d.width); > dZ3+f
　 } !4#"!Md4o
　 return copy; DtCEm(b0
} 8pZ<9t'
t@zdmy
KlxN~/gyik
"`tXA
　　在克隆原子类型数据的多维数组的时候，也会犯类似的错误。原子类型包括int,float等。简单的克隆int型的一维数组是正确的，如下所示： 0Dv JZ|e
!-]C;9Zd
~XM[>M\qB
8}p8r|d!ls
public void store (int[] data) throws CloneNotSupportedException{ <EX7WA
　 this.data = (int[])data.clone(); |(IO=V4P
　 // OK Rhgj&4
} h,t|V}Wb
.=RlOK
!F4;_A`X
x!TZ0fq0
　　拷贝int型的二维数组更复杂些。Java没有int型的二维数组，因此一个int型的二维数组实际上是一个这样的一维数组：它的类型为int[]。简单的克隆int[][]型的数组会犯与上面例子中getValues()方法第一版本同样的错误，因此应该避免这么做。下面的例子演示了在克隆int型二维数组时错误的和正确的做法： 3 pWM~(#>-
+JdZPb
{Q(}DI
ks(SjEF
public void wrongStore (int[][] data) throws CloneNotSupportedException{ vn').\,P2O
　 this.data = (int[][])data.clone(); // Not OK! a=}*mF[ug
} wGKo.lt
public void rightStore (int[][] data){ +=@^i'
　 // OK! '"YYj$> '
　 this.data = (int[][])data.clone(); 7v~j=Z>
　 for (int i = 0; i < data.length; ++i){ eBr4O i
　　 if (data != null) c=p=-j=.J
　　　 this.data = (int[])data.clone(); T.&7sbE_
　 } XJ\hd,R
} 3fS}:!sQ
mX# "+X|
%|Qw9sbd
Y>6.t"?Q^
$n=lsDnhQ
　　六、常见错误6#：检查new 操作的结果是否为null {")\0|2\x
GlYly5F
'?Bg;Z'L%
\{|ImCH
　　Java编程新手有时候会检查new操作的结果是否为null。可能的检查代码为： x-m/SI]_N
_2Py\+$
qt?*MyfV
!XE aF]8
Integer i = new Integer (400); 1i|.h
if (i == null) >>'C :7+Y
throw new NullPointerException(); }6m?d!m
$xW**&
V^fV7hw<
:-+4:S
　　检查当然没什么错误，但却不必要，if和throw这两行代码完全是浪费，他们的唯一功用是让整个程序更臃肿，运行更慢。 S'i;xL>
2Oc$+St~8
{ISE'GJj
I<\ '%
　　C/C++程序员在开始写java程序的时候常常会这么做，这是由于检查C中malloc()的返回结果是必要的，不这样做就可能产生错误。检查C++中new操作的结果可能是一个好的编程行为，这依赖于异常是否被使能(许多编译器允许异常被禁止，在这种情况下new操作失败就会返回null)。在java 中，new 操作不允许返回null，如果真的返回null，很可能是虚拟机崩溃了，这时候即便检查返回结果也无济于事。 zQ)+/e(8
70gg4BS
　七、常见错误7#：用== 替代.equals jZ9[=?
lu\o`m5wF
　　在Java中，有两种方式检查两个数据是否相等：通过使用==操作符，或者使用所有对象都实现的.equals方法。原子类型(int, flosat, char 等)不是对象，因此他们只能使用==操作符，如下所示： Iin#Wd-/
b{[*N
4SVW/Zl.?
yyl#{Nl@t
int x = 4; QJX/7RA
int y = 5; Cnh|D^{s
if (x == y) ,Qc.;4s-
System.out.println ("Hi"); #a~"K|'G
// This ’if’ test won’t compile. HCnf2td
if (x.equals (y)) F9o6V|v
System.out.println ("Hi"); |m>}%{
~1 ZD[@
]#eh&jw
[/9(NUf
　　对象更复杂些，==操作符检查两个引用是否指向同一个对象，而equals方法则实现更专门的相等性检查。 8e:vWgQpL
%vqT#+x
[1Dm<G u@
MWwJzVL8
　　更显得混乱的是由java.lang.Object 所提供的缺省的equals方法的实现使用==来简单的判断被比较的两个对象是否为同一个。 3(_!`0#F%
_n O.-
2<W&\D o@
oN,s.Of
　　许多类覆盖了缺省的equals方法以便更有用些，比如String类，它的equals方法检查两个String对象是否包含同样的字符串，而Integer的equals方法检查所包含的int值是否相等。 .XH8YT42
dk5|@?pe
KFhG(
`lCuU~~ag
　　大部分时候，在检查两个对象是否相等的时候你应该使用equals方法，而对于原子类型的数据，你用该使用==操作符。 H'Qo\L4H
wK5_t[[
}[=YU%[o:
ej[Su
　　八、常见错误8#：混淆原子操作和非原子操作 S7sb7c'4 k
\9m*(_Qf
?Myh7
O.\h'3C
　　Java保证读和写32位数或者更小的值是原子操作，也就是说可以在一步完成，因而不可能被打断，因此这样的读和写不需要同步。以下的代码是线程安全(thread safe)的： 7sV/_3H+
3oBC
(F5ttQPh
-F`he=Ev9
public class Example{ MOZu.NmO
　 private int value; // More code here... otriif@+Z
　 public void set (int x){ ([pSVOnIz
　　 // NOTE: No synchronized keyword L(o#4YH}>J
　　 this.value = x; (cV
　 } rw u3Nb
} WmVVR>0V|
h_ ZX/k
;h=S7M9.
(_8#YyW#
　　不过，这个保证仅限于读和写，下面的代码不是线程安全的： FmT `Oa>
Mtp%co)f
esq<xuZM4
6Z c)0I'
public void increment (){ lo:~aJ8
　 // This is effectively two or three instructions: [MmM9J["
　 // 1) Read current setting of ’value’. g9V.13k
　 // 2) Increment that setting. 5' \)`
　 // 3) Write the new setting back. Y3oMh,
　 ++this.value; i?>Hr|
} *\q8BZ
rg)h5G
#+G`!<7/@f
}~zO+Wf2
　　在测试的时候，你可能不会捕获到这个错误。首先，测试与线程有关的错误是很难的，而且很耗时间。其次，在有些机器上，这些代码可能会被翻译成一条指令，因此工作正常，只有当在其它的虚拟机上测试的时候这个错误才可能显现。因此最好在开始的时候就正确地同步代码： $KQ,}I
Auac>')&Q
#93}E Y
9k`~x1Y)
public synchronized void increment (){ "$@,n7k
　 ++this.value; \y~)jq:d"
} 'p)QyL`d
{nRUH*(d9
I'A:J
eP|)SU
　　九、常见错误9#：在catch 块中作清除工作 ,)$Wm-
SaNN;X0
CA^.?&CH^O
Je~p%m#e;K
　　一段在catch块中作清除工作的代码如下所示： *8-p7,D
otnV-7)@
0vckoE
_S5gcPcF"
OutputStream os = null; V/-MIH7SF
try{ cjT[P"5$
　 os = new OutputStream (); sp{j!NSL
　 // Do something with os here. dXZP[K#
　 os.close(); Lz6*H1~
}catch (Exception e){ 2oB?Dn
　 if (os != null) <7RfBR.9
　 os.close(); <.$,`m,
} ;,`]O!G:P
s`vSt* ]K
ITvHD-,\
-tP.S1D
　　尽管这段代码在几个方面都是有问题的，但是在测试中很容易漏掉这个错误。下面列出了这段代码所存在的三个问题： |[WL2<
Q X):T#^V
V.j#E1P
FO^24p
　　1．语句os.close()在两处出现，多此一举，而且会带来维护方面的麻烦。 ?*o;o?5s^
*`.LA@bHU
=ZMF]|
)52#:27F
　　2．上面的代码仅仅处理了Exception，而没有涉及到Error。但是当try块运行出现了Error，流也应该被关闭。 )@$ &FFIu
$i%HDt|
m3"c (L`B
dqz1xQ1
　　3．close()可能会抛出异常。 Sj1r s#@1
Sw "|iBZ@
D;C5,rNt
L8Dm9}
　　上面代码的一个更优版本为： 3N3*`?5c<
F*!gzKZ"
/&6Q)
hU+#S(t>b
OutputStream os = null; pXNtN5@FQ
try{ Cz[5Ug'V
　 os = new OutputStream (); ~Jxlj(" 0(
　 // Do something with os here. B3.X}ys#
}finally{ `&,_xUA
　 if (os != null) /J.0s0@
　　 os.close(); (zEYpTp
} |rFJ*.nD
i&pMF O
Ej5^Y ?-6
1O4D+0@
　　这个版本消除了上面所提到的两个问题：代码不再重复，Error也可以被正确处理了。但是没有好的方法来处理第三个问题，也许最好的方法是把close()语句单独放在一个try/catch块中。 Vy r] x
w'XSb.\)_m
x{j+}'9
T7s+9CE
　　十、常见错误10#：增加不必要的catch 块 2_I+mQ
-G!6U2*#
o[imNy~~
4V>vg2 d
　　一些开发者听到try/catch块这个名字后，就会想当然的以为所有的try块必须要有与之匹配的catch块。 K"I{\/x@
D/*vj|
l`qP~k#
s)Gb!-``
　　C++程序员尤其是会这样想，因为在C++中不存在finally块的概念，而且try块存在的唯一理由只不过是为了与catch块相配对。 'N|2vbi<
rNxG0^k(
w4aiI2KFq
Uv'uqt
　　增加不必要的catch块的代码就象下面的样子，捕获到的异常又立即被抛出： 9QZ}Hn`p
rr>IKyI'
Iw*C*%}[Z
e00RT1L
try{ Z{ %Uw;d
　 // Nifty code here v$Dh.y
}catch(Exception e){ ^X$ I=ro
　 throw e; T77)Np
}finally{ P2|}*h5(
　 // Cleanup code here g\qX7nIH?
} jigbeHRy
FfjC M7?
O2$!'!hz
j}"]s/= 6
　　不必要的catch块被删除后，上面的代码就缩短为： /LSq%~UF
vg5E/+4gp%
:nt}7Dn'
PQQgDtiH
try{ ?'T"?b<
　 // Nifty code here HoMQt3C
}finally{ Qk|( EFQ9
　 // Cleanup code here ?3n=m%W,J*
} qPp]K?.
2,+@#q
-5o?#%
Hc>([?P%t
　　常见错误11#；没有正确实现equals，hashCode，或者clone 等方法 8R&z3k;!t
dPRtN@3
Mi<*6j0
i4 P$wlO
　　方法equals，hashCode，和clone 由java.lang.Object提供的缺省实现是正确的。不幸地是，这些缺省实现在大部分时候毫无用处，因此许多类覆盖其中的若干个方法以提供更有用的功能。但是，问题又来了，当继承一个覆盖了若干个这些方法的父类的时候，子类通常也需要覆盖这些方法。在进行代码审查时，应该确保如果父类实现了equals，hashCode，或者clone等方法，那么子类也必须正确。正确的实现equals，hashCode，和clone需要一些技巧。 =SA 4\/
Bk@bN~B4
|%n|[LP'
3SmqXPOw
　　小结 HH+TjX/b
Qb@BV&^y&
d"z*Nb
LZbRQ"!!o
　　我在代码审查的时候至少遇到过一次这些错误，我自己也犯过其中的几个错误。好消息是只要你知道你在找什么错误，那么代码审查就很容易管理，错误也很容易被发现和修改。即便你找不到时间来进行正规的代码审查，以自审的方式把这些错误从你的代码中根除会大大节省你的调试时间。花时间在代码审查上是值得的。 gq=0L:
Ni&,g
　