Scala F-bound对象的多态性

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

导读：我不能在 Scala中编写以下F-bounded多态.为什么？ trait X[T : X[T]]object Y extends X[Y] 我怎样才能表达并编译？解决方法看起来你真的应该能够写作, trait X[T : X[T]]object Y extends X[Y.type] 但是,如果你尝试编译器会给你一个无用的(我认为是虚假

我不能在 Scala中编写以下F-bounded多态.为什么？

trait X[T <: X[T]]
object Y extends X[Y]

我怎样才能表达并编译？

解决方法

看起来你真的应该能够写作,

trait X[T <: X[T]]
object Y extends X[Y.type]

但是,如果你尝试编译器会给你一个无用的(我认为是虚假的)错误,

scala> object Y extends X[Y.type]
<console>:16: error: illegal cyclic reference involving object Y
       object Y extends X[Y.type]

我说“虚假”,因为我们可以构建一个具有一点额外基础设施的等效对象,

trait X[T <: X[T]]

trait Fix { type Ytype >: Y.type <: Y.type; object Y extends X[Ytype] }
object Fix extends Fix { type Ytype = Y.type }
import Fix.Y

如果你想在实际代码中试验这个,使用一个包对象代替对象Fix会使这个成语更有用.

（编辑：李大同）

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