Scala：“协变类型R出现在不变位置”的原因是什么？

Question

给定以下示例代码：

trait Gen[T, +R] {

  def follow[K](gen: Gen[R, K]): Gen[T, K]

  def i: T
  def j: R
}
case class GenImpl[T, R](i: T, j: R) extends Gen[T, R] {

  override def follow[K](gen: Gen[R, K]): Gen[T, K] = {
    GenImpl[T, K](this.i, gen.j)
  }
}

编译器将给出以下错误：

Error:(9, 17) covariant type R occurs in invariant position in type Gen[R,K] of value gen
  def follow[K](gen: Gen[R, K]): Gen[T, K]
                ^

R1 <: R, R2 <: R

Gen[T, R1] <:< Gen[T, R]

所以一个gen[R,K]可以是gen[T,R]和gen[T,R1]的.follow（）的参数。但Gen[R1,K]只能是Gen[T,R1]的.follow（）的参数,如果应用于Gen[T,R2]或Gen[T,R],则会触发编译错误。不需要将GEN[R/R1,K]中的R或R1设置为逆变来完成它的工作。

我看不到一个可以通过编译而在运行时失败的案例。你觉得呢？编译器是不是误报了？

Answer 1

我想我们有

class R0
class R1 extends R0
class T0

则gen[T0,R0]的任何实例都必须提供以下服务：

def follow[K](gen : Gen[R0, K]) : Gen[T0,K]

方差注释声称gen[T0,R1]<: 。因此，它必须是可替代的，并提供相同的服务。但 gen[T0,R1]实际上提供以下服务：

def follow[K](gen: Gen[R1, K]) : Gen[T0,K]

假设我有这样的代码：

def doFollow[K]( g : Gen[T0, R0], h : Gen[R0, K] ) : Gen[T0,K] = {
  g.follow( h )
}

酷毙了。让我们假设我有一些实例，然而构造：

val g0 : Gen[T0, R0]     = ???
val h0 : Gen[R0, String] = ???
val g1 : Gen[T0, R1]     = ???

我调用dofollow[String](g0,h0)，所有操作都很好，我得到了一个结果。

g1.follow[String]( h0 )

但您的方差注释要求gen[T0,R1]对象可以替换gen[T0,R0]。它们不能，编译器正确地调用了您。