范围内变量的模式匹配(Scala)

Question

在以下代码中

val x = 5
val y = 4 match {
  case x => true
  case _ => false
}

价值y是真的.Scala解释x为模式匹配中的自由变量,而不是将其绑定到范围中具有相同名称的变量.

如何解决这个问题呢？

Answer 1

对变量进行反斜杠表示绑定一个范围变量:

val x = 5
val y = 4 match { case `x` => true; case _ => false }

回报false.

或者,如果变量以大写字母开头,则它绑定到范围变量而不进行反向操作.

Answer 2

援引最不惊讶的原则,我将简单地做:

val x = 5
val y = 4 match {
  case z if z == x => true
  case _ => false
}