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]) {

}

}