8-異常及其處理-知識點-資料下載頁
2025-07-24 13:16本頁面
【正文】 型 方法名（形參表）throws子句 方法體這里新增加的語法成分是throws子句，它的語法是 throws 異常類型名1,……, 異常類型名n 其中throws是java保留字，諸異常類型名是檢查型異常的名字（可以填寫非檢查型異常名，但它不會起任何作用）。對方法體的限制.方法體中拋出的任何檢查型異常，無論是由throw語句拋出的還是由于調(diào)用其它方法而發(fā)生的檢查型異常，其類型都必須是throws子句中列出的某個類型或其子類型。否則編譯期間出錯。這意味著如果方法f的throws子句是throws E1,…,Em，那么如果f的方法體中有throw new E（“…”）形式的語句，其中E是檢查型異常，那么E是E1,…,Em中的一個，或者是E1,…,Em中某一個的子類。如果方法f調(diào)用方法g，那么g的throws子句中的每個檢查型異常都必須是E1,…,Em之一或者是某個Ek的子類。否則要么方法f處理這個異常，要么編譯時出錯。并不要求方法f必須拋出throws子句列出的所有異常，而是說f只能拋出throws子句列出的檢查型異常。因此，編譯器能夠保證：通過編譯的程序中的所有檢查型異常都得到了處理。這就命名這類異常為“檢查型異常”的原因。對方法重寫的限制.假設(shè)方法f（）throws E1,…,Em｛…｝是基類的一個方法。如果子類需要重寫方法f，那么f不能拋出比基類f更多類型的檢查型異常，它只能拋出Ek或Ek的子類型的異常。但是允許重寫的f拋出較少的檢查型異常，甚至不拋出異常。 重寫子類方法時，如果允許子類方法拋出比基類方法更多的異常，那么將破壞“通過編譯的程序中的所有檢查型異常都得到了處理”這一事實。，一個方法拋出的檢查型異常必須是出現(xiàn)在throws子句中列出的異常。public class test_checkedexception { void g() throws NoSuchMethodException,NoSuchFieldException { ……//拋出兩種檢查型異常}void f () throws NoSuchMethodException {throw new NoSuchFieldException()。 //編譯出錯，throw語句拋出的檢查型異常//不在throws子句中g(shù)()。 //編譯出錯，方法調(diào)用g()拋出的檢查型異常不在throws子句中 } void f1( ) throws NoSuchMethodException { //雖然throw語句拋出了throws子句之外的檢查型異常，但f1處理了該異常，正確。try {throw new NoSuchFieldException()。} catch(NoSuchFieldException e){} } void f2( ) throws NoSuchMethodException { //雖然g()拋出了throws子句之外的檢查型異常，但f2處理了該異常，正確。try { g()。 } catch(NoSuchFieldException e){} }}下面的例子說明，重寫的方法不能拋出更多的異常，但可以拋出較少的異常，甚至不拋出異常。class test_inherit extends test_checkedexception{void f1() throws NoSuchMethodException,NoSuchFieldException { //。} void f2() { //，//甚至不拋出檢查型異常。}}習(xí)題.，如果允許子類方法拋出比基類方法更多的異常，那么將破壞“通過編譯的程序中的所有檢查型異常都得到了處理”這一事實。為什么？提示:方法g調(diào)用方法f，方法f至少有本類和基類兩個版本。
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1