我正在编写只能捕获特定类型异常的函数。
def myFunc[A <: Exception]() {
try {
println("Hello world") // or something else
} catch {
case a: A => // warning: abstract type pattern A is unchecked since it is eliminated by erasure
}
}
在这种情况下,绕过jvm类型擦除的正确方法是什么?
你可以像这个答案一样使用ClassTag
。
但我更喜欢这种方法:
def myFunc(recover: PartialFunction[Throwable, Unit]): Unit = {
try {
println("Hello world") // or something else
} catch {
recover
}
}
用法:
myFunc{ case _: MyException => }
使用ClassTag
:
import scala.reflect.{ClassTag, classTag}
def myFunc[A <: Exception: ClassTag](): Unit = {
try {
println("Hello world") // or something else
} catch {
case a if classTag[A].runtimeClass.isInstance(a) =>
}
}
另请注意,通常您应该将Try
与recover
方法一起使用:Try
只会捕获NonFatal
异常。
def myFunc(recover: PartialFunction[Throwable, Unit]) = {
Try {
println("Hello world") // or something else
} recover {
recover
}.get // you could drop .get here to return `Try[Unit]`
}
对于每个类型检查(例如 case a: A
) JVM 需要相应的class
对象来执行检查。 在您的情况下,JVM 没有类对象,因为A
是一个变量类型参数。 但是,您可以通过将Manifest[A]
隐式传递给myFunc
来添加有关A
的其他信息。 作为速记,您可以将: Manifest
添加到A
的类型声明中:
def myFunc[A <: Exception : Manifest]() {
try {
println("Hello world") // or something else
} catch {
case a: A => // warning: abstract type pattern A is unchecked since it is eliminated by erasure
}
}