为什么“ private val”和“ private final val”不同？

我常想，private val和private final val一样，直到我在斯卡拉参考看到第4.1节：

常量值定义为以下形式

final val x = e

其中e是一个常量表达式（第6.24节）。final修饰符必须存在，并且不能给出类型注释。对常量值x的引用本身被视为常量表达式。在生成的代码中，它们将替换为定义的右侧e。

我写了一个测试：

class PrivateVal {
  private val privateVal = 0
  def testPrivateVal = privateVal
  private final val privateFinalVal = 1
  def testPrivateFinalVal = privateFinalVal
}

javap -c 输出：

Compiled from "PrivateVal.scala"
public class PrivateVal {
  public int testPrivateVal();
    Code:
       0: aload_0       
       1: invokespecial #19                 // Method privateVal:()I
       4: ireturn       

  public int testPrivateFinalVal();
    Code:
       0: iconst_1      
       1: ireturn       

  public PrivateVal();
    Code:
       0: aload_0       
       1: invokespecial #24                 // Method java/lang/Object."<init>":()V
       4: aload_0       
       5: iconst_0      
       6: putfield      #14                 // Field privateVal:I
       9: return
}

字节码就像Scala Reference所说的那样：private val不是private final val。

为什么不scalac只是把private val作为private final val？有什么根本原因吗？

因此，这只是一个猜测，但这是Java中的一个常年烦恼，它将右侧带有文字的最终静态变量作为常量内联到字节码中。这确保了性能上的好处，但是如果“常数”发生了变化，它将导致定义的二进制兼容性被破坏。在定义可能需要更改其值的最终静态变量时，Java程序员必须诉诸于黑客，例如使用方法或构造函数初始化该值。

就Java而言，Scala中的val已经是最终的了。看起来Scala的设计师正在使用多余的修饰符final表示“允许内联恒定值”。因此，Scala程序员可以完全控制这种行为，而无需求助于骇客：如果他们想要一个内联的常数（一个永远不变但很快的值），他们会写“ final val”。如果他们希望在不破坏二进制兼容性的情况下灵活地更改值，则只需“ val”即可。

我认为这里的混淆来自将不变性与final的语义相混淆。 val可以在子类中覆盖，因此除非明确标记为，否则不能将其视为final。

@Brian REPL在行级别提供类范围。看到：

scala> $iw.getClass.getPackage
res0: Package = package $line3

scala> private val x = 5
<console>:5: error: value x cannot be accessed in object $iw
  lazy val $result = `x`

scala> private val x = 5; println(x);
5