Scala中的协方差

Question

我正在学习Scala中的函数式编程原理,在学习子类型和泛型时,我对协方差有一个困惑：

给定:nonempty<:intset或nonempty是intset的子类型

val nonEmpty: List[NonEmpty] = null
val intSet: List[IntSet] = nonEmpty 

编辑：

下面是intset,NonEmpty,list的定义：

abstract class IntSet {
  def contains(x: Int): Boolean
  def incl(x: Int): IntSet
  def union(other: IntSet): IntSet
}

class NonEmpty(elem: Int, left: IntSet, right: IntSet) extends IntSet {...}

trait List[T] {
  def isEmpty: Boolean
  def head: T
  def tail: List[T]
}

Answer 1

问题在于您对列表的定义；它的类型参数没有前缀+以指示类型参数是协变的。将其更改为：

trait List[+T] {
  def isEmpty: Boolean
  def head: T
  def tail: List[T]
}