通过Scala中的匿名类设置私有变量？

Question

我在 Odersky 的论文（第 2.1 章）中找到了一个关于抽象类型成员的示例：http://lampwww.epfl.ch/~odersky/papers/ScalableComponent.pdf

---

我把它贴在下面

abstract class AbsCell {
  type T
  val init: T
  private var value: T = init
  def get: T = value
  def set(x:T):Unit = {value = x}
}


val cell = new AbsCell{ type T=Int; val init=1}
cell.set(cell.get + 1)
cell.get

这些代码在最新的 Scala（Scala 版本：2.11）中无法正常工作。

我发现最后一个表达式cell.get的值是1，而我期望的是2。原因是private var value: T = init不适用于mixin匿名类{ type T=Int; val init=1}。

有人对此有任何想法吗？

Answer 1

您的代码不起作用，因为value 在val init 之前被初始化。所以在value初始化的时候，init仍然等于T类型的默认值，即T = Int为0。

您可以通过将init 设置为def 或lazy val 来解决此问题。

请注意，您引用的论文没有您提到的代码。在论文中，init是GenCell/AbsCell的构造函数的参数，因此在value之前被正确初始化。