scala - Scala 中的逆变和协变

Question

abstract class Bhanu[-A] { val m:List[A] }  

给予

error: contravariant type A occurs in covariant position in type => List[A] of value m
       abstract class Bhanu[-A] { val m:List[A] }

鉴于

abstract class Bhanu[+A] { val m:List[A] }

给予

defined class Bhanu

关于为什么逆变失败而协变成功，我无法理解这个概念。

其次(来自其他一些例子)，

该声明的确切含义是什么？

Function1[Sport,Int] <: Function1[Tennis,Int] since Tennis <: Sport

这对我来说似乎违反直觉，不应该是以下内容吗？

Function1[Tennis,Int] <: Function1[Sport,Int] since Tennis <: Sport

Answer 1

让我们看一下您提到的第一个示例。考虑我们有:

class Fruit
class Apple extends Fruit
class Banana extends Fruit

class Bhanu[-A](val m: List[A]) // abstract removed for simplicity

自 Bhanu是矛盾的Bhanu[Fruit] <: Bhanu[Apple]所以您可以执行以下操作:

val listOfApples = new List[Apple](...)
val listOfFruits = listOfApples // Since Lists are covariant in Scala 
val a: Bhanu[Fruit] = new Bhanu[Fruit](listOfFruits)
val b: Bhanu[Banana] = a // Since we assume Bhanu is contravariant
val listOfBananas: List[Banana] = b.m
val banana: Banana = listOfBananas(0) // TYPE ERROR! Here object of type Banana is initialized 
                                      // with object of type Apple

因此 Scala 编译器通过限制在协变位置使用逆变类型参数来保护我们免受此类错误。

对于你的第二个问题，让我们也看看这个例子。考虑我们有函数:

val func1: Function1[Tennis,Int] = ...

如果Function1[Tennis,Int] <: Function1[Sport,Int]其中 Tennis <: Sport按照您的建议，我们可以执行以下操作:

val func2: Function1[Sport,Int] = func1
val result: Int = func2(new Swimming(...)) // TYPE ERROR! Since func1 has argument 
                                           // of type Tennis.

但是如果我们制作Function1它的论点是逆变的所以Function1[Sport,Int] <: Function1[Tennis,Int]其中 Tennis <: Sport比:

val func1: Function1[Tennis,Int] = ...
val func2: Function1[Sport,Int] = func1 // COMPILE TIME ERROR!

对于相反的情况，一切都很好:

val func1: Function1[Sport,Int] = ...
val func2: Function1[Tennis,Int] = func1 // OK!
val result1: Int = func1(new Tennis(...)) // OK!
val result2: Int = func2(new Tennis(...)) // OK!

函数的参数类型必须是逆变的，结果类型必须是协变的:

trait Function1[-T, +U] {
  def apply(x: T): U
}