Java異常處理：如何寫出「正確」但被編譯器認爲有語法錯誤的程序

文章的標題看似自相矛盾，然而我在「正確」二字上打了引號。咱們來看一個例子，關於Java異常處理(Exception Handling)的一些知識點。

看下面這段程序。方法pleaseThrow接受一個Exception的實例，而後簡單地將該實例拋出。而後調用這個方法時，我傳入了一個SQLException的實例。由於pleaseThrow的調用包裹在一個try catch塊裏，

問題：plesseThrow方法拋出的SQLException能夠成功被catch住麼？

public class ExceptionForQuiz<T extends Exception> {

      private void pleaseThrow(final Exception t) throws T {

             throw (T) t;

      }

     public static void main(final String[] args) {

          try {

               new ExceptionForQuiz<RuntimeException>().pleaseThrow(new SQLException());

          }

         catch( final SQLException ex){

              System.out.println("Jerry print");

              ex.printStackTrace();

        }

}

}

答案：上面這段代碼有語法錯誤，不能經過編譯！

咱們來一步步分析。

Java類ExceptionForQuiz<T extends Exception>使用了一個泛型語法，T extends Exception意思是這個泛型類實例化的時候，傳入的類型參數T必須是Exception以及它的子類。

我在實例化類ExceptionForQuiz時，傳入的類型參數是RuntimeException。

RuntimeException在Java裏是一種Unchecked異常，即便一個方法運行時可能會拋出RuntimeException，也不須要開發人員在方法前用代碼顯式聲明。

看JDK RuntimeException的註釋說的很清楚：Unchecked exceptions do NOT need to be declared in a method or constructor's clause if they can be thrown by the execution of the method or constructor.

這個做者Frank Yellin必定是個大牛。

由於泛型是 Java 1.5 版本才引進的概念，關於泛型有一個類型擦除的概念，即**泛型信息只存在於代碼編譯階段，編譯以後的代碼裏，與泛型相關的信息會被擦除掉。**好比以前泛型類中的類型參數部分若是沒有指定上限，像這種寫法<T>， 則會被轉譯成普通的Object類型。若是指定了上限如<T extends String>則類型參數就被替換成類型上限。

爲了簡化起見，咱們先把代碼裏的try catch塊去掉。

下面是從ExceptionForQuiz.class反編譯以後的代碼：

咱們從上圖能觀察到，方法pleaseThrow和雷ExceptionForQuiz的泛型參數RuntimeException已經被擦除掉了。pleaseThrow這個方法能拋出的異常類型已經被擦除成爲Exception了。

使用javap觀察編譯生成的字節碼，一樣能發現類型參數RuntimeException被擦除的事實：

看第二個紅色高亮區域：Exceptions: throw java.lang.Exception

如今咱們來看編譯器會報什麼錯誤消息：Unreachable catch block for SQLException. This exception is never thrown from the try statement body.

根據異常類型擦除的事實，這個錯誤消息是合理的，由於pleaseThrow方法的聲明如今只能拋出類型爲Exception的異常，因此第14行的catch永遠也沒有辦法接收到類型爲SQLException的異常，因此編譯器拋出錯誤。

如何消除掉這個編譯器錯誤呢？把第14行的SQLException改爲RuntimeException便可。

可是這樣的話，雖然消除了語法錯誤，可是方法pleaseThrow拋出的SQLException沒有辦法被catch住，會報運行時錯誤：

如何把pleaseThrow拋出的SQLException也用catch語句接住呢？將第14行的RuntimeException改爲全部異常的超類：Exception。

再次執行，此次既沒有語法錯誤，也沒有運行時錯誤了：SQLException已經成功地被第14行的catch語句捕捉住了。

要獲取更多Jerry的原創技術文章，請關注公衆號"汪子熙"或者掃描下面二維碼: