变量和val的Scala内部

Question

Scala中var和val的内部实现是什么？ 有兴趣知道他们的实现的细节 - 是什么使var变为“var”如何实现可变结构vs val（更像是最终的）结构，这使得它是不可变的。

Answer 1

我将通过示例回答，使用scalac和javap 。

首先，我创建Test.scala ：

class Test {
  val x = 1
  var y = 2
}

通过scalac Test.scala编译它来生成Test.class ，然后使用javap -p Test.class来获取

public class Test {
  private final int x;
  private int y;
  public int x();
  public int y();
  public void y_$eq(int);
  public Test();
}

因此，您可以看到val x成为类中的private final字段，也是返回该值的public final方法。

var y成为非最终的私有字段，以及getter + setter对。 y_$eq(int)是setter。 在scala中，这将是def y_=(newY: Int): Unit 。 Scala的语法糖会将y = someValue转换为对y_=(someValue)的调用。

Answer 2

您必须区分声明（在类模板中）和定义（在块中，或在模板中声明成员并构成构造函数体）

在第4.2节中指定var decl等同于getter / setter对。

作为一个实现细节， val只是一个吸气剂。

两个成员都有一个私有支持字段，名称略有损坏：它有一个尾随空格。

有一些异常现象，例如：

scala> class X { final val x = 7 }  // the underlying field is not initialized
defined class X

scala> :javap -prv X
{
[snip]
  private final int x;
    flags: ACC_PRIVATE, ACC_FINAL
[snip]
  public $line5.$read$$iw$$iw$X();
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0       
         1: invokespecial #14                 // Method java/lang/Object."<init>":()V
         4: return        

模板和块之间的材料差异：

scala> class Y { def y = { var z = 0; def z_=(zz: Int): Unit = ???; z = 1; z } }

scala> class Y { var z = 0; def z_=(zz: Int): Unit = ???; z = 1 }
<console>:7: error: method z_= is defined twice

在REPL中，您实际上是在制作模板（因为所有内容都包含在一个类中）：

scala> var z = 0 ; def z_=(zz: Int): Unit = ???
<console>:7: error: method z_= is defined twice
  conflicting symbols both originated in file '<console>'
       var z = 0 ; def z_=(zz: Int): Unit = ???
                       ^

scala> { var z = 0 ; def z_=(zz: Int): Unit = ??? }