Question

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

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

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

这里（*）我收到错误：

私有值master将其定义范围作为类型的一部分进行转义   Slave.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是具有DataType作为外部对象的master个实例的类型。换句话说，正是您所要求的，但显然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
}

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

因此，覆盖抽象类型成员才有意义。但是它们的类型检查方式与内部类相同，因此a.DataType通常不被认为与b.DataType相同 - 即使它们实际上并不相同！

拼图 - 使用自定义类型公开私有成员的公共子成员

1 个答案: