scala - 为什么带有点的 scala val 定义在解析的后期会产生错误？

Question

为了回应另一个问题的评论，我尝试将此代码放入 Scala:

trait Foo

new Foo { self =>
  val self.x = 3
}

当然，它不能编译，但错误让我感到困惑:

recursive value x$1 needs type
    val self.x = 3
             ^

这段代码是如何通过解析器的？
-Xprint:parse也有点奇怪:

    <synthetic> private[this] val x$1 = 3: @scala.unchecked match {
      case self.x => ()
    }

那是match在 3 的类型注释中?编辑:显然不是；那是 the syntax for annotations .

Answer 1

Scala 中的变量定义实际上是模式匹配。也就是说，当你写

val x = y
println(x)

这和写作基本一样

y match {
  case x =>
    println(x)

这很容易在这样的事情中看到:

val List(a, b, c) = someList
val RegexPattern(year, month, date) = "2013-10-23"

另一件有效的事情是常量模式匹配:

object X {
  val One = 1
}

scala> val X.One = 1

scala> val X.One = 2
scala.MatchError: 2 (of class java.lang.Integer)

任何带括号的东西都会调用提取器:

object Y {
  val ymd = """(\d\d\d\d)-(\d\d)-(\d\d)""".r
}

scala> val Y.ymd(year, month, day) = "2013-10-23"
year: String = 2013
month: String = 10
day: String = 23    

所以，你看，你写的东西在语法上没有违法，只是细节。