Java異常是一個(gè)描述在代碼段中發(fā)生的異常（也就是出錯(cuò)）情況的對(duì)象。當(dāng)異常情況發(fā)生，一個(gè)代表該異常的對(duì)象被創(chuàng)建并且在導(dǎo)致該錯(cuò)誤的方法中被拋出（throw）。該方法可以選擇自己處理異?；騻鬟f該異常。兩種情況下，該異常被捕獲（caught）并處理。異?？赡苁怯蒍ava運(yùn)行時(shí)系統(tǒng)產(chǎn)生，或者是由你的手工代碼產(chǎn)生。被Java拋出的異常與違反語(yǔ)言規(guī)范或超出Java執(zhí)行環(huán)境限制的基本錯(cuò)誤有關(guān)。手工編碼產(chǎn)生的異常基本上用于報(bào)告方法調(diào)用程序的出錯(cuò)狀況。

Java異常處理通過(guò)5個(gè)關(guān)鍵字控制：try、catch、throw、throws和 finally。下面講述它們?nèi)绾喂ぷ鞯?。程序聲明了你想要的異常監(jiān)控包含在一個(gè)try塊中。如果在try塊中發(fā)生異常，它被拋出。你的代碼可以捕捉這個(gè)異常（用catch）并且用某種合理的方法處理該異常。系統(tǒng)產(chǎn)生的異常被Java運(yùn)行時(shí)系統(tǒng)自動(dòng)拋出。手動(dòng)拋出一個(gè)異常，用關(guān)鍵字throw。任何被拋出方法的異常都必須通過(guò)throws子句定義。任何在方法返回前絕對(duì)被執(zhí)行的代碼被放置在finally塊中。

下面是一個(gè)異常處理塊的通常形式：

try {
  // block of code to monitor for errors
}
catch (ExceptionType1 exOb) {
  // exception handler for ExceptionType1
}
catch (ExceptionType2 exOb) {
  // exception handler for ExceptionType2
}
// ...
finally {
  // block of code to be executed before try block ends
}

這里，ExceptionType 是發(fā)生異常的類型。

所有異常類型都是內(nèi)置類Throwable的子類。因此，Throwable在異常類層次結(jié)構(gòu)的頂層。緊接著Throwable下面的是兩個(gè)把異常分成兩個(gè)不同分支的子類。一個(gè)分支是Exception。

該類用于用戶程序可能捕捉的異常情況。它也是你可以用來(lái)創(chuàng)建你自己用戶異常類型子類的類。在Exception分支中有一個(gè)重要子類RuntimeException。該類型的異常自動(dòng)為你所編寫的程序定義并且包括被零除和非法數(shù)組索引這樣的錯(cuò)誤。

另一類分支由Error作為頂層，Error定義了在通常環(huán)境下不希望被程序捕獲的異常。Error類型的異常用于Java運(yùn)行時(shí)系統(tǒng)來(lái)顯示與運(yùn)行時(shí)系統(tǒng)本身有關(guān)的錯(cuò)誤。堆棧溢出是這種錯(cuò)誤的一例。本章將不討論關(guān)于Error類型的異常處理，因?yàn)樗鼈兺ǔＪ菫?zāi)難性的致命錯(cuò)誤，不是你的程序可以控制的。