第50讲：Scala中Variance变化点

package com.parllay.scala.oop

/**
* Created by richard on 15-8-4.
* 第50讲：Scala中Variance变化点
*/

class Animal
class Bird extends Animal
class Chicken extends Animal

class Pair22[+T](var p: T){
//def haveLegs(p1: T) = println("")
}

object Variance_Point {

/**
根据Liskov替换原则，如果A是B的子类，那么能适用于B的所有操作，都适用于A。
让我们看看这边Function1的定义，是否满足这样的条件。
假设Bird是Animal的子类，那么看看下面两个函数之间是什么关系：

def f1(x: Bird): Animal // instance of Function1[Bird, Animal]
def f2(x: Animal): Bird // instance of Function1[Animal, Bird]
在这里f2的类型是f1的类型的子类。为什么？

我们先看一下参数类型，根据Liskov替换原则，f1能够接受的参数，f2也能接受。
在这里f1接受的Bird类型，f2显然可以接受，因为Bird对象可以被当做其父类Animal的对象来使用。

再看返回类型，f1的返回值可以被当做Animal的实例使用，f2的返回值可以被当做Bird的实例使用，
当然也可以被当做Animal的实例使用。

所以我们说，函数的参数类型是逆变的，而函数的返回类型是协变的。

那么我们在定义Scala类的时候，是不是可以随便指定泛型类型为协变或者逆变呢？答案是否定的。
通过上面的例子可以看出，如果将Function1的参数类型定义为协变，或者返回类型定义为逆变，
都会违反Liskov替换原则，因此，Scala规定，协变类型只能作为方法的返回类型，
而逆变类型只能作为方法的参数类型。类比函数的行为，结合Liskov替换原则，
就能发现这样的规定是非常合理的。
* @param args
*/
def main(args: Array[String]) {

}

}