看下面這段程序。方法pleaseThrow接受一個(gè)Exception的實(shí)例，然后簡(jiǎn)單地將該實(shí)例拋出。然后調(diào)用這個(gè)方法時(shí)，我傳入了一個(gè)SQLException的實(shí)例。因?yàn)閜leaseThrow的調(diào)用包裹在一個(gè)try catch塊里，
問題：plesseThrow方法拋出的SQLException可以成功被catch住么？
答案：上面這段代碼有語法錯(cuò)誤，不能通過編譯！
我們來一步步分析。Java類ExceptionForQuiz<T extends Exception>使用了一個(gè)泛型語法，T extends Exception意思是這個(gè)泛型類實(shí)例化的時(shí)候，傳入的類型參數(shù)T必須是Exception以及它的子類。
我在實(shí)例化類ExceptionForQuiz時(shí)，傳入的類型參數(shù)是RuntimeException。
RuntimeException在Java里是一種Unchecked異常，即使一個(gè)方法運(yùn)行時(shí)可能會(huì)拋出RuntimeException，也不需要開發(fā)人員在方法前用代碼顯式聲明。
看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.
這個(gè)作者Frank Yellin一定是個(gè)大牛。
因?yàn)榉盒褪?Java 1.5 版本才引進(jìn)的概念，關(guān)于泛型有一個(gè)類型擦除的概念，即 泛型信息只存在于代碼編譯階段，編譯之后的代碼里，與泛型相關(guān)的信息會(huì)被擦除掉。 比如之前泛型類中的類型參數(shù)部分如果沒有指定上限，像這種寫法<T>， 則會(huì)被轉(zhuǎn)譯成普通的Object類型。如果指定了上限如<T extends String>則類型參數(shù)就被替換成類型上限。
為了簡(jiǎn)化起見，我們先把代碼里的try catch塊去掉。
下面是從ExceptionForQuiz.class反編譯之后的代碼：
我們從上圖能觀察到，方法pleaseThrow和雷ExceptionForQuiz的泛型參數(shù)RuntimeException已經(jīng)被擦除掉了。pleaseThrow這個(gè)方法能拋出的異常類型已經(jīng)被擦除成為Exception了。
使用javap觀察編譯生成的字節(jié)碼，同樣能發(fā)現(xiàn)類型參數(shù)RuntimeException被擦除的事實(shí)：
看第二個(gè)紅色高亮區(qū)域：Exceptions: throw java.lang.Exception
現(xiàn)在我們來看編譯器會(huì)報(bào)什么錯(cuò)誤消息：Unreachable catch block for SQLException. This exception is never thrown from the try statement body.
根據(jù)異常類型擦除的事實(shí)，這個(gè)錯(cuò)誤消息是合理的，因?yàn)閜leaseThrow方法的聲明現(xiàn)在只能拋出類型為Exception的異常，所以第14行的catch永遠(yuǎn)也沒有辦法接收到類型為SQLException的異常，所以編譯器拋出錯(cuò)誤。
如何消除掉這個(gè)編譯器錯(cuò)誤呢？把第14行的SQLException改成RuntimeException即可。
但是這樣的話，雖然消除了語法錯(cuò)誤，但是方法pleaseThrow拋出的SQLException沒有辦法被catch住，會(huì)報(bào)運(yùn)行時(shí)錯(cuò)誤：
如何把pleaseThrow拋出的SQLException也用catch語句接住呢？將第14行的RuntimeException改成所有異常的超類：Exception。
再次執(zhí)行，這次既沒有語法錯(cuò)誤，也沒有運(yùn)行時(shí)錯(cuò)誤了：SQLException已經(jīng)成功地被第14行的catch語句捕捉住了。
想要了解更多的java學(xué)習(xí)方面的知識(shí)可以聯(lián)系我們噢！