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