泛型类型如何与scala中的继承一起使用？

Question

我试图了解泛型如何在 Scala 中与继承一起工作。 我有以下代码：

sealed trait Model {}
case class Model1() extends Model
case class Model2() extends Model

trait Repo[A <: Model] {
  def doSomething(model: A)
}
class Repo1 extends Repo[Model1] {
  override def doSomething(model: Model1): Unit = {
    println("Model 1")
  }
}
class Repo2 extends Repo[Model2] {
  override def doSomething(model: Model2): Unit = {
    println("Model 2")
  }
}

object Play extends App {
  def getModel(i: Int): Model =
    i match {
      case 1 => Model1()
      case 2 => Model2()
      case _ => throw new RuntimeException("model not found")
    }
  val model = getModel(1)
  val repo = model match {
    case _: Model1 => new Repo1
    case _: Model2 => new Repo2
    case _         => throw new RuntimeException("something went wrong")
  }
  repo.doSomething(model)
}

在最后一行repo.doSomething(model) 我得到Type mismatch. Required: _.$1 Found: Model

根据这个答案What is the correct way to implement trait with generics in Scala?，如果我的 repos 类扩展了该类型的特征应该可以工作。

我是 Scala 的新手，我正试图围绕类型系统、泛型、隐式、上限/下限...

什么是_.$1 类型，我怎样才能使它工作？谢谢！

Answer 1

scala 是静态类型的，值model 是编译时类型Model 和repo 的编译时类型Repo

所以repo.doSomething 没有进一步细化。 doSomething 的签名表示它将采用Model 的某个参数的子类型，但我们不知道是哪一个——换句话说，编译器不知道model 的类型和repo 的类型对齐。

要使它们对齐，您有几个选择。

1. 因为您知道类型对齐是因为您以比编译器了解更多的方式构造它，所以请告诉编译器

val castRepo = repo.asInstanceOf[Repo[Any]]

这会关闭安全装置，然后你告诉 scala“相信我，我知道我在做什么”。当您知道自己在做什么时，这在某种程度上很好，但是真正知道自己在做什么的人往往不相信自己比编译器更了解，因此保留类型安全的不同解决方案可能会更好。

1. 重组程序，使事情做对齐。

例如，您可以制作一个包装器类型，像这样

case class Aligned[A <: Model](model: A, repo: Repo[A]) {
  def doIt = repo.doSomething(model)
}
val aligned = model match {
  case m: Model1 => Aligned(m, new Repo1)
  case m: Model2 => Aligned(m, new Repo2)
  case _         => throw new RuntimeException("something went wrong")
}

aligned.doIt

在Aligned 内，scalac 知道Model 类型和Repo 类型排列。

你甚至不需要实例方法doIt； aligned.repo.doSomething(aligned.model) 也可以工作，因为编译器知道aligned.repo 中的A 和aligned.model 中的A 在对齐时都是相同的A。