了解Scala中的F绑定多态性

Question

我试图了解它是如何工作的。 这是我尝试过的：

abstract class TestBase { self =>
  type T >: self.type <: TestBase
}

class Test1 extends TestBase {
  type T = Test1
}

class Test2 extends Test1{
  override type T = Test1 // daaaaamn
}

问题是继承层次结构的长度是否大于2。在Test2的情况下，绝对不是我想要的。 有没有办法防止在编译时发生这种情况？

Answer 1

正如@Alec指出的那样，简短的答案是您似乎无法执行此操作； 但是，大多数情况下，您希望以F绑定类型提供的方式来约束类型，这些情况可以用typeclass代替。 Rob Norris对F约束类型与类型类进行了很好的讨论 ，并简要介绍了您遇到的问题。