scala – 为什么参数在逆转位置？

发布时间：2020-12-16 09:44:54 所属栏目：安全来源：网络整理

导读：我试图在trait中使用一个协变类型参数来构造一个case类，如下所示： trait MyTrait[+T] { private case class MyClass(c: T)} 编译器说： error: covariant type T occurs in contravariant position in type T of value c 然后我尝试以下，但也没有工作： t

我试图在trait中使用一个协变类型参数来构造一个case类，如下所示：

trait MyTrait[+T] {
  private case class MyClass(c: T)
}

编译器说：

error: covariant type T occurs in contravariant position in type T of value c

然后我尝试以下，但也没有工作：

trait MyTrait[+T] {
  private case class MyClass[U <: T](c: U)
}

这次的错误是：

error: covariant type T occurs in contravariant position in type >: Nothing <: T of type U

有人可以解释为什么T在这个协调的位置，并提出解决这个问题的解决方案？
谢谢！

解决方法

这是面向对象编程的一个基本特征，没有得到应有的重视。

假设你有一个集合C [T]。 T表示如果U ，则c>

http://stackoverflow.com/questions/9619121/why-is-parameter-in-contravariant-position

本站文章除注明转载外，均为本站原创或编译
转载请明显位置注明出处：scala – 为什么参数在逆转位置？

（编辑：李大同）

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