kotlin中的高级特性--协变与逆变（反变）

逆变性与协变性是kotlin中相对于java的新特性，这个成为不少java转kotlin学习的一个坎，在这篇文章里我将详细介绍和推导逆变性与协变性的由来。

内容参考了以下两篇博客：
http://www.cnblogs.com/lemontea/archive/2013/02/17/2915065.html
http://www.cnblogs.com/Ninputer/archive/2008/11/22/generic_covariant.html

在此之前我们需要明白一个大前提：

java不允许向下转型（父类转换成子类）

定义

假设有这样两个类型：TSub是TParent的子类，显然TSub型引用是可以安全转换为TParent型引用的。如果一个泛型接口IFoo，IFoo可以转换为IFoo的话，我们称这个过程为协变，而且说这个泛型接口支持对T的协变。而如果一个泛型接口IBar，IBar可以转换为T的话，我们称这个过程为反变（contravariant），而且说这个接口支持对T的反变。因此很好理解，如果一个可变性和子类到父类转换的方向一样，就称作协变；而如果和子类到父类的转换方向相反，就叫反变性。

我们来具体看一下体现到kotlin语法中是什么样的

kotlin中有out和in关键字来表示协变和逆变，我们通过out的两个来认识什么是逆变：
1. 泛型只能在返回值中出现
2. 只能进行子类向父类的转型

eg：
//有如下两个类
//1.不支持逆变与协变
MyFuncA
//2.支持协变
MyFuncB
//现对其进行初始化然后转型
MyFuncA