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

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变得非常困难，因为只有主构造函数可以声明val s。

演员阵容的一个例子：

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的建议要好得多。