scala – 通过类型成员而不是类型参数进行F限制量化？

这是起点：

trait Sys[S <: Sys[S]] {
  type Tx
  type Id <: Identifier[S#Tx]
}

trait Identifier[Tx] {
  def dispose()(implicit tx: Tx): Unit
}

trait Test[S <: Sys[S]] {
  def id: S#Id
  def dispose()(implicit tx: S#Tx) {
    id.dispose()
  }
}

让我烦恼的是,我在整个图书馆里都带着一个类型参数[S<：Sys [S]].所以我在想的是：

trait Sys {
  type S = this.type  // ?
  type Tx
  type Id <: Identifier[S#Tx]
}

trait Identifier[Tx] {
  def dispose()(implicit tx: Tx): Unit
}

trait Test[S <: Sys] {
  def id: S#Id
  def dispose()(implicit tx: S#Tx) {
    id.dispose()
  }
}

哪个失败了…… S#Tx和S#Id在某种程度上分离了：

error: could not find implicit value for parameter tx: _9.Tx
               id.dispose()
                         ^

任何使其有效的技巧或变化？

编辑：为了澄清,我主要希望修复Sys中的类型S以使其工作.在我的案例中使用路径依赖类型存在许多问题.举一个例子来反映pedrofuria和Owen的答案：

trait Foo[S <: Sys] {
  val s: S
  def id: s.Id
  def dispose()(implicit tx: s.Tx) {
    id.dispose()
  }
}

trait Bar[S <: Sys] {
  val s: S
  def id: s.Id
  def foo: Foo[S]
  def dispose()(implicit tx: s.Tx) {
    foo.dispose()
    id.dispose()
  }
}

<console>:27: error: could not find implicit value for parameter tx: _106.s.Tx
               foo.dispose()
                          ^

尝试制作那个def foo：Foo [s.type]让你知道这无处可去.