Scala的模式匹配器执行了多少优化？

发布时间：2020-12-16 18:11:26 所属栏目：安全来源：网络整理

导读：假设我有一个 Scala匹配表达式 foo match { case Bar(Some(x)) = /* do something */ case Bar(None) = /* do something else */} 编译器在编译表达式时做了多少优化？特别是,它是否会向Bar.unapply发出多次调用,还是会对结果进行多次调用并多次匹配？解决

假设我有一个 Scala匹配表达式

foo match {
    case Bar(Some(x)) => /* do something */
    case Bar(None)    => /* do something else */
}

编译器在编译表达式时做了多少优化？特别是,它是否会向Bar.unapply发出多次调用,还是会对结果进行多次调用并多次匹配？

解决方法

您可以使用一些代码自行检查：

object Bar {
  def unapply(x: Int): Option[Option[Int]] = {
    println("Checking: " + x)
    Some(None)
  }
}

1 match {
  case Bar(Some(x)) => println("do something")
  case Bar(None)    => println("do something else")
}

当你运行它时,你得到：

Checking: 1
do something else

所以看起来Scala没有对Bar.unapply进行多次调用,即使代码看起来会有多个调用.从效率的角度来看这很好,但你应该避免在你的unapply方法中产生副作用,这些方法依赖于每个match-statement多次调用它们.

如果您担心优化何时发生并且向读者明确说明仅应用一次unapply,则可以非常轻松地拆分匹配：

1 match {
  case Bar(y) => y match {
    case Some(x) => println("do something")
    case None    => println("do something else")
  }
}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!