Scala：是否可以在子类的构造函数中重写VAL？

Question

是否可以在子类的构造函数中重写vals或defs？我想初始化（或设置）子类构造函数中的trait的成员或抽象类的成员作为参数。

下面是一个例子。

trait A {
  def memberDef: Int => String
  val memberVal: String
}

class B(
    override val memberDef: Int => String,
    override val memberVal: String)
  extends A {
  ...
}

当我编译这个的时候，没有任何错误。但是，我想知道这个实现中是否有bug，或者哪里有更好的实现。

Answer 1

帖子标题的答案是肯定的。大部分都是。

很难说什么可能是“更好的”实现，因为我不知道您试图用这段代码完成什么（除了概念证明）。但有两件事要考虑。

您通常不希望有val的特征。只有在特征级别使用lazy val或def才能解决一些棘手的、文档丰富的初始化问题。此外，虽然特征中的def可以由def、val、惰性val或对象实现，但特征中的val只能由val实现。所以这里的灵活性要小得多。

另一个需要考虑的是Scala语法，而更多的是一般的对象设计。我知道您的示例是虚构的，但请记住，您通过向调用方提供一种更改b的公共API的方法，创建了一个泄漏的抽象。漏泄的抽象从来都不是好事。