學(xué)習(xí)Scala：使用try-catch表達(dá)式處理異常
Scala的異常和許多其它語言的一樣。代之用普通方式那樣返回一個(gè)值，方法可以通過拋出一個(gè)異常中止。方法的調(diào)用者要么可以捕獲并處理這個(gè)異常，或者也可以簡單地中止掉，并把異常升級(jí)到調(diào)用者的調(diào)用者。異?？梢跃瓦@么升級(jí)，一層層釋放調(diào)用堆棧，直到某個(gè)方法處理了它或沒有剩下其它的方法。
51CTO編輯推薦：Scala編程語言專題
拋出異常
異常的拋出看上去與Java的一模一樣。首先創(chuàng)建一個(gè)異常對(duì)象然后用throw關(guān)鍵字拋出：
- throw new IllegalArgumentException
盡管可能感覺有些出乎意料，Scala里， throw也是有結(jié)果類型的表達(dá)式。下面舉一個(gè)有關(guān)結(jié)果類型的例子：
- val half =
- if (n % 2 == 0)
- n / 2
- else
- throw new RuntimeException("n must be even")
這里發(fā)生的事情是，如果n是偶數(shù)，half將被初始化為n的一半。如果n不是偶數(shù)，那么在half能被初始化為任何值之前異常將被拋出。因此，無論怎么說，把拋出的異常當(dāng)作任何類型的值都是安全的。任何使用從throw返回值的嘗試都不會(huì)起作用，因此這樣做無害。
從技術(shù)角度上來說，拋出異常的類型是Nothing。盡管throw不實(shí)際得出任何值，你還是可以把它當(dāng)作表達(dá)式。這種小技巧或許看上去很怪異，但像在上面這樣的例子里卻常常很有用。if的一個(gè)分支計(jì)算值，另一個(gè)拋出異常并得出Nothing。整個(gè)if表達(dá)式的類型就是那個(gè)實(shí)際計(jì)算值的分支的類型。Nothing類型將在以后的11.3節(jié)中討論。
捕獲異常
用來捕獲異常的語法展示在代碼7.11中。選擇catch子句這樣的語法的原因是為了與Scala很重要的部分：模式匹配：pattern matching保持一致。模式匹配是一種很強(qiáng)大的特征，將在本章概述并在第十五章詳述。
- import java.io.FileReader
- import java.io.FileNotFoundException
- import java.io.IOException
- try {
- val f = new FileReader("input.txt")
- // Use and close file
- } catch {
- case ex: FileNotFoundException => // Handle missing file
- case ex: IOException => // Handle other I/O error
- }
代碼 7.11 Scala的try-catch子句
這個(gè)try-catch表達(dá)式的行為與其它語言中的異常處理一致。程序體被執(zhí)行，如果拋出異常，每個(gè)catch子句依次被嘗試。本例中，如果異常是FileNotFoundException，那么第一個(gè)子句將被執(zhí)行。如果是IOException類型，第二個(gè)子句將被執(zhí)行。如果都不是，那么try-catch將終結(jié)并把異常上升出去。
注意
你將很快發(fā)現(xiàn)與Java的一個(gè)差別是Scala里不需要你捕獲檢查異常：checked exception，或把它們聲明在throws子句中。如果你愿意，可以用ATthrows標(biāo)注聲明一個(gè)throws子句，但這不是必需的。
finally子句
如果想讓某些代碼無論方法如何中止都要執(zhí)行的話，可以把表達(dá)式放在finally子句里。如，你或許想讓打開的文件即使是方法拋出異常退出也要確保被關(guān)閉。代碼7.12展示了這個(gè)例子。
- import java.io.FileReader
- val file = openFile()
- try {
- // 使用文件
- } finally {
- file.close() // 確保關(guān)閉文件
- }
代碼 7.12 Scala的try-finally子句
注意
代碼7.12展示了確保非內(nèi)存資源，如文件，套接字，或數(shù)據(jù)庫鏈接被關(guān)閉的慣例方式。首先你獲得了資源。然后你開始一個(gè)try代碼塊使用資源。最后，你在finally代碼塊中關(guān)閉資源。這種Scala里的慣例與在Java里的一樣，然而，Scala里你還使用另一種被稱為貸出模式：loan pattern的技巧更簡潔地達(dá)到同樣的目的。
生成值
和其它大多數(shù)Scala控制結(jié)構(gòu)一樣，try-catch-finally也產(chǎn)生值。如，代碼7.13展示了如何嘗試拆分URL，但如果URL格式錯(cuò)誤就使用缺省值。結(jié)果是，如果沒有異常拋出，則對(duì)應(yīng)于try子句；如果拋出異常并被捕獲，則對(duì)應(yīng)于相應(yīng)的catch子句。如果異常被拋出但沒被捕獲，表達(dá)式就沒有返回值。由finally子句計(jì)算得到的值，如果有的話，被拋棄。通常finally子句做一些清理類型的工作如關(guān)閉文件；他們不應(yīng)該改變?cè)谥骱瘮?shù)體或try的catch子句中計(jì)算的值。
- import java.net.URL
- import java.net.MalformedURLException
- def urlFor(path: String) =
- try {
- new URL(path)
- } catch {
- case e: MalformedURLException =>
- new URL("http://www.scalalang.org")
- }
代碼 7.13 能夠產(chǎn)生值的catch子句
如果熟悉Java，不說你也知道，Scala的行為與Java的差別僅源于Java的try-finally不產(chǎn)生值。Java里，如果finally子句包含一個(gè)顯式返回語句，或拋出一個(gè)異常，這個(gè)返回值或異常將“凌駕”于任何之前源于try代碼塊或某個(gè)它的catch子句產(chǎn)生的值或異常之上。如：
- def f(): Int = try { return 1 } finally { return 2 }
調(diào)用f()產(chǎn)生結(jié)果值2。相反：
- def g(): Int = try { 1 } finally { 2 }
調(diào)用g()產(chǎn)生1。這兩個(gè)例子展示了有可能另大多數(shù)程序員感到驚奇的行為，因此通常最好還是避免從finally子句中返回值。最好是把finally子句當(dāng)作確保某些副作用，如關(guān)閉打開的文件，發(fā)生的途徑。
【相關(guān)閱讀】
