内容参考了以下两篇博客:
http://www.cnblogs.com/lemontea/archive/2013/02/17/2915065.html
http://www.cnblogs.com/Ninputer/archive/2008/11/22/generic_covariant.html
假设有这样两个类型:TSub是TParent的子类,显然TSub型引用是可以安全转换为TParent型引用的。如果一个泛型接口IFoo
kotlin中有out和in关键字来表示协变和逆变,我们通过out的两个来认识什么是逆变:
1. 泛型只能在返回值中出现
2. 只能进行子类向父类的转型
eg:
//有如下两个类
//1.不支持逆变与协变
MyFuncA
//2.支持协变
MyFuncB
//现对其进行初始化然后转型
MyFuncA
代码中可以看出使用了协变的泛型对象MyFuncB
其实以上的两条含义只是一条,只不过在不同的场景下表现不一样而已,我们一起来看一下:
假设有这样一个方法:
String Base
{
void Test(T t)
}
泛型协变的,但我们允许有方法可以在参数中使用泛型(实际上这样是不行的,这里我们通过反正法证明来证明这一结论)
Base BaseObject = null;
Base BaseString = null;
BaseObject = BaseString;
BaseObject.Test("");
我们来看一下函数的调用过程:
BaseObject被BaseString初始化,所以
BaseObject.Test("")的调用实质上是调用BaseString.Test(""),而BaseString中要的泛型T是string,而实际BaseObject给出的泛型T是object,
object无法向下转型为string,因此出现类型转换的异常。
逆变性反之也是一样的推导,由于进行的是父类向子类的转型,在返回值返回的时候要求的是子类的泛型,但实际上是调用父类的方法返回了父类,同样出现了向下转型的错误,因此逆变性中泛型只能在传入参数中使用,不能在返回值中使用。
eg:
//过程同上
T Base.Test()
泛型逆变的,但我们允许有方法可以在返回值中使用泛型(实际上这样是不行的,这里我们同样通过反正法证明来证明这一结论)
Base BaseObject = null;
Base BaseString = null;
BaseString = BaseObject ;
BaseString.Test();
只要按照协变时的调用方法看代码的调用就会发现我们在返回值的时候得到的是object,而我们要的是string,同样出现向下转型的错误。
另外有需要云服务器可以了解下创新互联scvps.cn,海内外云服务器15元起步,三天无理由+7*72小时售后在线,公司持有idc许可证,提供“云服务器、裸金属服务器、高防服务器、香港服务器、美国服务器、虚拟主机、免备案服务器”等云主机租用服务以及企业上云的综合解决方案,具有“安全稳定、简单易用、服务可用性高、性价比高”等特点与优势,专为企业上云打造定制,能够满足用户丰富、多元化的应用场景需求。