ヴァルへの明示的な型を追加すると、REPLから注釈

Question

で定数として使用されてからのvalを防止：これが唯一の種なしで動作する理由

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で定義されている：

一定値の定義は、フォームEは定数式（§6.24）である

final val x = e 

です。最終的な修飾子は でなければならず、タイプ注釈は与えられません。 定数値xへの参照は、定数式として扱われます。 で生成されたコードは、定義の右側の のサイドeに置き換えられます。

これは、Scalaで本当の名前の定数を取得できる唯一の方法です。パフォーマンスのメリットがあります。実際には変異しないことが保証されています（タイプによってはfinal valでも反射で変更できます）。もちろん、アノテーションで使用することもできます。