scala – 为什么val是稳定的标识符而def不是？

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

导读：模式匹配时可以使用类实例的字段(val)： class A { val foo = 37 def bar = 42}def patmat1(a: A,x: Int) { x match { case a.foo = println("a.foo") case _ = println("not a.foo") }}patmat1(new A,37) // = a.foopatmat1(new A,42) // = not a.foo 我想

模式匹配时可以使用类实例的字段(val)：

class A {
  val foo = 37
  def bar = 42
}

def patmat1(a: A,x: Int) {
  x match {
    case a.foo => println("a.foo")
    case _     => println("not a.foo")
  }
}

patmat1(new A,37) // => a.foo
patmat1(new A,42) // => not a.foo

我想知道为什么def不能类似地使用？

def patmat2(a: A,x: Int) {
  x match {
    case a.bar => println("a.bar")
    //     ^ error: stable identifier required,but a.bar found.
    case _     => println("not a.bar")
  }
}

我认为val和def大多是可以互换的.

解决方法

那么根据 reference,你的第二个案例不是一个有效的模式. val foo有效,因为它是一个稳定的标识符模式§8.1.5,它基本上意味着它检查x == a.foo.

你的第二种情况根本就不是任何有效的模式(因为a.bar不是标识符而是声明)因此错误.

一种惯用的方式是：

def patmat1(a: A,x: Int) {
  x match {
    case i if a.bar == x => println("a.foo")
    case _     => println("not a.foo")
  }
}

（编辑：李大同）

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