重要
40
XML标记书写是否完整,字符串的拼写是否正确?
40
对于流操作代码的异常捕获是否有finally操作以关闭流对象?
20
退出代码段时是否对临时对象做了释放处理?
重要
40
对浮点数值的相等判断是否是恰当的?
(严禁使用==直接判断)
可靠性(函数)
重要
Y
60
入口对象是否都被进行了判断不为空?
重要
Y
60
入口数据的合法范围是否都被进行了判断?
(尤其是数组)
重要
Y
20
是否对有异常抛出的方法都执行了try...catch保护?
重要
Y
80
是否函数的所有分支都有返回值?
重要
50
int的返回值是否合理?
(负值为失败,非负值成功)
20
对于反复进行了int返回值判断是否定义了函数来处理?
60
关键代码是否做了捕获异常处理?
重要
60
是否确保函数返回CORBA对象的任何一个属性都不能为null?
重要
60
是否对方法返回值对象做了null检查,该返回值定义时是否被初始化?
重要
60
是否对同步对象的遍历访问做了代码同步?
重要
80
是否确认在对Map对象使用迭代遍历过程中没有做增减元素操作?
重要
60
线程处理函数循环内部是否有异常捕获处理,防止线程抛出异常而退出?
20
原子操作代码异常中断,使用的相关外部变量是否恢复先前状态?
重要
100
函数对错误的处理是恰当的?
可维护性
重要
100
实现代码中是否消除了直接常量?
(用于计数起点的简单常数例外)
20
是否消除了导致结构模糊的连续赋值?
(如a=(b=d+c))
20
是否每个return前都要有日志记录?
20
是否有冗余判断语句?
(如:
if(b)returntrue;elsereturnfalse;)
20
是否把方法中的重复代码抽象成私有函数?
三、Java代码审查的常见错误
3.1常见错误1#:
多次拷贝字符串
测试所不能发现的一个错误是生成不可变(immutable)对象的多份拷贝。
不可变对象是不可改变的,因此不需要拷贝它。
最常用的不可变对象是String。
如果你必须改变一个String对象的内容,你应该使用StringBuffer。
下面的代码会正常工作:
Strings=newString("Texthere");
但是,这段代码性能差,而且没有必要这么复杂。
你还可以用以下的方式来重写上面的代码:
Stringtemp="Texthere";
Strings=newString(temp);
但是这段代码包含额外的String,并非完全必要。
更好的代码为:
Strings="Texthere";
3.2常见错误2#:
没有克隆(clone)返回的对象
封装(encapsulation)是面向对象编程的重要概念。
不幸的是,Java为不小心打破封装提供了方便——Java允许返回私有数据的引用(reference)。
下面的代码揭示了这一点:
importjava.awt.Dimension;
/***Exampleclass.Thexandyvaluesshouldnever*benegative.*/
publicclassExample{
privateDimensiond=newDimension(0,0);
publicExample(){}
/***Setheightandwidth.Bothheightandwidthmustbe
nonnegative*oranexceptionisthrown.*/
publicsynchronizedvoidsetValues(intheight,intwidth)throws
IllegalArgumentException{
if(height<0||width<0)
thrownewIllegalArgumentException();
d.height=height;
d.width=width;
}
publicsynchronizedDimensiongetValues(){
//Ooops!
Breaksencapsulation
returnd;
}
}
Example类保证了它所存储的height和width值永远非负数,试图使用setValues()方法来设置负值会触发异常。
不幸的是,由于getValues()返回d的引用,而不是d的拷贝,你可以编写如下的破坏性代码:
Exampleex=newExample();
Dimensiond=ex.getValues();
d.height=-5;
d.width=-10;
现在,Example对象拥有负值了!
如果getValues()的调用者永远也不设置返回的Dimension对象的width和height值,那么仅凭测试是不可能检测到这类的错误。
不幸的是,随着时间的推移,客户代码可能会改变返回的Dimension对象的值,这个时候,追寻错误的根源是件枯燥且费时的事情,尤其是在多线程环境中。
更好的方式是让getValues()返回拷贝:
publicsynchronizedDimensiongetValues(){
returnnewDimension(d.x,d.y);
}
现在,Example对象的内部状态就安全了。
调用者可以根据需要改变它所得到的拷贝的状态,但是要修改Example对象的内部状态,必须通过setValues()才可以。
3.3常见错误3#:
不必要的克隆
我们现在知道了get方法应该返回内部数据对象的拷贝,而不是引用。
但是,事情没有绝对:
/***Exampleclass.Thevalueshouldnever*benegative.*/
publicclassExample{
privateIntegeri=newInteger(0);
publicExample(){}
/***Setx.xmustbenonnegative*oranexceptionwillbe
thrown*/
publicsynchronizedvoidsetValues(intx)throws
IllegalArgumentException{
if(x<0)
thrownewIllegalArgumentException();
i=newInteger(x);
}
publicsynchronizedIntegergetValue(){
//Wecan’tcloneIntegerssowemakeacopythisway.
returnnewInteger(i.intValue());
}
}
这段代码是安全的,但是就象在错误1#那样,又作了多余的工作。
Integer对象,就象String对象那样,一旦被创建就是不可变的。
因此,返回内部Integer对象,而不是它的拷贝,也是安全的。
方法getValue()应该被写为:
publicsynchronizedIntegergetValue(){
//’i’isimmutable,soitissafetoreturnitinsteadofacopy.
returni;
}
Java程序比C++程序包含更多的不可变对象。
JDK所提供的若干不可变类包括:
·Boolean
·Byte
·Character
·Class
·Double
·Float
·Integer
·Long
·Short
·String
·大部分的Exception的子类
3.4常见错误4#:
自编代码来拷贝数组
Java允许你克隆数组,但是开发者通常会错误地编写如下的代码,问题在于如下的循环用三行做的事情,如果采用Object的clone方法用一行就可以完成:
publicclassExample{
privateint[]copy;
/***Saveacopyof’data’.’data’cannotbenull.*/
publicvoidsaveCopy(int[]data){
copy=newint[data.length];
for(inti=0;icopy[i]=data[i];
}
}
这段代码是正确的,但却不必要地复杂。
saveCopy()的一个更好的实现是:
voidsaveCopy(int[]data){
try{
copy=(int[])data.clone();
}catch(CloneNotSupportedExceptione){
//Can’tgethere.
}
}
如果你经常克隆数组,编写如下的一个工具方法会是个好主意:
staticint[]cloneArray(int[]data){
try{
return(int[])data.clone();
}catch(CloneNotSupportedExceptione){
//Can’tgethere.
}
}
这样的话,我们的saveCopy看起来就更简洁了:
voidsaveCopy(int[]data){
copy=cloneArray(data);
}
3.5常见错误5#:
拷贝错误的数据
有时候程序员知道必须返回一个拷贝,但是却不小心拷贝了错误的数据。
由于仅仅做了部分的数据拷贝工作,下面的代码与程序员的意图有偏差:
importjava.awt.Dimension;
/***Exampleclass.Theheightandwidthvaluesshouldnever*be
negative.*/
publicclassExample{
staticfinalpublicintTOTAL_VALUES=10;
privateDimension[]d=newDimension[TOTAL_VALUES];
publicExample(){}
/***Setheightandwidth.Bothheightandwidthmustbe
nonnegative*oranexceptionwillbethrown.*/
publicsynchronizedvoidsetValues(intindex,intheight,int
width)throwsIllegalArgumentException{
if(height<0||width<0)
thrownewIllegalArgumentException();
if(d[index]==null)
d[index]=newDimension();
d[index].height=height;
d[index].width=width;
}
publicsynchronizedDimension[]getValues()
throwsCloneNotSupportedException{
return(Dimension[])d.clone();
}
}
这儿的问题在于getValues()方法仅仅克隆了数组,而没有克隆数组中包含的Dimension对象,因此,虽然调用者无法改变内部的数组使其元素指向不同的Dimension对象,但是调用者却可以改变内部的数组元素(也就是Dimension对象)的内容。
方法getValues()的更好版本为:
publicsynchronizedDimension[]getValues()throws
CloneNotSupportedException{
Dimension[]copy=(Dimension[])d.clone();
for(inti=0;i//NOTE:
Dimensionisn’tcloneable.
if(d!
=null)
copy[i]=newDimension(d[i].height,d[i].width);
}
returncopy;
}
在克隆原子类型数据的多维数组的时候,也会犯类似的错误。
原子类型包括int,float等。
简单的克隆int型的一维数组是正确的,如下所示:
publicvoidstore(int[]data)throwsCloneNotSupportedException{
this.data=(int[])data.clone();
//OK
}
拷贝int型的二维数组更复杂些。
Java没有int型的二维数组,因此一个int型的二维数组实际上是一个这样的一维数组:
它的类型为int[]。
简单的克隆int[][]型的数组会犯与上面例子中getValues()方法第一版本同样的错误,因此应该避免这么做。
下面的例子演示了在克隆int型二维数组时错误的和正确的做法:
publicvoidwrongStore(int[][]data)throws
CloneNotSupportedException{
this.data=(int[][])data.clone();//NotOK!
}
publicvoidrightStore(int[][]data){
//OK!
this.data=(int[][])data.clone();
for(inti=0;iif(data!
=null)
this.data[i]=(int[])data[i].clone();
}
}
3.6常见错误6#:
检查new操作的结果是否为null
Java编程新手有时候会检查new操作的结果是否为null。
可能的检查代码为:
Integeri=newInteger(400);
if(i==null)
thrownewNullPointerException();
检查当然没什么错误,但却不必要,if和throw这两行代码完全是浪费,他们的唯一功用是让整个程序更臃肿,运行更慢。
C/C++程序员在开始写java程序的时候常常会这么做,这是由于检查C中malloc()的返回结果是必要的,不这样做就可能产生错误。
检查C++中new操作的结果可能是一个好的编程行为,这依赖于异常是否被使能(许多编译器允许异常被禁止,在这种情况下new操作失败就会返回null)。
在java
中,new操作不允许返回null,如果真的返回null,很可能是虚拟机崩溃了,这时候即便检查返回结果也无济于事。
3.7常见错误7#:
用==替代.equals
在Java中,有两种方式检查两个数据是否相等:
通过使用==操作符,或者使用所有对象都实现的.equals方法。
原子类型(int,
flosat,char等)不是对象,因此他们只能使用==操作符,如下所示:
intx=4;
inty=5;
if(x==y)
System.out.println("Hi");
//This’if’testwon’tcompile.
if(x.equals(y))
System.out.println("Hi");
对象更复杂些,==操作符检查两个引用是否指向同一个对象,而equals方法则实现更专门的相等性检查。
更显得混乱的是由java.lang.Object
所提供的缺省的equals方法的实现使用==来简单的判断被比较的两个对象是否为同一个。
许多类覆盖了缺省的equals方法以便更有用些,比如String类,它的equals方法检查两个String对象是否包含同样的字符串,而Integer的equals方法检查所包含的int值是否相等。
大部分时候,在检查两个对象是否相等的时候你应该使用equals方法,而对于原子类型的数据,你用该使用==操作符。
3.8常见错误8#:
混淆原子操作和非原子操作
Java保证读和写32位数或者更小的值是原子操作,也就是说可以在一步完成,因而不可能被打断,因此这样的读和写不需要同步。
以下的代码是线程安全(thread
safe)的:
publicclassExample{
privateintvalue;//Morecodehere...
publicvoidset(intx){
//NOTE:
Nosynchronizedkeyword
this.value=x;
}
}
不过,这个保证仅限于读和写,下面的代码不是线程安全的:
publicvoidincrement(){
//Thisiseffectivelytwoorthreeinstructions:
//1)Readcurrentsettingof’value’.
//2)Incrementthatsetting.
//3)Writethenewsettingback.
++this.value;
}
在测试的时候,你可能不会捕获到这个错误。
首先,测试与线程有关的错误是很难的,而且很耗时间。
其次,在有些机器上,这些代码可能会被翻译成一条指令,因此工作正常,只有当在其它的虚拟机上测试的时候这个错误才可能显现。
因此最好在开始的时候就正确地同步代码:
publi