Scala 在为数字文字赋值时没有给出编译时错误？答案

【问题标题】：Scala gives no compile-time error when assigning a value to a number literal?Scala 在为数字文字赋值时没有给出编译时错误？
【发布时间】：2016-07-06 06:12:36
【问题描述】：

在学习scala时偶然发现了以下奇怪的sn-p：

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 上抛出错误，因为标识符不能以数字开头，但代码编译时不会发出警告。但是，在运行时它会立即抛出异常：

线程“主”java.lang.ExceptionInInitializerError 中的异常 temptests.TempTest.main(TempTest.scala) 在 sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 在 sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 在 sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 在 java.lang.reflect.Method.invoke(Method.java:498) 在 com.intellij.rt.execution.application.AppMain.main(AppMain.java:144) 引起：scala.MatchError: 123 (of class java.lang.Integer) at temptests.TempTest$.(TempTest.scala:5) 在 temptests.TempTest$.(TempTest.scala) ... 6 更多

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

【问题讨论】：

我 100% 确定这是复制品，但我一辈子都找不到！

标签： scala runtime-error

【解决方案1】：

我只是好奇：Scala 是如何理解val 2 = 123 的？

你可以把val 2 = 123想象成：

123 match {
    case 2 => 2
}

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

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

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

From the specification（强调我的）：

值定义也可以将模式作为左侧。如果 p 是某种模式，而不是简单名称或名称后跟冒号和类型，则值定义val p = e 扩展为如下：

（跳至相关示例）：

如果p有一个唯一的绑定变量x：

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

这就是编译器不发出编译时错误的原因。在google group question 中对该主题进行了冗长的讨论。

【讨论】：

我认为匹配必须相反，因为 2 是匹配的模式。
感谢你们！这也说明了为什么val 2 = 2 可以正常工作。但是，是否有任何示例可以帮助在左侧使用文字而不是更通用的模式？
@cubiclettuce 想不出你真正想要这样做的原因。
我也没有，但是如果真的没有用例，那么编译器最好能在左侧捕获文字的特殊情况，因为它不可能有任何意义并且很可能是一个错字。但这实际上只是一个小问题，无论如何我只是想了解“为什么”。
@cubiclettuce：编译器有太多这样的特殊情况可能是有害的，因为它会使程序员更难学习底层规则。（也就是说，编译器警告是完全合理的。）

【解决方案2】：

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

所以

val 2 = 123

可以写成

123 match {
  case 2 => 2
}

这会导致匹配错误。

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

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

【讨论】：