Java編程新手有時(shí)候會(huì)檢查new操作的結(jié)果是否為null�？赡艿臋z查代碼為：
Integer i = new Integer (400); if (i == null) throw new NullPointerException(); |
檢查當(dāng)然沒(méi)什么錯(cuò)誤，但卻不必要，if和throw這兩行代碼完全是浪費(fèi)，他們的唯一功用是讓整個(gè)程序更臃腫，運(yùn)行更慢。
C/C++程序員在開(kāi)始寫(xiě)java程序的時(shí)候常常會(huì)這么做，這是由于檢查C中malloc()的返回結(jié)果是必要的，不這樣做就可能產(chǎn)生錯(cuò)誤。檢查C++中new操作的結(jié)果可能是一個(gè)好的編程行為，這依賴(lài)于異常是否被使能(許多編譯器允許異常被禁止，在這種情況下new操作失敗就會(huì)返回null)。在java 中，new 操作不允許返回null，如果真的返回null，很可能是虛擬機(jī)崩潰了，這時(shí)候即便檢查返回結(jié)果也無(wú)濟(jì)于事。
七、常見(jiàn)錯(cuò)誤7#：用== 替代.equals
在Java中，有兩種方式檢查兩個(gè)數(shù)據(jù)是否相等：通過(guò)使用==操作符，或者使用所有對(duì)象都實(shí)現(xiàn)的.equals方法。原子類(lèi)型(int, flosat, char 等)不是對(duì)象，因此他們只能使用==操作符，如下所示：
int x = 4;
int y = 5;
if (x == y)
System.out.println ("Hi");
// This ’if’ test won’t compile.
if (x.equals (y))
System.out.println ("Hi");
|
對(duì)象更復(fù)雜些，==操作符檢查兩個(gè)引用是否指向同一個(gè)對(duì)象，而equals方法則實(shí)現(xiàn)更專(zhuān)門(mén)的相等性檢查。
更顯得混亂的是由java.lang.Object 所提供的缺省的equals方法的實(shí)現(xiàn)使用==來(lái)簡(jiǎn)單的判斷被比較的兩個(gè)對(duì)象是否為同一個(gè)。
許多類(lèi)覆蓋了缺省的equals方法以便更有用些，比如String類(lèi)，它的equals方法檢查兩個(gè)String對(duì)象是否包含同樣的字符串，而Integer的equals方法檢查所包含的int值是否相等。
大部分時(shí)候，在檢查兩個(gè)對(duì)象是否相等的時(shí)候你應(yīng)該使用equals方法，而對(duì)于原子類(lèi)型的數(shù)據(jù)，你用該使用==操作符。
八、常見(jiàn)錯(cuò)誤8#： 混淆原子操作和非原子操作
Java保證讀和寫(xiě)32位數(shù)或者更小的值是原子操作，也就是說(shuō)可以在一步完成，因而不可能被打斷，因此這樣的讀和寫(xiě)不需要同步。以下的代碼是線(xiàn)程安全(thread safe)的：
public class Example{
private int value; // More code here...
public void set (int x){
// NOTE: No synchronized keyword
this.value = x;
}
} |
不過(guò)，這個(gè)保證僅限于讀和寫(xiě)，下面的代碼不是線(xiàn)程安全的：
public void increment (){
// This is effectively two or three instructions:
// 1) Read current setting of ’value’.
// 2) Increment that setting.
// 3) Write the new setting back.
++this.value;
}
|
在測(cè)試的時(shí)候，你可能不會(huì)捕獲到這個(gè)錯(cuò)誤。首先，測(cè)試與線(xiàn)程有關(guān)的錯(cuò)誤是很難的，而且很耗時(shí)間。其次，在有些機(jī)器上，這些代碼可能會(huì)被翻譯成一條指令，因此工作正常，只有當(dāng)在其它的虛擬機(jī)上測(cè)試的時(shí)候這個(gè)錯(cuò)誤才可能顯現(xiàn)。因此最好在開(kāi)始的時(shí)候就正確地同步代碼：
public synchronized void increment (){
++this.value;
}
|
九、常見(jiàn)錯(cuò)誤9#：在catch 塊中作清除工作
一段在catch塊中作清除工作的代碼如下所示：
OutputStream os = null;
try{
os = new OutputStream ();
// Do something with os here.
os.close();
}catch (Exception e){
if (os != null)
os.close();
}
|
盡管這段代碼在幾個(gè)方面都是有問(wèn)題的，但是在測(cè)試中很容易漏掉這個(gè)錯(cuò)誤。下面列出了這段代碼所存在的三個(gè)問(wèn)題：
1．語(yǔ)句os.close()在兩處出現(xiàn)，多此一舉，而且會(huì)帶來(lái)維護(hù)方面的麻煩。
2．上面的代碼僅僅處理了Exception，而沒(méi)有涉及到Error。但是當(dāng)try塊運(yùn)行出現(xiàn)了Error，流也應(yīng)該被關(guān)閉。
3．close()可能會(huì)拋出異常。
上面代碼的一個(gè)更優(yōu)版本為：
OutputStream os = null;
try{
os = new OutputStream ();
// Do something with os here.
}finally{
if (os != null)
os.close();
}
|
這個(gè)版本消除了上面所提到的兩個(gè)問(wèn)題：代碼不再重復(fù)，Error也可以被正確處理了。但是沒(méi)有好的方法來(lái)處理第三個(gè)問(wèn)題，也許最好的方法是把close()語(yǔ)句單獨(dú)放在一個(gè)try/catch塊中。
十、常見(jiàn)錯(cuò)誤10#： 增加不必要的catch 塊
一些開(kāi)發(fā)者聽(tīng)到try/catch塊這個(gè)名字后，就會(huì)想當(dāng)然的以為所有的try塊必須要有與之匹配的catch塊。
C++程序員尤其是會(huì)這樣想，因?yàn)樵贑++中不存在finally塊的概念，而且try塊存在的唯一理由只不過(guò)是為了與catch塊相配對(duì)。
增加不必要的catch塊的代碼就象下面的樣子，捕獲到的異常又立即被拋出：
try{
// Nifty code here
}catch(Exception e){
throw e;
}finally{
// Cleanup code here
}
|
不必要的catch塊被刪除后，上面的代碼就縮短為：
try{
// Nifty code here
}finally{
// Cleanup code here
}
|
常見(jiàn)錯(cuò)誤11#；沒(méi)有正確實(shí)現(xiàn)equals，hashCode，或者clone 等方法
方法equals，hashCode，和clone 由java.lang.Object提供的缺省實(shí)現(xiàn)是正確的。不幸地是，這些缺省實(shí)現(xiàn)在大部分時(shí)候毫無(wú)用處，因此許多類(lèi)覆蓋其中的若干個(gè)方法以提供更有用的功能。但是，問(wèn)題又來(lái)了，當(dāng)繼承一個(gè)覆蓋了若干個(gè)這些方法的父類(lèi)的時(shí)候，子類(lèi)通常也需要覆蓋這些方法。在進(jìn)行代碼審查時(shí)，應(yīng)該確保如果父類(lèi)實(shí)現(xiàn)了equals，hashCode，或者clone等方法，那么子類(lèi)也必須正確。正確的實(shí)現(xiàn)equals，hashCode，和clone需要一些技巧。
小結(jié)
我在代碼審查的時(shí)候至少遇到過(guò)一次這些錯(cuò)誤，我自己也犯過(guò)其中的幾個(gè)錯(cuò)誤。好消息是只要你知道你在找什么錯(cuò)誤，那么代碼審查就很容易管理，錯(cuò)誤也很容易被發(fā)現(xiàn)和修改。即便你找不到時(shí)間來(lái)進(jìn)行正規(guī)的代碼審查，以自審的方式把這些錯(cuò)誤從你的代碼中根除會(huì)大大節(jié)省你的調(diào)試時(shí)間。花時(shí)間在代碼審查上是值得的。