谜题——用自定义类型暴露私有成员的公共子成员

Question

我想做这样的事情（示例被简化，但包含所有关键部分）：

class Master
{
  type DataType = Int
  var counter : DataType = 0
}

class Slave(private val master : Master)
{
  val counter = master.counter  // (*)
}

这里 (*) 我得到错误：

私有值 master 将其定义范围作为类型的一部分进行了转义 从属.this.master.DataType

val counter = master.counter

我理解错误，但我不明白原因 - 类型是类 Master 的一部分，而不是对象 master，所以如果类是私有的，而不是对象，这一点很重要。好吧，至少在理论上是这样。

快速解决方法很容易：

  val counter : Master#DataType = master.counter  

但我相信这是与以前完全相同的代码的显式版本，它“只是”需要更多的输入。那么这是一个功能吗？

问题：

一个类型（这里是 DataType）可以依赖于对象，而不是 Scala 中的类（即类的每个实例的类型定义）吗？

Answer 1

你想错了

这是与之前完全相同的代码的显式版本

Master#DataType 和 master.DataType 是两种不同的类型。

master.DataType 是那些以master 作为外部对象的DataType 实例的类型。换句话说，正是你问的，但显然master 是类型的一部分，如果master不是，则类型不能暴露。

Master#DataType 是任何外部对象的任何DataType 实例的类型（相当于Java 中的Master.DataType）。

回复评论：

类型成员可以在子类（包括只包含一个对象的匿名子类）中被覆盖，但只能被兼容类型覆盖。在您的示例中，DataType 在Master 中已经是具体的，因此唯一与它兼容的类就是它自己。所以像

val a = new Master {
  override type DataType = String
}

不会进行类型检查，这是有道理的：你会得到var counter: String = 0，这是无稽之谈。但是

val a = new Master {
  override type DataType = Int
}

会起作用（但不太有用）。

所以只有重写 abstract 类型的成员才有意义。但是它们以与内部类相同的方式进行类型检查，因此a.DataType 通常被认为与b.DataType 不同——即使它们实际上不能不同！