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

摘要：文章的標題看似自相矛盾。

本文分享自華為雲社區《Java異常處理：如何寫出「正確」但被編譯器認為有語法錯誤的程式》，作者： Jerry Wang 。

文章的標題看似自相矛盾，然而我在「正確」二字上打了引號。我們來看一個例子，關於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>使用了一個泛型語法，Textends 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塊去掉。