依赖类型不适用于构造函数？

Question

路径相关类型很有用:

trait Sys {
  type Global
}
def foo[S <: Sys](system: S)(global: system.Global) = ()

为什么这对构造函数不起作用？

class Foo[S <: Sys](val system: S)(val global: system.Global)

或者我只是做错了？

Answer 1

这对我来说似乎是个错误.编辑:发现它,这是SI-5712.

2.9 SLS的第5.3节说:

(ps1)...(psn)是类的主要构造函数的正式值参数子句.形式值参数的范围包括所有后续参数部分和模板t.

有一个例外:

但是,形式值参数可能不构成任何父类或类模板t成员的类型的一部分.

但它表示它不能是任何父类或成员类型的一部分,而不是以下任何参数部分的类型,因此它似乎不禁止参数组之间的路径相关类型.

您可以使用辅助构造函数解决此问题:

class Foo[S <: Sys] private[this] () {
  def this(system: S)(global: system.Global) = this
}

编辑:这个辅助构造函数的解决方法不是很好:暴露system或global变得非常困难,因为只有主构造函数可以声明vals.

演员的一个例子:

class Foo[S <: Sys] private[this] () {
  private[this] var _system: S = _
  private[this] var _global: system.Global = _

  def this(system0: S)(global0: system0.Global) = {
    this
    _system = system0
    _global = global0.asInstanceOf[system.Global]
  }

  lazy val global: system.Global = _global
  lazy val system: S = _system
}

但这太可怕了.@ senia的建议要好得多.