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

发布时间：2020-12-16 18:52:20 所属栏目：安全来源：网络整理

导读：如果A出现在逆变位置,Seq [A]如何在A中是协变的： def :+ (elem: A) : Seq[A] ? 据我所知,方法参数类型是逆变位置.我错过了什么？解决方法这是用例签名.它不是真正的签名,只是您在常见用例中通常会看到的内容. 真正的签名是： def :+ [B : A,That] ( elem

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!