2

我有三个 F-Bound 类型A，B& C，其中B由 参数化A，并且C由B（因此也由A）参数化。我可以实例化Aand B，但是当我尝试实例化C时，编译器无法推断类型。如果我明确地给它类型，一切正常 - 但这些类型丢失似乎很愚蠢（这是由于类型擦除吗？）。

sealed trait A[AA <: A[AA]] {
  self =>
  val data: String
}

case class AInst(data: String) extends A[AInst]

sealed trait B[BB <: B[BB, AA], AA <: A[AA]] {
  self: BB =>
  val content: AA
}

case class BInst[AA <: A[AA]](content: AA) extends B[BInst[AA], AA]

sealed trait C[CC <: C[CC, BB, AA], BB <: B[BB, AA], AA <: A[AA]] {
  self: CC =>
  val content: BB
}

case class CInst[BB <: B[BB, AA], AA <: A[AA]](content: BB) 
     extends C[CInst[BB, AA], BB, AA]

val a1 = new AInst("A1")
val b1 = BInst(a1)
val c1 = CInst[BInst[AInst],AInst](b1)

是否有解决方法，我不必CInst专门指定类型？

我目前正在使用类型参数化来实现 F-Bounds，但是切换到抽象类型成员会解决这个问题吗？那时的课堂会是什么样子？

4

1 回答 1

1

那个怎么样：

... //A,AInst,B,BInst without changes

sealed trait C[CC <: C[CC, BB, AA], BB <: B[BB, AA], AA <: A[AA]] {
  self: CC =>
  val content: B[BB, AA] //`B[BB, AA]` instead of `BB`
}

case class CInst[BB <: B[BB, AA], AA <: A[AA]](content: B[BB,AA]) extends C[CInst[BB, AA], BB, AA]

用法：

scala> val a1 = new AInst("A1")
a1: AInst = AInst(A1)

scala> val b1 = BInst(a1)
b1: BInst[AInst] = BInst(AInst(A1))

scala> val c1 = CInst(b1)
c1: CInst[BInst[AInst],AInst] = CInst(BInst(AInst(A1)))

它以前没有像编译器BB那样工作BInst[AA <: A[AA]]，所以我B[BB,AA]只是提升BB到B[BInst[AInst], AInst].

PS 对于类型成员，您仍然会以某种方式将类型传递给您的案例类，因此没有太大区别。

于 2015-04-16T12:40:59.500 回答