重写继承的构造函数字段时的差异？

Question

考虑这个简单的 Scala 类：

class A(val d: Int)

之间是否存在差异（无论是行为还是生成的字节码）

class B(d: Int) extends A(d)

Scala 中和

class B(override val d: Int) extends A(d)

或两者等价 ？如果它们不同，那么它们各自的具体用例是什么？

如果A被定义为class A(var d: Int)会有不同吗？

Answer 1

对于 vals，没有语义差异。但是，生成的字节码可能有所不同。特别是，如果派生类中定义的方法引用d，则它引用的是构造函数参数d，而不是引用的val同名。这是通过为派生类生成的附加私有字段来实现的。

对于 var， 存在行为差异。如果没有重写，任何从派生类内部引用 d 的方法都将引用构造函数参数，而从类外部引用 d 的调用者将获取该字段。在这种情况下，两个值可能不同（如果该值自构建以来已发生变化）。

这是一个演示 var 行为的会话：

scala> class A(var d: Int)
defined class A

scala> class B(d: Int) extends A(d) { override def toString = "d: " + d }
defined class B

scala> val b = new B(1)
b: B = d: 1

scala> b.d = 2

scala> b.d
res1: Int = 2

scala> b
res2: B = d: 1

这个问题是相关的： 处理基类字段名称与派生类字段名称的惯用 Scala 方法？。