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

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

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.

中对此主题进行了冗长的讨论

Answer 2

val 声明的左侧可以是模式。参见 scala language documentation。

所以

val 2 = 123

可以写成

123 match {
  case 2 => 2
}

这给出了匹配错误。

在现实生活中，这主要用于将元组提取为可读的本地值：

val test = ("Foo", 30)
val (name, age) = test

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

Scala gives no compile-time error when assigning a value to a number literal?

scala

runtime-error