向 val 添加显式类型可防止 val 在注释中用作常量

Question

来自 REPL：

scala> final val x = "x"
x: java.lang.String("x") = x

scala> @javax.persistence.Table(name = x) case class foo()
defined class foo

scala> final val x:java.lang.String = "x"
x: java.lang.String = x

scala> @javax.persistence.Table(name = x) case class foo()
<console>:6: error: annotation argument needs to be a constant; found: x
       @javax.persistence.Table(name = x) case class foo()

有人可以解释为什么这只能在没有类型的情况下起作用吗？

Answer 1

如果没有类型，final val 的作用就像一个文字常量——标识符在编译时被其值替换。有了类型，它就成为对存储在某处的某些内容的引用，不能在注释上使用。

这是在规范第 4.1 节中定义的：

常量值定义的形式为

最终值 x = e

其中 e 是常量表达式（第 6.24 节）。最终修饰符必须是
存在并且不能给出类型注释。参考文献
常量值 x 本身被视为常量表达式；在
生成的代码将被定义的右侧替换
e 面。

这是在 Scala 中获得真正的命名常量的唯一方法。它们具有性能优势，确实保证不会发生变化（甚至可以通过反射更改类型的final val），当然，它们可以在注释中使用。