Scala自我类型与依赖键入

发布时间：2020-12-16 18:09:06 所属栏目：安全来源：网络整理

导读：这不编译： trait FileSystem { type P : Path[this.type]}trait Path[S : FileSystem] { self: fileSystem.P = val fileSystem: S} 自我类型约束如何依赖于该特征中的值成员？解决方法它不能(并且不确定它意味着什么). trait FileSystem { type P : Path[

这不编译：

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

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

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

解决方法

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

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

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!