对象上的Scala F有界多态性

Question

我无法在 Scala 中编写以下 F 有界多态性。为什么？

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

我该如何表达并使其编译？

Answer 1

看来你真的应该会写，

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

如果您想在实际代码中对此进行试验，请使用包对象代替 object Fix会使这个习语更有用一点。