50.Scala中Variance变化点及其在Spark中的应用源码解析

函数在参数上是逆变的，但在返回值上是协变的。 默认是这样的。

一个具体对象从操作结果看，既要求逆变，又要求协变，这是类型本身要保持不变。

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讲 由王家林老师讲解