【Java異常】異常處理和設計

在程序設計中,進行異常處理是非常關鍵和重要的一部分。一個程序的異常處理框架的好壞直接影響到整個項目的代碼質量以及後期維護成本和難度。試想一下,如果一個項目從頭到尾沒有考慮過異常處理,當程序出錯從哪裏尋找出錯的根源?但是如果一個項目異常處理設計地過多,又會嚴重影響到代碼質量以及程序的性能。因此,如何高效簡潔地設計異常處理是一門藝術,本文下面先講述Java異常機制最基礎的知識,然後給出在進行Java異常處理設計時的幾個建議。
一.什麼是異常
異常的英文單詞是exception,字面翻譯就是“意外、例外”的意思,也就是非正常情況。事實上,異常本質上是程序上的錯誤,包括程序邏輯錯誤和系統錯誤。比如使用空的引用、數組下標越界、內存溢出錯誤等,這些都是意外的情況,背離我們程序本身的意圖。錯誤在我們編寫程序的過程中會經常發生,包括編譯期間和運行期間的錯誤,在編譯期間出現的錯誤有編譯器幫助我們一起修正,然而運行期間的錯誤便不是編譯器力所能及了,並且運行期間的錯誤往往是難以預料的。假若程序在運行期間出現了錯誤,如果置之不理,程序便會終止或直接導致系統崩潰,顯然這不是我們希望看到的結果。因此,如何對運行期間出現的錯誤進行處理和補救呢?Java提供了異常機制來進行處理,通過異常機制來處理程序運行期間出現的錯誤。通過異常機制,我們可以更好地提升程序的健壯性。
在Java中異常被當做對象來處理,根類是java.lang.Throwable類,在Java中定義了很多異常類(如OutOfMemoryError、NullPointerException、IndexOutOfBoundsException等),這些異常類分爲兩大類:Error和Exception。 
Error是無法處理的異常,比如OutOfMemoryError,一般發生這種異常,JVM會選擇終止程序。因此我們編寫程序時不需要關心這類異常。
Exception,也就是我們經常見到的一些異常情況,比如NullPointerException、IndexOutOfBoundsException,這些異常是我們可以處理的異常。
Exception類的異常包括checked exception和unchecked exception(unchecked exception也稱運行時異常RuntimeException,當然這裏的運行時異常並不是前面我所說的運行期間的異常,只是Java中用運行時異常這個術語來表示,Exception類的異常都是在運行期間發生的)。 
unchecked exception(非檢查異常),也稱運行時異常(RuntimeException),比如常見的NullPointerException、IndexOutOfBoundsException。對於運行時異常,java編譯器不要求必須進行異常捕獲處理或者拋出聲明,由程序員自行決定。 
checked exception(檢查異常),也稱非運行時異常(運行時異常以外的異常就是非運行時異常),java編譯器強制程序員必須進行捕獲處理,比如常見的IOExeption和SQLException。對於非運行時異常如果不進行捕獲或者拋出聲明處理,編譯都不會通過。除了RuntimeException及其子類以外,其他的Exception類及其子類都屬於可查異常。這種異常的特點是Java編譯器會檢查它,也就是說,當程序中可能出現這類異常,要麼用try-catch語句捕獲它,要麼用throws子句聲明拋出它,否則編譯不會通過。
在Java中,異常類的結構層次圖如下圖所示:

在Java中,所有異常類的父類是Throwable類,Error類是error類型異常的父類,Exception類是exception類型異常的父類,RuntimeException類是所有運行時異常的父類,RuntimeException以外的並且繼承Exception的類是非運行時異常。
典型的RuntimeException包括NullPointerException、IndexOutOfBoundsException、IllegalArgumentException等。  
典型的非RuntimeException包括IOException、SQLException等。


二.Java中如何處理異常
在Java中如果需要處理異常,必須先對異常進行捕獲,然後再對異常情況進行處理。如何對可能發生異常的代碼進行異常捕獲和處理呢?使用try和catch關鍵字即可,如下面一段代碼所示:

被try塊包圍的代碼說明這段代碼可能會發生異常,一旦發生異常,異常便會被catch捕獲到,然後需要在catch塊中進行異常處理。
這是一種處理異常的方式。在Java中還提供了另一種異常處理方式即拋出異常,顧名思義,也就是說一旦發生異常,我把這個異常拋出去,讓調用者去進行處理,自己不進行具體的處理,此時需要用到throw和throws關鍵字。
下面看一個示例:

這段代碼和上面一段代碼的區別是,在實際的createFile方法中並沒有捕獲異常,而是用throws關鍵字聲明拋出異常,即告知這個方法的調用者此方法可能會拋出IOException。那麼在main方法中調用createFile方法的時候,採用try...catch塊進行了異常捕獲處理。
當然還可以採用throw關鍵字手動來拋出異常對象。下面看一個例子:

然後在catch塊中進行捕獲。
也就說在Java中進行異常處理的話,對於可能會發生異常的代碼,可以選擇三種方法來進行異常處理:
1)對代碼塊用try..catch進行異常捕獲處理;
2)在 該代碼的方法體外用throws進行拋出聲明,告知此方法的調用者這段代碼可能會出現這些異常,你需要謹慎處理。此時有兩種情況:
如果聲明拋出的異常是非運行時異常,此方法的調用者必須顯示地用try..catch塊進行捕獲或者繼續向上層拋出異常。
如果聲明拋出的異常是運行時異常,此方法的調用者可以選擇地進行異常捕獲處理。
3)在代碼塊用throw手動拋出一個異常對象,此時也有兩種情況,跟2)中的類似:
如果拋出的異常對象是非運行時異常,此方法的調用者必須顯示地用try..catch塊進行捕獲或者繼續向上層拋出異常。
如果拋出的異常對象是運行時異常,此方法的調用者可以選擇地進行異常捕獲處理。
(如果最終將異常拋給main方法,則相當於交給jvm自動處理,此時jvm會簡單地打印異常信息)
三.深刻理解try,catch,finally,throws,throw五個關鍵字
下面我們來看一下異常機制中五個關鍵字的用法以及需要注意的地方。
1.try,catch,finally
try關鍵字用來包圍可能會出現異常的邏輯代碼,它單獨無法使用,必須配合catch或者finally使用。Java編譯器允許的組合使用形式只有以下三種形式:
try...catch...;
try....finally......;
try....catch...finally...
當然catch塊可以有多個,注意try塊只能有一個,finally塊是可選的(但是最多隻能有一個finally塊)。
三個塊執行的順序爲try—>catch—>finally。
當然如果沒有發生異常,則catch塊不會執行。但是finally塊無論在什麼情況下都是會執行的(這點要非常注意,因此部分情況下,都會將釋放資源的操作放在finally塊中進行)。
在有多個catch塊的時候,是按照catch塊的先後順序進行匹配的,一旦異常類型被一個catch塊匹配,則不會與後面的catch塊進行匹配。
在使用try..catch..finally塊的時候,注意千萬不要在finally塊中使用return,因爲finally中的return會覆蓋已有的返回值。下面看一個例子:

這段程序的輸出結果爲:

可以看出,在try塊中發生FileNotFoundException之後,就跳到第一個catch塊,打印"file not found"信息,並將"step2"賦值給返回值,然後執行finally塊,最後將返回值返回。
從這個例子說明,無論try塊或者catch塊中是否包含return語句,都會執行finally塊。
  
如果將這個程序稍微修改一下,將finally塊中的return語句註釋去掉,運行結果是:

最後打印出的是"finally",返回值被重新覆蓋了。
因此如果方法有返回值,切忌不要再finally中使用return,這樣會使得程序結構變得混亂。
2.throws和thow關鍵字
1)throws出現在方法的聲明中,表示該方法可能會拋出的異常,然後交給上層調用它的方法程序處理,允許throws後面跟着多個異常類型;
2)一般會用於程序出現某種邏輯時程序員主動拋出某種特定類型的異常。throw只會出現在方法體中,當方法在執行過程中遇到異常情況時,將異常信息封裝爲異常對象,然後throw出去。throw關鍵字的一個非常重要的作用就是 異常類型的轉換(會在後面闡述道)。
throws表示出現異常的一種可能性,並不一定會發生這些異常;throw則是拋出了異常,執行throw則一定拋出了某種異常對象。兩者都是消極處理異常的方式(這裏的消極並不是說這種方式不好),只是拋出或者可能拋出異常,但是不會由方法去處理異常,真正的處理異常由此方法的上層調用處理。
四.在類繼承的時候,方法覆蓋時如何進行異常拋出聲明
本小節討論子類重寫父類方法的時候,如何確定異常拋出聲明的類型。下面是三點原則:
1)父類的方法沒有聲明異常,子類在重寫該方法的時候不能聲明異常;
2)如果父類的方法聲明一個異常exception1,則子類在重寫該方法的時候聲明的異常不能是exception1的父類;
3)如果父類的方法聲明的異常類型只有非運行時異常(運行時異常),則子類在重寫該方法的時候聲明的異常也只能有非運行時異常(運行時異常),不能含有運行時異常(非運行時異常)。

五.異常處理和設計的幾個建議
以下是根據前人總結的一些異常處理的建議:
1.只在必要使用異常的地方纔使用異常,不要用異常去控制程序的流程
謹慎地使用異常異常捕獲的代價非常高昂異常使用過多會嚴重影響程序的性能如果在程序中能夠用if語句和Boolean變量來進行邏輯判斷,那麼儘量減少異常的使用,從而避免不必要的異常捕獲和處理。比如下面這段經典的程序:

上邊的useExceptionsForFlowControl()用一個無限循環來增加count直到拋出異常,這種做法並沒有說讓代碼不易讀,而是使得程序執行效率降低。
2.切忌使用空catch塊
在捕獲了異常之後什麼都不做,相當於忽略了這個異常。千萬不要使用空的catch塊,空的catch塊意味着你在程序中隱藏了錯誤和異常,並且很可能導致程序出現不可控的執行結果。如果你非常肯定捕獲到的異常不會以任何方式對程序造成影響,最好用Log日誌將該異常進行記錄,以便日後方便更新和維護。
3.檢查異常和非檢查異常的選擇
一旦你決定拋出異常,你就要決定拋出什麼異常。這裏面的主要問題就是拋出檢查異常還是非檢查異常。
檢查異常導致了太多的try…catch代碼,可能有很多檢查異常對開發人員來說是無法合理地進行處理的,比如SQLException,而開發人員卻不得不去進行try…catch,這樣就會導致經常出現這樣一種情況:邏輯代碼只有很少的幾行,而進行異常捕獲和處理的代碼卻有很多行。這樣不僅導致邏輯代碼閱讀起來晦澀難懂,而且降低了程序的性能。
我個人建議儘量避免檢查異常的使用,如果確實該異常情況的出現很普遍,需要提醒調用者注意處理的話,就使用檢查異常;否則使用非檢查異常。
因此,在一般情況下,我覺得儘量將檢查異常轉變爲非檢查異常交給上層處理。
4.注意catch塊的順序
不要把上層類的異常放在最前面的catch塊。比如下面這段代碼:

第二個catch的FileNotFoundException將永遠不會被捕獲到,因爲FileNotFoundException是IOException的子類。
5.不要將提供給用戶看的信息放在異常信息裏
比如下面這段代碼:

展示給用戶錯誤提示信息最好不要跟程序混淆一起,比較好的方式是將所有錯誤提示信息放在一個配置文件中統一管理。
6.避免多次在日誌信息中記錄同一個異常
只在異常最開始發生的地方進行日誌信息記錄。很多情況下異常都是層層向上跑出的,如果在每次向上拋出的時候,都Log到日誌系統中,則會導致無從查找異常發生的根源。
7.異常處理儘量放在高層進行
儘量將異常統一拋給上層調用者,由上層調用者統一之時如何進行處理。如果在每個出現異常的地方都直接進行處理,會導致程序異常處理流程混亂,不利於後期維護和異常錯誤排查。由上層統一進行處理會使得整個程序的流程清晰易懂。
8.在finally中釋放資源
如果有使用文件讀取、網絡操作以及數據庫操作等,記得在finally中釋放資源。這樣不僅會使得程序佔用更少的資源,也會避免不必要的由於資源未釋放而發生的異常情況。

特別說明:以上內容參考 Java團長。感謝Java團長。
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章