scala - 奇怪的折叠范围问题

Question

我在调试事务查询块时遇到了这个问题。

出于某种原因，尽管在 fold left/fail 操作中发生了连接回滚，但成功/正确的结果也被回滚了。

例子：

// returns Either[String, Int]
db.handle withSession { implicit ss: Session=>
  ss.withTransaction {
    val result = for {
      u  <- either(User.insert(User(model)), ss)
      ur <- either(UserRole.insert( UserRole(u) ), ss)
      m  <- either(Membership.insert(Membership(u)), ss)
    } yield u

// bad: rollback occurs regardless of left/right outcome
result fold( {ss.rollback; Left(_)}, Right(_) )

// good: rollback occurs as expected on left outcome only
result fold( e=>{ss.rollback; Left(e)}, Right(_) )

Answer 1

考虑以下稍微简单的示例：

def foo[A, B](e: Either[A, B]) = e.fold(
  { println("Launch the missiles!"); Left(_) },
  Right(_)
)

每次调用时，导弹都会发射foo，因为我们传递的第一个参数并不完全是一个函数：它是一个计算函数的块，无论是否使用该函数，该块都会被计算。

有关此行为的更详细讨论，请参阅Jesse Eichar 的这篇博客文章。