Question

我目前正在学习scala，我对方差注释感到困惑，尤其是协方差和逆向。

所以我做了一些研究，后面的例子

 class Box[+T] {

    def put[U >: T](x: U): List[U] = {
      List(x)
    }

  }

  class Animal {

  }

  class Cat extends Animal {

  }

  class Dog extends Animal {

  }

  var sb: Box[Animal] = new Box[Cat];

因此，这表示类Box在T中是协变的意味着Box [Cat]是Box [Animal]的子类，因为Cat是Animal的子类。 Sofar我理解这一点。但是当谈到方法参数时，我的理解就结束了。规范说方法参数不能协变，所以我们必须使用这个下限注释。

让我们看看方法定义

 def put[U >: T](x: U): List[U] = {
   List(x)
 }

所以[U＆gt;：T]说U必须是T
的超类

尝试以下代码

  var sb: Box[Animal] = new Box[Cat];
  sb.put(new Cat);

按预期工作，但这让我感到疯狂

  var sb: Box[Animal] = new Box[Cat];
  sb.put(1);

从逻辑上讲，将 INT 放入动物盒中是正确的，因为 INT 将被解析为任何这是动物的超类。

所以我的问题是

我如何调整put method仅接受子类型的代码动物？我不能使用上限注释

class Box[+T] {

    def put[U <: T](x: U): List[U] = {
      List(x)
    }

  }

因为我得到了这个众所周知的错误

协变类型T出现在
类型的逆变位置

Answer 1

您可以添加下限和上限：

class Box[+T] { def put[U >: T <: Animal](x: U): List[U] = List(x) }

但这不是你想要的，因为你将Box的定义连接到Animal，逻辑上没有理由添加这样的上限。

你说：

从逻辑上来说，将INT放入动物盒中是完全正确的，因为INT将被解析为Any，这是动物的超类。

你没有将Int放入Box[Animal]，现有的盒子是不可变的（因为协方差的定义不是可变的，所以不可能使它成为可变的）允许它）。相反，你得到一个新类型的盒子（或者在put方法的情况下）。如果您的目标只是获得List[Anmial]，那么您只需指定：

scala> class Box[+T] { def put[U >: T](x: U): List[U] = List(x) }
defined class Box

scala> var b: Box[Animal] = new Box[Cat]
b: Box[Animal] = Box@23041911

scala> val xs: List[Animal] = b put new Dog
xs: List[Animal] = List(Dog@f8d6ec4)

scala> val xs: List[Animal] = b put 1
<console>:14: error: type mismatch;
 found   : Int(1)
 required: Animal
       val xs: List[Animal] = b put 1
                                    ^

scala> val xs = b put 1 // this will result in a List[Any]
xs: List[Any] = List(1)

无需使put方法的定义复杂化。

有关为什么需要协方差和反方差的更深入解释，请参阅this question。

Scala协方差和下限我得不到它

1 个答案: