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