Seq [+ A]如何在A中协变?

时间:2011-03-15 19:20:02

标签: scala covariance

如果A出现在逆变位置,Seq [+ A]如何在A中是协变的:

def :+ (elem: A) : Seq[A] ?

据我所知,方法参数类型是逆变位置。我错过了什么?

1 个答案:

答案 0 :(得分:10)

这是用例签名。它不是真正的签名,正如您在常见用例中通常会看到的那样。

真正的签名是:

def :+ [B >: A, That] ( elem : B )(implicit bf : CanBuildFrom[Seq[A], B, That] ) : That

如您所见,这甚至不能保证Seq返回,更不用说A了。