前言

本文是異常內容的集大成者，力求全面，深入的異常知識研究與分析。本文由金絲燕網獨家撰寫，參考眾多網上資源，經過內容辨別取舍，文字格式校驗等步驟編輯而成，以饗讀者。對于本文的內容，建議小白需要多多思考力求掌握，對于老手只需意會溫故知新。對于本文的內容，屬于基礎知識研究范疇，切勿以為讀完此文就能將異常知識掌握到家。切記：操千曲而后曉聲，觀千劍而后識器，所以我覺得沒有大量的源碼閱讀經驗，你很難知道什么時候需要自定義異常，什么時候需要拋出異常。

異常機制概述

異常機制是指當程序出現錯誤后，程序如何處理。具體來說，異常機制提供了程序退出的安全通道。當出現錯誤后，程序執行的流程發生改變，程序的控制權轉移到異常處理器。

異常處理的流程

當程序中拋出一個異常后，程序從程序中導致異常的代碼處跳出，java虛擬機檢測尋找和try關鍵字匹配的處理該異常的catch塊，如果找到，將控制權交到catch塊中的代碼，然后繼續往下執行程序，try塊中發生異常的代碼不會被重新執行。如果沒有找到處理該異常的catch塊，在所有的finally塊代碼被執行和當前線程的所屬的ThreadGroup的uncaughtException方法被調用后，遇到異常的當前線程被中止。

異常的結構

異常的繼承結構：Throwable為基類，Error和Exception繼承Throwable，RuntimeException和IOException等繼承Exception。Error和RuntimeException及其子類成為未檢查異常(unchecked)，其它異常成為已檢查異常(checked)。

Error異常

Error表示程序在運行期間出現了十分嚴重、不可恢復的錯誤，在這種情況下應用程序只能中止運行，例如JAVA 虛擬機出現錯誤。Error是一種unchecked Exception，編譯器不會檢查Error是否被處理，在程序中不用捕獲Error類型的異常。一般情況下，在程序中也不應該拋出Error類型的異常。

RuntimeException異常

Exception異常包括RuntimeException異常和其他非RuntimeException的異常。RuntimeException 是一種Unchecked Exception，即表示編譯器不會檢查程序是否對RuntimeException作了處理，在程序中不必捕獲RuntimException類型的異常，也不必在方法體聲明拋出RuntimeException類。RuntimeException發生的時候，表示程序中出現了編程錯誤，所以應該找出錯誤修改程序，而不是去捕獲RuntimeException。

Checked Exception異常

Checked Exception異常，這也是在編程中使用最多的Exception，所有繼承自Exception并且不是RuntimeException的異常都是checked Exception，上圖中的IOException和ClassNotFoundException。JAVA 語言規定必須對checked Exception作處理，編譯器會對此作檢查，要么在方法體中聲明拋出checked Exception，要么使用catch語句捕獲checked Exception進行處理，不然不能通過編譯。

在聲明方法時候拋出異常

語法：throws(略)

為什么要在聲明方法拋出異常?

方法是否拋出異常與方法返回值的類型一樣重要。假設方法拋出異常卻沒有聲明該方法將拋出異常，那么客戶程序員可以調用這個方法而且不用編寫處理異常的代碼。那么，一旦出現異常，那么這個異常就沒有合適的異常控制器來解決。

為什么拋出的異常一定是已檢查異常?RuntimeException與Error可以在任何代碼中產生，它們不需要由程序員顯示的拋出，一旦出現錯誤，那么相應的異常會被自動拋出。遇到Error，程序員一般是無能為力的;遇到RuntimeException，那么一定是程序存在邏輯錯誤，要對程序進行修改;只有已檢查異常才是程序員所關心的，程序應該且僅應該拋出或處理已檢查異常。而已檢查異常是由程序員拋出的，這分為兩種情況：客戶程序員調用會拋出異常的庫函數;客戶程序員自己使用throw語句拋出異常。

注意：覆蓋父類某方法的子類方法不能拋出比父類方法更多的異常，所以，有時設計父類的方法時會聲明拋出異常，但實際的實現方法的代碼卻并不拋出異常，這樣做的目的就是為了方便子類方法覆蓋父類方法時可以拋出異常。

在方法中如何拋出異常

語法：throw(略)拋出什么異常?

對于一個異常對象，真正有用的信息是異常的對象類型，而異常對象本身毫無意義。比如一個異常對象的類型是ClassCastException，那么這個類名就是唯一有用的信息。所以，在選擇拋出什么異常時，最關鍵的就是選擇異常的類名能夠明確說明異常情況的類。

異常對象通常有兩種構造函數：一種是無參數的構造函數;另一種是帶一個字符串的構造函數，這個字符串將作為這個異常對象除了類型名以外的額外說明。

為什么要創建自己的異常?

當Java內置的異常都不能明確的說明異常情況的時候，需要創建自己的異常。需要注意的是，唯一有用的就是類型名這個信息，所以不要在異常類的設計上花費精力。

throw和throws的區別

public class TestThrow 
 
{ 
    public static void main(String[] args) 
    { 
        try 
        { 
            //調用帶throws聲明的方法，必須顯式捕獲該異常 
            //否則，必須在main方法中再次聲明拋出 
            throwChecked(-3);             
        } 
        catch (Exception e) 
        { 
            System.out.println(e.getMessage()); 
        } 
        //調用拋出Runtime異常的方法既可以顯式捕獲該異常， 
        //也可不理會該異常 
        throwRuntime(3); 
    } 
    public static void throwChecked(int a)throws Exception 
    { 
        if (a > 0) 
        { 
            //自行拋出Exception異常 
            //該代碼必須處于try塊里，或處于帶throws聲明的方法中 
            throw new Exception("a的值大于0，不符合要求"); 
        } 
    } 
    public static void throwRuntime(int a) 
    { 
        if (a > 0) 
        { 
            //自行拋出RuntimeException異常，既可以顯式捕獲該異常 
            //也可完全不理會該異常，把該異常交給該方法調用者處理 
            throw new RuntimeException("a的值大于0，不符合要求"); 
        } 
    } 
}  

補充：throwChecked函數的另外一種寫法如下所示：

public static void throwChecked(int a) 
    { 
        if (a > 0) 
        { 
            //自行拋出Exception異常 
            //該代碼必須處于try塊里，或處于帶throws聲明的方法中 
            try 
            { 
                throw new Exception("a的值大于0，不符合要求"); 
            } 
            catch (Exception e) 
            { 
                // TODO Auto-generated catch block 
                e.printStackTrace(); 
            } 
        } 
    }  

注意：此時在main函數里面throwChecked就不用try異常了。

應該在聲明方法拋出異常還是在方法中捕獲異常?

處理原則：捕捉并處理哪些知道如何處理的異常，而傳遞哪些不知道如何處理的異常

使用finally塊釋放資源

finally關鍵字保證無論程序使用任何方式離開try塊，finally中的語句都會被執行。在以下三種情況下會進入finally塊：

(1) try塊中的代碼正常執行完畢。

(2) 在try塊中拋出異常。

(3) 在try塊中執行return、break、continue。

因此，當你需要一個地方來執行在任何情況下都必須執行的代碼時，就可以將這些代碼放入finally塊中。當你的程序中使用了外界資源，如數據庫連接，文件等，必須將釋放這些資源的代碼寫入finally塊中。

必須注意的是：在finally塊中不能拋出異常。JAVA異常處理機制保證無論在任何情況下必須先執行finally塊然后再離開try塊，因此在try塊中發生異常的時候，JAVA虛擬機先轉到finally塊執行finally塊中的代碼，finally塊執行完畢后，再向外拋出異常。如果在finally塊中拋出異常，try塊捕捉的異常就不能拋出，外部捕捉到的異常就是finally塊中的異常信息，而try塊中發生的真正的異常堆棧信息則丟失了。請看下面的代碼：

Connection  con = null; 
try 
{ 
    con = dataSource.getConnection(); 
    …… 
} 
catch(SQLException e) 
{ 
    …… 
    throw e;//進行一些處理后再將數據庫異常拋出給調用者處理 
} 
finally 
{ 
    try 
    { 
        con.close(); 
    } 
    catch(SQLException e) 
{ 
    e.printStackTrace(); 
    …… 
} 
}  

運行程序后，調用者得到的信息如下

java.lang.NullPointerException

at myPackage.MyClass.method1(methodl.java:266)

而不是我們期望得到的數據庫異常。這是因為這里的con是null的關系，在finally語句中拋出了NullPointerException，在finally塊中增加對con是否為null的判斷可以避免產生這種情況。

丟失的異常

請看下面的代碼：

public void method2() 
{ 
try 
{ 
    …… 
    method1();  //method1進行了數據庫操作 
} 
catch(SQLException e) 
{ 
    …… 
    throw new MyException("發生了數據庫異常:"+e.getMessage); 
} 
} 
public void method3() 
{ 
    try 
{ 
    method2(); 
} 
catch(MyException e) 
{ 
    e.printStackTrace(); 
    …… 
} 
}  

上面method2的代碼中，try塊捕獲method1拋出的數據庫異常SQLException后，拋出了新的自定義異常MyException。這段代碼是否并沒有什么問題，但看一下控制臺的輸出：

MyException:發生了數據庫異常：對象名稱'MyTable' 無效。 
 at MyClass.method2(MyClass.java:232) 
 at MyClass.method3(MyClass.java:255)  

原始異常SQLException的信息丟失了，這里只能看到method2里面定義的MyException的堆棧情況;而method1中發生的數據庫異常的堆棧則看不到，如何排錯呢，只有在method1的代碼行中一行行去尋找數據庫操作語句了。

JDK的開發者們也意識到了這個情況，在JDK1.4.1中，Throwable類增加了兩個構造方法,public Throwable(Throwable cause)和public Throwable(String message,Throwable cause)，在構造函數中傳入的原始異常堆棧信息將會在printStackTrace方法中打印出來。但對于還在使用JDK1.3的程序員，就只能自己實現打印原始異常堆棧信息的功能了。實現過程也很簡單，只需要在自定義的異常類中增加一個原始異常字段，在構造函數中傳入原始異常，然后重載printStackTrace方法，首先調用類中保存的原始異常的printStackTrace方法，然后再調用super.printStackTrace方法就可以打印出原始異常信息了。可以這樣定義前面代碼中出現的MyException類：

import java.io.PrintStream; 
import java.io.PrintWriter; 
public class MyException extends Exception 
{ 
 
    private static final long serialVersionUID = 1L; 
    //原始異常 
    private Throwable cause; 
    //構造函數 
    public MyException(Throwable cause) 
    { 
        this.cause = cause; 
    } 
    public MyException(String s,Throwable cause) 
    { 
        super(s); 
        this.cause = cause; 
    } 
    //重載printStackTrace方法，打印出原始異常堆棧信息 
    public void printStackTrace() 
    { 
        if (cause != null) 
        { 
            cause.printStackTrace(); 
        } 
        super.printStackTrace(); 
    } 
 
    public void printStackTrace(PrintStream s) 
    { 
        if (cause != null) 
        { 
            cause.printStackTrace(s); 
        } 
        super.printStackTrace(s); 
    } 
 
    public void printStackTrace(PrintWriter s) 
    { 
        if (cause != null) 
        { 
            cause.printStackTrace(s); 
        } 
        super.printStackTrace(s); 
    } 
}