时间戳

首页 > 解决方案 > Scala - 在父类中引用子类（泛型）

scala - Scala - 在父类中引用子类（泛型）

问题描述

在泛型的情况下，我试图在 trait 中引用子类。这可能是不可能的，但如果有人知道这个问题的解决方案，我会很高兴。更多信息在下面的示例中。


object TestMain {
  trait A {
    def doSomething(objects: Seq[A]): A // can I put something here instead of A to make it work?
  }
  case class B() extends A {
    override def doSomething(objects: Seq[B]): B = {
      objects.head
    }
  }
  case class C() extends A {
    override def doSomething(objects: Seq[C]): C = {
      objects.head
    }
  }

  def main(args: Array[String]): Unit = {
    B().doSomething(Seq(B(), B())) //ok
    C().doSomething(Seq(C(), C())) //ok
    B().doSomething(Seq(B(), C())) //I want compile time error
  }
}

我希望 A 和 B 类在编译时只接受它们自己的集合，而不是在每个类中进行检查。是否可以？

标签： scalagenerics

解决方案

正如@user 所述，您可以使用F 有界多态性来实现您想要的。

鉴于您的示例，我将 F-bounded 应用为：

object TestMain {
  trait A[Me <: A[Me]]{
    def doSomething(objects: Seq[Me]): A[Me] // can I put something here instead of A to make it work?
  }
  case class B() extends A[B] {
    override def doSomething(objects: Seq[B]): B = {
      objects.head
    }
  }
  case class C() extends A[C] {
    override def doSomething(objects: Seq[C]): C = {
      objects.head
    }
  }

  def main(args: Array[String]): Unit = {
    B().doSomething(Seq(B(), B())) //ok
    C().doSomething(Seq(C(), C())) //ok
    B().doSomething(Seq(B(), C())) //now this thrown a compile time error
  }
}

推荐阅读