具有依赖类型的 Scala 自类型

Question

这不编译:

trait FileSystem {
    type P <: Path[this.type]
}

trait Path[S <: FileSystem] { self: fileSystem.P =>
    val fileSystem: S
}

自类型约束如何依赖于该特征中的值成员？

Answer 1

它不能(并且不确定这意味着什么)。

trait FileSystem {
    type P <: Path[this.type]
}

trait Path[S <: FileSystem] { self: S#P =>
    val fileSystem: S
}