在Scala中重新使用守卫

Question

我经常发现自己想要在scala中重用警卫评估的结果，例如

blah match {
  case Blah(a, b) if expensive(a) < 10 =>
     expensive(a)
  case _ => b
}

这可能是使用一些鲜为人知的咒语吗？ （在@上放expensive不起作用）

这有可能很快成为现实吗？

Answer 1

您可以使用自定义提取器执行类似操作。这应该有效：

case class Blah(a: Int, b: Int)

object expensive {
  def unapply(x: Int): Option[Double] = Some(math.cos(x))
}

Blah(1, 1) match {
  case Blah(a @ expensive(e), b) if e < 10 => println(a, b, e)
  case _ => println("nothing")
}

确保expensive创建Option对象的成本确实更高，这就是上面所做的。