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