如何解决关于协变类型的2个类定义之间的区别?
class Contravariant[-T](val other:T)
错误:变量T的协变量位置出现了协变T类型
但是这个成功了
class MMX[-T](x:T)
有什么区别?
谢谢
解决方法
就像路易斯·米格尔·梅亚·苏亚雷斯({3)}一样,在第一个示例中,other
是一个字段,并且字段不能是互变的(如said所指出的,不是带有修饰符{{1 }}或private[this]
),尽管它们可以是协变的。假设您的第一个示例可行,请考虑以下示例:
protected[this]
Dmytro Mitin,您可以看到发生了什么(我使用class Contravariant[-T](val other: T)
val stringList = List[Contravariant[String]](new Contravariant[Any](1))
val string: String = stringList.head.other //This can't work,because 1 is not a String
使其起作用)。
在第二个示例中,@uncheckedVariance
只是构造函数的一个参数,并且参数可以是互变的,因此可以正常工作。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。