scala – Puzzle – 使用自定义类型公开私有成员的公共子成员

我想做这样的事情(例子是简化的,但包含所有关键部分):

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

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

在这里(*)我收到错误:

private value master escapes its defining scope as part of type
Slave.this.master.DataType

val counter = master.counter

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

很容易快速解决方法:

  val counter : Master#DataType = master.counter  

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

题:

类型(此处为DataType)是否可以依赖于对象,而不是Scala中的类(即每个类实例的类型定义)?

最佳答案
你想的时候错了

this is an explicit version of the exactly same code as before

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
}

会工作(但不是太有用).

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

转载注明原文:scala – Puzzle – 使用自定义类型公开私有成员的公共子成员 - 代码日志