Scala协变类型错误

Question

我试图定义一个类

abstract class Sequence[+A] {
    def append (x: Sequence[A]): Sequence[A]
}

并进入了终端

<console>:8: error: covariant type A occurs in contravariant position in type Sequence[A] of value x
           def append (x: Sequence[A]): Sequence[A]

为什么这个定义没有问题，解决这个问题的最佳方法是什么？ 我检查了这个协变类型T发生在逆变位置，但对我没有任何帮助。

Answer 1

像往常一样，鉴于他在Scala方面的专业知识，@ vptheron完全正确的解决方案。 但是，让我在Scala作者Martin Odersky亲自启发的示例中添加一些“为什么”。

通过定义Sequence[+A] ，您说如果B是A的子类型，则Sequence[B]是Sequence[A]的子类型。

我认为类型的东西更有意义，当你把它从抽象（没有双关语意图），并使用一个具体的例子。

让我们创建一个具体的实现：

class IntSequence extends Sequence[Int] {
  override def append(x: Sequence[Int]) = {
    println(math.sqrt(x.head))
    //makes no sense but humor me
  }
}

A协方差意味着因为Int是Any的子类型，所以Sequence[Int]是Sequence[Any]的子类型。 到现在为止还挺好。

现在想象一下以与IntSequence类似的方式定义的具体类StringSequence 。

然后我们这样做：

val x:Sequence[Any] = new IntSequence
val ss:Sequence[Any] = new StringSequence
//Let ss be populated somehow
x.append(ss)

第一行当然有效。 IntSequence是Sequence[Int]的子类， Sequence[Int]是协方差的Sequence[Any]的子类型。

第二行当然有效。 出于类似的原因。

第三行（评论后的行）当然有效。 Sequence[String]是Sequence[Any]的子类，因此我可以将Sequence[String]附加到Sequence[Any] 。

但是当我一起尝试这两行时，我现在说我可以取Sequence[String]的第一个元素的平方根，因为x实际上是一个IntSequence 。

借用美国电影“阿波罗13号”中的一句话，“休斯顿，我们遇到了问题。”

这就是你得到那个错误的原因。 为了概括， 一旦泛型参数作为方法的参数类型出现，包含该方法的类在该类型中不能是协变的，因为你得到了那种奇怪的东西。

要解决此问题，您需要方法定义中type参数的下限。 换句话说，method参数中的类型必须是类定义中协变类型的超类型。

或者更简单地说，做@vptheron做的事情。

希望有所帮助。

Answer 2

这有效：

abstract class Sequence[+A]{
  def append[B >: A](x: Sequence[B]): Sequence[B]
}

定义协变类型时，不能将其用作输入参数（对于返回类型使用的逆变类型，您会遇到同样的问题）。 解决方法是定义一个超类型A的新类型（此处为B）。