0

我正在设计一个 F-Bound 数据类型，并且有一个工作伴侣对象。我想从特征本身引用这个伴随对象，但我无法正确获取类型。

trait A[AA <: A[AA]] {
  self =>
  val data: String
}
case class A1(data : String) extends A[A1]

trait B[BB <: B[BB, AA], AA <: A[AA]] {
  self: BB =>
  val content: AA
  def companion: BComp[BB, AA]  // What is the correct type?
  def companion2: BComp2[BB, AA] // What is the correct type?
}
trait BComp[BB[X <: BB[X, AA], Y <: AA[Y]], AA[Y <: AA[Y]]]

trait BComp2[BB[X <: AA[X]], AA[X <: AA[X]]]

case class BInst[AA <: A[AA]](content: AA) extends B[BInst[AA], AA] {
  def companion = BInst
  def companion2 = BInst2
}

object BInst extends BComp[B, A]
object BInst2 extends BComp2[BInst, A]

一个可行的解决方案companion就companion2足够了，尽管关于如何构造这些类型签名的一般提示会很有用。

编辑

我想使用伴随对象来存储canBuildFrom样式隐式以及构建器，但是由于内容类型A具有上限，所有生成函数都需要知道这个边界，因此伴随对象特征的参数化。这个设计的灵感来自GenericCompanion.scala，当然，添加类型边界会使一切变得更加困难：P

4

1 回答 1

0

任何明确定义类型的障碍companion在于BComp它由两个参数化类型参数化 - 虽然第一个与 兼容B，但第二个AA[Y <: AA[Y]]是不可能构造的。很简单，我们需要将此类型添加到 的参数化中B：

trait B[BB <: B[BB, AA, X],
        AA[T <: AA[T]] <: A[T], 
        X <: AA[X]]  {
    self: BB =>
    val content: X
    def companion: BComp[B, AA]
}

现在我们的伴生对象有了一个兼容的类型AA（只需要一个小的扩展）：

trait BComp[BHere[BB <: BHere[BB, AAA, Z],
                  AAA[Y <: AAA[Y]],
                  Z <: AAA[Z]],
            AA[Y <: AA[Y]]]

那不是很漂亮吗？

case class BInst[X <: A[X]](content: X) extends B[BInst[X], A, X] {
    def companion: BComp[B, A] = BInst5
  }
object BInst extends BComp[B, A]

companion2

对于companion2，我们只需要改变 的参数化的第一部分B，使 traitB和伴随 trait 变为：

trait B[BB[TS <: AA[TS]] <: B[BB, AA, TS],
        AA[T <: AA[T]] <: A[T], 
        X <: AA[X]] {
    self: BB[X] =>
    val content: X
    def companion2: BComp[BB, AA]
  }

trait BComp[BHere[TS <: AA[TS]],
            AA[Y <: AA[Y]]]

这稍微更易于管理。案例类和案例对象是：

case class BInst[X <: A[X]](content: X) extends B[BInst, A, X] {
  def companion2: BComp[BInst, A] = BInst5
}
object BInst extends BComp[BInst, A]

如果这对任何人有用，请重新考虑。我已经改变了我自己的设计方法，我建议你也这样做。想出解决这些类型的方法现在只是一项纯粹的学术活动！

于 2015-04-28T15:04:40.050 回答