在trait中创建抽象val的适当延迟初始化

Question

考虑以下情况：

trait A {
    protected val mydata = ???

    def f(args) = ??? //uses mydata
}

class B
class C

class D(arg1: String) extends B with A {
    override val mydata = ??? /// some calculation based on arg1
}

class E(arg1: String) extends C with A{
    override val mydata = ??? /// some calculation based on arg1
}

A必须是一个特征，因为它被不同的无关类使用。问题是如何实现mydata的定义。

标准方法（在许多地方建议）是将mydata定义为def并在子级中重写它。但是，如果f假设mydata从不更改，那么当一些子级使用在调用之间更改的函数而不是val进行扩展时，它可能会导致问题。

另一种方法是：

trait A {
  protected val mydata = g
  protected def g()
}

这个问题（除了添加另一个函数外）是，如果g依赖于子对象中的构造变量，那么这些变量必须成为子对象的成员（例如，如果数据很大并且在构造中给定，这可能是一个问题）：

 class D(arg1: Seq[String]) {
     def g() = ??? // some operation on arg1
 }

如果我将val作为抽象形式保留在trait中，我可以处理这里发现的问题）。

我正在寻找的是一种在子级中定义val值的方法，确保它是val并且无需为后期计算保存数据。类似于在java中如何定义最终val并将其填充到构造函数中

Answer 1

标准方法（在许多地方建议将我的数据定义为def，并在子对象中覆盖它……如果我将val保留在trait中作为抽象，我可以解决这里发现的问题）。

这是一种常见的误解，也体现在对相关问题的公认答案中。该问题正在实现为您无论如何都需要的val。覆盖一个具体的val只会使情况变得更糟：抽象的val至少可以由一个懒惰的val来实现。对您来说，避免该问题的唯一方法是确保在初始化之前，不会直接或间接地在a的构造函数或其子类型中访问mydata。在f中使用它是安全的（前提是构造函数中没有调用f，这将是对mydata的间接访问）。

如果你能保证这一要求，那么

trait A {
    protected val mydata
    def f(args) = ??? //uses mydata
}

class D(arg1: String) extends B with A {
    override val mydata = ??? /// some calculation based on arg1
}

class E(arg1: String) extends C with A{
    override val mydata = ??? /// some calculation based on arg1
}

正是正确的定义。

如果您不能，那么尽管存在缺点，但您必须使用上一个解决方案，但mydata需要惰性以避免类似的初始化顺序问题，这本身就会产生相同的缺点。