微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

scala – Seq [A]如何在A中协变?

如果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.

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐