# 9.1 基本異常 “異常條件”表示在出現什么問題的時候應中止方法或作用域的繼續。為了將異常條件與普通問題區分開，異常條件是非常重要的一個因素。在普通問題的情況下，我們在當地已擁有足夠的信息，可在某種程度上解決碰到的問題。而在異常條件的情況下，卻無法繼續下去，因為當地沒有提供解決問題所需的足夠多的信息。此時，我們能做的唯一事情就是跳出當地環境，將那個問題委托給一個更高級的負責人。這便是出現異常時出現的情況。 一個簡單的例子是“除法”。如可能被零除，就有必要進行檢查，確保程序不會冒進，并在那種情況下執行除法。但具體通過什么知道分母是零呢？在那個特定的方法里，在我們試圖解決的那個問題的環境中，我們或許知道該如何對待一個零分母。但假如它是一個沒有預料到的值，就不能對其進行處理，所以必須產生一個異常，而非不顧一切地繼續執行下去。 產生一個異常時，會發生幾件事情。首先，按照與創建Java對象一樣的方法創建異常對象：在內存“堆”里，使用`new`來創建。隨后，停止當前執行路徑（記住不可沿這條路徑繼續下去），然后從當前的環境中釋放出異常對象的引用。此時，異常控制機制會接管一切，并開始查找一個恰當的地方，用于繼續程序的執行。這個恰當的地方便是“異常控制器”，它的職責是從問題中恢復，使程序要么嘗試另一條執行路徑，要么簡單地繼續。 作為產生異常的一個簡單示例，大家可思考一個名為`t`的對象引用。有些時候，程序可能傳遞一個尚未初始化的引用。所以在用那個對象引用調用一個方法之前，最好進行一番檢查。可將與錯誤有關的信息發送到一個更大的場景中，方法是創建一個特殊的對象，用它代表我們的信息，并將其“拋”（Throw）出我們當前的場景之外。這就叫作“產生一個異常”或者“拋出一個異常”。下面是它的大概形式： ``` if(t == null) throw new NullPointerException(); ``` 這樣便“拋”出了一個異常。在當前場景中，它使我們能放棄進一步解決該問題的企圖。該問題會被轉移到其他更恰當的地方解決。準確地說，那個地方不久就會顯露出來。 ## 9.1.1 異常參數 和Java的其他任何對象一樣，需要用`new`在內存堆里創建異常，并需調用一個構造器。在所有標準異常中，存在著兩個構造器：第一個是默認構造器，第二個則需使用一個字符串參數，使我們能在異常里置入相關信息： ``` if(t == null) throw new NullPointerException("t = null"); ``` 稍后，字符串可用各種方法提取出來，就象稍后會展示的那樣。 在這兒，關鍵字`throw`會象變戲法一樣做出一系列不可思議的事情。它首先執行`new`表達式，創建一個不在程序常規執行范圍之內的對象。而且理所當然，會為那個對象調用構造器。隨后，對象實際會從方法中返回——盡管對象的類型通常并不是方法設計為返回的類型。為深入理解異常控制，可將其想象成另一種返回機制——但是不要在這個問題上深究，否則會遇到麻煩。通過“拋”出一個異常，亦可從原來的作用域中退出。但是會先返回一個值，再退出方法或作用域。 但是，與普通方法返回的相似性到此便全部結束了，因為我們返回的地方與從普通方法調用中返回的地方是迥然有異的（我們結束于一個恰當的異常控制器，它距離異常“拋”出的地方可能相當遙遠——在調用棧中要低上許多級）。 此外，我們可根據需要拋出任何類型的“可拋”對象。典型情況下，我們要為每種不同類型的錯誤“拋”出一類不同的異常。我們的思路是在異常對象以及挑選的異常對象類型中保存信息，所以在更大場景中的某個人可知道如何對待我們的異常（通常，唯一的信息是異常對象的類型，而異常對象中保存的沒什么意義）。