Scala 构造函数中的最终变量

Question

我对 Scala 还很陌生，但我知道你可以定义在构造函数中初始化的类变量，就像

class AClass(aVal: String)

在 java 中执行以下操作一样

class AClass {
    private String aVal;

    public AClass(String aVal) {
        this.aVal = aVal;
    }
}

。在 Java 中，我会将 aVal 声明为 Final。有没有办法在 Scala 语法中使 aVal 变量成为最终变量？

编辑：这是我编译以下 Scala 类时看到的内容：

class AClass(aVal: String) {
  def printVal() {
    println(aVal)
  }
}

我运行了 javap -private 并得到了输出

public class AClass extends java.lang.Object implements scala.ScalaObject{
  private final java.lang.String aVal;
  public void printVal();
  public AClass(java.lang.String);
}

当我将 scala 类定义更改为具有 class AClass(**val ** aVal: String) 我从 javap -private 得到以下输出

public class AClass extends java.lang.Object implements scala.ScalaObject{
  private final java.lang.String aVal;
  public java.lang.String aVal();
  public void printVal();
  public AClass(java.lang.String);
}

生成了公共方法 aVal 。我仍然在这里学习 - 谁能解释为什么会生成它？

注意我使用的是 scala 2.9

Answer 1

class AClass(aVal: String)

在此代码中，aVal 是最终变量。所以你已经有了一个最终变量。

class AClass(val aVal: String)

在此代码中，aVal 是最终的，并且您有 aVAl 的 getter。所以你可以像下面一样使用它

scala> val a= new AClass("aa")
a: A1 = A1@1d7d58f

scala> a.aVal
res2: String = aa

最后，

class AClass(var aVal: String)

在这段代码中，aVal不是最终的，你有aVal的getter和setter。所以你可以像下面这样使用它

scala> val a= new AClass("aa")
a: AClass = AClass@1c059f6

scala> a.aVal
res3: String = aa

scala> a.aVal = "bb"
a.aVal: String = bb

scala> a.aVal
res4: String = bb

Answer 2

复制自我的答案：Scala Final 与 val 的并发可见性

术语 final 有两种含义：a) 对于 Scala 字段/方法和 Java 方法，它意味着“不能在subclass”和 b) 对于 Java 字段和 JVM 字节码来说，这意味着“该字段必须在构造函数中初始化并且不能重新分配”。

用 val 标记的类参数（或者等效地，没有修饰符的情况类参数）在第二种意义上确实是最终的，因此是线程安全的。

证明如下：

scala>  class A(val a: Any); class B(final val b: Any); class C(var c: Any)
defined class A
defined class B
defined class C

scala> import java.lang.reflect._
import java.lang.reflect._

scala> def isFinal(cls: Class[_], fieldName: String) = {
     |   val f = cls.getDeclaredFields.find(_.getName == fieldName).get
     |   val mods = f.getModifiers
     |   Modifier.isFinal(mods)
     | }
isFinal: (cls: Class[_], fieldName: String)Boolean

scala> isFinal(classOf[A], "a")
res32: Boolean = true

scala> isFinal(classOf[B], "b")
res33: Boolean = true

scala> isFinal(classOf[C], "c")
res34: Boolean = false

或者使用 javap，可以方便地从 REPL 运行：

scala> class A(val a: Any)
defined class A

scala> :javap -private A
Compiled from "<console>"
public class A extends java.lang.Object implements scala.ScalaObject{
    private final java.lang.Object a;
    public java.lang.Object a();
    public A(java.lang.Object);
}

如果非 case 类的类参数未标记为 val 或 var，并且它不被任何方法引用，它只需要对类的构造函数可见。然后，Scala 编译器可以自由地优化远离字节码的字段。在 Scala 2.9.1 中，这似乎有效：

scala> class A(a: Any)
defined class A

scala> :javap -private A
Compiled from "<console>"
public class A extends java.lang.Object implements scala.ScalaObject{
    public A(java.lang.Object);
}