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

Question

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

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

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

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

private value 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任何外部对象的任何实例的类型(相当于Master.DataTypeJava).

回复评论:

类型成员可以在子类中重写(包括仅包含一个对象的匿名子类),但只能由兼容类型覆盖.在你的例子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- 即使它们实际上并不相同!