Scala 在给数字赋值时不会给出编译时错误？

Question

在学习scala时，我偶然发现了以下奇怪的片段:

package temptests

object TempTest {
  //def 2 = 123 // does not compile
  val 2 = 123 // compiles, but leads to an exception at runtime

  def main(args: Array[String]) = { // just do something to load this class
    println("Hello")
  }
}

我预计编译器会在 val 2 = 123 上抛出错误，因为标识符不能以数字开头，但代码编译时不会出现警告。但是，在运行时它会立即抛出异常:

Exception in thread "main" java.lang.ExceptionInInitializerError at temptests.TempTest.main(TempTest.scala) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at com.intellij.rt.execution.application.AppMain.main(AppMain.java:144) Caused by: scala.MatchError: 123 (of class java.lang.Integer) at temptests.TempTest$.(TempTest.scala:5) at temptests.TempTest$.(TempTest.scala) ... 6 more

我只是好奇:Scala 如何理解val 2 = 123？为什么没有编译时错误？

Answer 1

I am just curious: how is val 2 = 123 understood by Scala?

您可以将 val 2 = 123 视为:

123 match {
    case 2 => 2
}

Scala 中的变量名称部分并不总是一个简单的名称，它也可以是一个模式，例如:

val (x, y) = (1, 2)

将 1 和 2 分别分解为 x 和 y。在 scala 中，case 语句后允许的所有内容在 val 后也允许，并被转换为模式匹配。

From the specification (强调我的):

Value definitions can alternatively have a pattern as left-hand side. If p is some pattern other than a simple name or a name followed by a colon and a type, then the value definition val p = e is expanded as follows:

(跳至相关示例):

If p has a unique bound variable x:

val x = e match { case p => x }

这就是编译器不发出编译时错误的原因。在这个google group question中有一个关于这个主题的长时间讨论。 .