函数在参数上是逆变的,但在返回值上是协变的。 默认是这样的。
一个具体对象从操作结果看,既要求逆变,又要求协变,这是类型本身要保持不变。
eg:Array[T] 由于scala数组不支持型变,所以Array[Worker]和Array[Person]不能互相转变。(Worker是Person的子类)若把Array[Worker]赋值给Array[Person]的话,那Array[Person]里的元素可以为Person,这是Array[Worker]里有Person,非法。
class P[+T] (var first : T, val second : T)//把first的类型从val换成了var。报错:在逆变点的位置上出现了协变的变量first。言外之意:first应该是逆变的。
//函数在参数上是逆变的,但在返回值上是协变的。
class P[+T] (val first : T, val second : T){
def replaceFirst[R >: T](newFirst : R) = new P[R](newFirst, second) //正确
//def replaceFirst(newFirst : T) = new P[T](newFirst, second) //方法去掉泛型,并且newFirst换成了T。报错:在逆变点的位置上出现了协变的变量first。
}
型变用在类和方法上,但不会用在对象上,因为对象不存在泛型一说,而型变是基于泛型之上的,所以对象不能型变。
参考资料来源于大数据梦工厂 深入浅出scala 第50讲 由王家林老师讲解