Adición de tipo explícita a val val evita que se utilice como una constante en la anotación

Question

Desde el 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() 

¿Puede alguien explicar por qué esto sólo funciona sin un tipo?

Answer 1

Sin el tipo, final val actúa como una constante literal: el identificador se reemplaza por su valor en tiempo de compilación. Con el tipo, se convierte en una referencia a algo almacenado en algún lugar, que no se puede usar en las anotaciones.

Esto se define en la sección 4.1 de la especificación:

Una definición valor constante es de la forma

final val x = e 

donde e es una expresión constante (§6.24). El modificador final debe ser presente y no se puede dar ninguna anotación de tipo. Las referencias al valor constante x se tratan a sí mismas como expresiones constantes; en el código generado se reemplazan por el lado de la derecha de la definición e.

Esta es la única manera en que puede obtener verdaderas constantes con nombre en Scala. Tienen beneficios de rendimiento, están realmente garantizados para no mutar (incluso un final val con un tipo se puede cambiar a través de la reflexión) y, por supuesto, se pueden utilizar en las anotaciones.