scala - Seq[+A] 如何在 A 中协变？

Question

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

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

据我了解，方法参数类型是逆变位置。我错过了什么？

Answer 1

这就是用例签名。它不是真正的签名，只是您通常会在常见用例中看到的签名。

真正的签名是:

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

如您所见，这甚至不能保证 Seq返回，更少 A .