为什么 `object` 中的 `val` 不会自动成为 final？

Question

vals 不是（？）在单例对象中自动成为 final 的原因是什么？例如

object NonFinal {
   val a = 0
   val b = 1

   def test(i: Int) = (i: @annotation.switch) match {
      case `a` => true
      case `b` => false
   }
}

结果：

<console>:12: error: could not emit switch for @switch annotated match
          def test(i: Int) = (i: @annotation.switch) match {
                                                     ^

而

object Final {
   final val a = 0
   final val b = 1

   def test(i: Int) = (i: @annotation.switch) match {
      case `a` => true
      case `b` => false
   }
}

编译时没有警告，因此可能会生成更快的模式匹配表。

必须添加final 对我来说似乎是纯粹的烦人噪音。 object 本身不是最终的，因此也是它的成员？

Answer 1

这在the specification 中明确解决，它们自动成为最终的：

final 类或对象的成员隐式也是 final，所以 final 修饰符通常对他们来说也是多余的。但是请注意， 常量值定义（第 4.1 节）确实需要显式的 final 修饰符，即使 它们在最终类或对象中定义。

您的 final-less 示例使用 2.10-M7 编译时没有错误（或警告），因此我假设 @switch 在早期版本中检查存在问题，并且成员实际上是最终版本。

---

更新：实际上这比我预期的更奇怪——如果我们使用 2.9.2 或 2.10-M7 编译以下代码：

object NonFinal {
  val a = 0
}

object Final {
  final val a = 0
}

javap 确实有所不同：

public final class NonFinal$ implements scala.ScalaObject {
  public static final NonFinal$ MODULE$;
  public static {};
  public int a();
}

public final class Final$ implements scala.ScalaObject {
  public static final Final$ MODULE$;
  public static {};
  public final int a();
}

即使值定义的右侧不是常量表达式，您也会看到相同的内容。

所以我会留下我的答案，但这不是决定性的。

Answer 2

为了解决关于对象 final 的核心问题，我认为规范中的这个子句更相关：

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

意义重大：

• 不能给出类型注释
• 在生成的代码中使用了表达式 e（根据我的阅读，作为原始未计算的常量表达式）

在我看来，规范要求编译器使用这些更像是宏替换，而不是在编译时就地评估的值，这可能会影响生成的代码的运行方式。

我觉得特别有意思的是不能给出类型注解。

我认为这指向了我们的最终答案，尽管我无法举出一个示例来显示这些要求的运行时差异。事实上，在我的 2.9.2 解释器中，我什至没有执行第一条规则。

Answer 3

您不是在问“为什么它们不是最终的”，而是在问“为什么它们不是内联的”。碰巧 final 是您如何提示您希望它们内联的编译器。

它们没有自动内联的原因是单独编译。

object A { final val x = 55 }
object B { def f = A.x }

当你编译这个时，B.f 返回 55，字面意思是：

public int f();
  0: bipush        55
  2: ireturn       

这意味着如果您重新编译 A，B 将忘记所做的更改。如果 x 在 A 中未标记为 final，则 B.f 看起来像这样：

  0: getstatic     #19                 // Field A$.MODULE$:LA$;
  3: invokevirtual #22                 // Method A$.x:()I
  6: ireturn       

另外，为了纠正其他答案之一，final 并不意味着在 scala 中不可变。