scala中的逆变

Question

我是Scala的新手。我在想整个逆变关系是如何运作的。我了解协方差和不变量的概念，我也知道如何在实践中实现它们。我还理解了逆变（协方差的反向）的概念，以及它是如何在Scala中的Function1特性中实现的。它为您提供了一种抽象，而无需为不同的类重新定义Function1实现。但是，我还是不完全明白，奇怪吗？现在，我就快到了…我如何用逆变来解决下面的问题：

class GarbageCan[-A] {

  def doSomething(a: A): Unit ={
    // do something with 'a' of subtype that is not possible with the supertype
  }

}

def setGarbageCanForPlastic(gc: GarbageCan[PlasticItem]): Unit = {

}

上面的例子摘自http://blog.kamkor.me/covariane-and-contravarianc-in-scala/。关于这个问题的一个很好的解释。层次结构如下：Item（基类）->PlasticItem（子类）->PlasticBottle（子类的子类）

setGarbageCanForPlastic函数接受类型为PlasticItem的GarbageCan。因为参数化类型是逆变的，所以下面的语句是完全合法的：

setGarbageCanForPlastic(new GarbageCan[Item])

现在，doSomething函数接受一个反向的类型参数。如果我不知道该类型是基类“Item”还是子类“PlasticItem”，我如何使用该类型？我可以做一些在子类中允许而在基类中不允许的事情。如果这是一个协变参数，这就没有问题了，子类继承了基类的所有内容。

我弄丢了对吧？...希望有人能帮帮我。

Answer 1

首先，DoSomething方法实际上除了本质上丢弃A之外不能做任何事情，因为它不知道A是什么。为了使其更有用，您需要一个绑定，如类garbageCan[-a<:Item]。

现在，假设SetGarbageCanforPlastic(gc)调用gc.DoSomething（new PlasticItem)。由于GarbageCan[A]中的A是反向的，因此我们有GarbageCan[Item]<:GarbageCan[PlasticItem]<:GarbageCan[PlasticBottle]。实际上，函数调用SetGarbageCanforPlastic(new GarbageCan[Item]))是安全的，因为GarbageCan[Item]的DoSomething可以处理包括PlasticItem在内的任何项；而调用SetGarbageCanforPlastic(new GarbageCan[PlasticBottle]))是不安全的，因为GarbageCan[PlasticBottle]的DoSomething可能无法获取不一定是PlasticItem的