scala – 为什么定义为“cons [B>：A](v：B)”的方法接受的类

trait List[+A] {
  def cons(hd: A): List[A]
}

编译器给你错误：
协变类型A出现在值hd的类型A中的逆变位置
因为方法参数计为逆变位置,但A是协变的.

让我们假设这个方法声明会编译.然后我们可以这样做：

class ListImpl[A] extends List[A] {
  override def cons(hd: A): List[A] = ???
}

val strings: List[String] = new ListImpl[String]
val values: List[Any] = strings // OK,since List[String] <: List[Any] (in List[A],A is covariant)
values.cons(13) // OK(??),since values's static type is List[Any],so argument of cons should be Any,and 13 conforms to type Any

上面的最后一行真的好吗？我们在价值观上称之为利弊. values与字符串相同,字符串是ListImpl [String]类型的对象.因此,最后一行中的cons调用期望String参数,但我们传递Int,因为值的静态类型是List [Any],Int符合Any.这里肯定是错的 – 哪条线应该受到责备？答案是：cons方法声明.要解决这个问题,我们必须从逆变位置(在cons声明中)中删除协变类型参数A.或者,我们可以使A非协变.

另见这些问题：#1,#2.

……没有弊端？

trait List[+A] {
  def cons[B >: A](v: B): List[B]
}

val animal_list: List[Animal] = List(tiger,dog)  // We are assuming that List.apply and concrete implementation of List is somewhere defined.

不,animal_list.cons(tiger)调用是类型正确的.

我认为动物是狗和虎的常见超类型,而狗和虎分别是狗和虎的实例.

在animal_list.cons(tiger)调用中,A和B类型参数都被实例化为Animal,因此cons方法采用以下形式：

def cons[Animal >: Animal](v: Animal): List[Animal]

动物>：满足动物约束,因为：

Supertype and subtype relationships are reflexive,which means a type
is both a supertype and a subtype of itself. [07002]

cons的论点是Tiger,它符合类型Animal,因此方法调用是类型正确的.

请注意,如果强制将B实例化为Tiger,例如animal_list.cons [Tiger](tiger),则此调用将不是类型正确的,并且您将收到编译器错误.

见类似的例子here.