如果A出现在逆变位置,Seq [A]如何在A中是协变的:
def :+ (elem: A) : Seq[A] ?
据我所知,方法参数类型是逆变位置.我错过了什么?
解决方法
这是用例签名.它不是真正的签名,只是您在常见用例中通常会看到的内容.
真正的签名是:
def :+ [B >: A,That] ( elem : B )(implicit bf : CanBuildFrom[Seq[A],B,That] ) : That
正如你所看到的那样,甚至不能保证Seq回归,更不用说A.