文章得標(biāo)題看似自相矛盾，然而我在“正確”二字上打了引號(hào)。我們來(lái)看一個(gè)例子，關(guān)于Java異常處理(Exception Handling)得一些知識(shí)點(diǎn)。
看下面這段程序。方法pleaseThrow接受一個(gè)Exception得實(shí)例，然后簡(jiǎn)單地將該實(shí)例拋出。然后調(diào)用這個(gè)方法時(shí)，我傳入了一個(gè)SQLException得實(shí)例。因?yàn)閜leaseThrow得調(diào)用包裹在一個(gè)try catch塊里，
問(wèn)題：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(); }}}
答案：上面這段代碼有語(yǔ)法錯(cuò)誤，不能通過(guò)編譯！
我們來(lái)一步步分析。
Java類(lèi)ExceptionForQuiz<T extends Exception>使用了一個(gè)泛型語(yǔ)法，Textends Exception意思是這個(gè)泛型類(lèi)實(shí)例化得時(shí)候，傳入得類(lèi)型參數(shù)T必須是Exception以及它得子類(lèi)。
我在實(shí)例化類(lèi)ExceptionForQuiz時(shí)，傳入得類(lèi)型參數(shù)是RuntimeException。
RuntimeException在Java里是一種Unchecked異常，即使一個(gè)方法運(yùn)行時(shí)可能會(huì)拋出RuntimeException，也不需要開(kāi)發(fā)人員在方法前用代碼顯式聲明。
看JDK RuntimeException得注釋說(shuō)得很清楚：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è)類(lèi)型擦除得概念，即**泛型信息只存在于代碼編譯階段，編譯之后得代碼里，與泛型相關(guān)得信息會(huì)被擦除掉。**比如之前泛型類(lèi)中得類(lèi)型參數(shù)部分如果沒(méi)有指定上限，像這種寫(xiě)法<T>， 則會(huì)被轉(zhuǎn)譯成普通得Object類(lèi)型。如果指定了上限如<T extends String>則類(lèi)型參數(shù)就被替換成類(lèi)型上限。
為了簡(jiǎn)化起見(jiàn)，我們先把代碼里得try catch塊去掉。
下面是從ExceptionForQuiz.class反編譯之后得代碼：
我們從上圖能觀(guān)察到，方法pleaseThrow和雷ExceptionForQuiz得泛型參數(shù)RuntimeException已經(jīng)被擦除掉了。pleaseThrow這個(gè)方法能拋出得異常類(lèi)型已經(jīng)被擦除成為Exception了。
使用javap觀(guān)察編譯生成得字節(jié)碼，同樣能發(fā)現(xiàn)類(lèi)型參數(shù)RuntimeException被擦除得事實(shí)：
看第二個(gè)紅色高亮區(qū)域：Exceptions: throw java.lang.Exception
現(xiàn)在我們來(lái)看編譯器會(huì)報(bào)什么錯(cuò)誤消息：Unreachable catch block for SQLException. This exception is never thrown from the try statement body.
根據(jù)異常類(lèi)型擦除得事實(shí)，這個(gè)錯(cuò)誤消息是合理得，因?yàn)閜leaseThrow方法得聲明現(xiàn)在只能拋出類(lèi)型為Exception得異常，所以第14行得catch永遠(yuǎn)也沒(méi)有辦法接收到類(lèi)型為SQLException得異常，所以編譯器拋出錯(cuò)誤。
如何消除掉這個(gè)編譯器錯(cuò)誤呢？把第14行得SQLException改成RuntimeException即可。
但是這樣得話(huà)，雖然消除了語(yǔ)法錯(cuò)誤，但是方法pleaseThrow拋出得SQLException沒(méi)有辦法被catch住，會(huì)報(bào)運(yùn)行時(shí)錯(cuò)誤：
如何把pleaseThrow拋出得SQLException也用catch語(yǔ)句接住呢？將第14行得RuntimeException改成所有異常得超類(lèi)：Exception。
再次執(zhí)行，這次既沒(méi)有語(yǔ)法錯(cuò)誤，也沒(méi)有運(yùn)行時(shí)錯(cuò)誤了：SQLException已經(jīng)成功地被第14行得catch語(yǔ)句捕捉住了。
原文鏈接：特別cnblogs/huaweiyun/p/15878311.html?utm_source=tuicool&utm_medium=referral
