Question

Try / catches可以像表达式一样使用，所以：

 scala> try { 3 } catch {case _ => 0}
 res52: Int = 3

另外：

scala> try { 3 } catch {case _ => 0} finally try {println("side effect")} catch { case _ => println("catching side effect") } 
side effect
res50: Int = 3

为什么不呢：

 scala> try { 3 } catch {case _ => 0} + 4
 <console>:1: error: ';' expected but identifier found.
   try { 3 } catch {case _ => 0} + 4

或为什么不：

scala> try { 3 } catch {case _ => 0} match {case 3 => "hi"}
<console>:1: error: ';' expected but 'match' found.
   try { 3 } catch {case _ => 0} match {case 3 => "hi"}

我的目标是这样的函数定义：

def transact[T](code : Unit => T):T = 
   try {startTransaction; Right(code)} 
     catch {case t:Throwable => Left(t)} 
   finally try {endTransaction} 
     catch { case e:... if ... => throw e}  
 match  {
   case Right(e) => e
   case Left....
 }

当然我可以将try / catch存储在val中并匹配val：

 def transact[T](code : Unit => T):T = 
 {
   val transa = try {startTransaction; Right(code)} 
     catch {case t:Throwable => Left(t)} 
   finally try {endTransaction} 
     catch { case e:... if ... => throw e}  
transa match { 
 case ...
}
}

但是它不再是一个单独的表达式，我需要包含另一个{} - 如果我错了就请核对我 - 意味着另一层功能对象包装又是间接的，在一个性能关键的位置。 / p>

那么，有没有办法使用try作为完整表达式并避免这种间接？

感谢

Answer 1

这是一个scala语法问题 - 只需添加括号即可将try / catch块转换为SimpleExpr，以便继续对其进行操作：

scala> (try { 3 } catch {case _ => 0}) + 4
res1: Int = 7

scala> (try { 3 } catch {case _ => 0}) match {case 3 => "hi"}
res2: java.lang.String = hi

像往常一样，卷曲和圆括号（大多数）可以互换 - 你的目标代码看起来更漂亮（imo），带有大括号。

不知道间接 - 您需要查看已编译的字节码 - 但我怀疑它会有所作为。

有关语法问题的完整解释（这不是我最初认为的运算符优先级问题），请参阅：https://stackoverflow.com/a/7530565/178551

试着不是一个完整的表达？

1 个答案: