关于协变类型的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只是构造函数的一个参数，并且参数可以是互变的，因此可以正常工作。