相关疑难解决方法(0)

我试图在trait中使用covariant类型参数来构造一个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在这里处于协变位置并建议解决这个问题吗？谢谢!

我知道之前已经问过这个问题,但是答案不适用于这种情况,或者我不理解它们.

基本上,为什么以下(重新创建我的问题的简单示例)不起作用？

class Test[+T] {
    var list: List[T] = _
}

我遇到的问题是我有一个对象,我想传递一个Test [Nothing]的实例(空的测试),除非我在T中使用Test co-variant,否则这不起作用.