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子句当作确保某些副作用,如关闭打开的文件,发生的途径。
【相关阅读】