Java中数组协变和范型不变性踩坑记录
前言
变性是OOP语言不变的大坑，Java的数组协变就是其中的一口老坑。因为最近踩到了，便做一个记录。顺便也提一下范型的变性。
解释数组协变之前，先明确三个相关的概念，协变、不变和逆变。
下面话不多说了，来一起看看详细的介绍吧
一、协变、不变、逆变
假设，我为一家餐馆写了这样一段代码
classSoup{ publicvoidadd(Tt){} } classVegetable{} classCarrotextendsVegetable{}
有一个范型类Soup
那么问题来了，Soup
第一反应，Soup
Soupsoup=newSoup (); soup.add(newTomato());
第一句没问题，Soup
但是，两句放在一起却有了问题。soup的实际类型是Soup
那么，Soup
（1）如果Soup
（2）如果Soup
（3）如果Soup
理解了协变、不变和逆变的概念，再看Java的实现。Java的一般泛型是不变的，也就是说Soup
二、数组协变
Java中，数组是基本类型，不是泛型，不存在Array
与泛型的不变性不同，Java的数组是协变的。也就是说，Carrot[]是Vegetable[]的子类。而上一节中的例子已经表明，协变有时会引发问题。比如下面这段代码
Vegetable[]vegetables=newCarrot[10]; vegetables[0]=newTomato();//运行期错误
因为数组是协变的，编译器允许把Carrot[10]赋值给Vegetable[]类型的变量，所以这段代码可以顺利通过编译。只有在运行期，JVM真的试图往一堆胡萝卜中插入一个西红柿的时候，才发现大事不好。所以，上面的代码在运行期会抛出一个java.lang.ArrayStoreException类型的异常。
数组协变性，是Java的著名历史包袱之一。使用数组时，千万要小心！
如果把例子中的数组替换为List，情况就不同了。就像这样
ArrayListvegetables=newArrayList ();//编译期错误 vegetables.add(newTomato());
ArrayList是一个泛型类，它是不变的。所以，ArrayList
两段代码虽然都会报错，但通常情况下，编译期错误总比运行期错误好处理一些。
三、当泛型也想要协变、逆变
泛型是不变的，但某些场景里我们还是希望它能协变起来。比如，有一个天天喝蔬菜汤减肥的小姐姐
classGirl{
publicvoiddrink(Soupsoup){}
}
我们希望drink方法可以接受各种不同的蔬菜汤，包括Soup
要实现这一点，应该采用一种类似于协变性的写法
publicvoiddrink(Soupsoup){}
意思是，参数soup的类型是泛型类Soup
但是，这种方法有一个限制。编译器只知道泛型参数是Vegetable的子类，却不知道它具体是什么。所以，所有非null的泛型类型参数均被视为不安全的。说起来很拗口，其实很简单。直接上代码
publicvoiddrink(Soupsoup){
soup.add(newTomato());//错误
soup.add(null);//正确
}
方法内的第一句会在编译期报错。因为编译器只知道add方法的参数是Vegetable的子类，却不知道它具体是Carrot、Tomato、或者其他的什么类型。这时，传递一个具体类型的实例一律被视为不安全的。即使soup真的是Soup
但是方法内的第二句是正确的。因为参数是null，它可以是任何合法的类型。编译器认为它是安全的。
同样，也有一种类似于逆变的方法
publicvoiddrink(Soupsoup){}
这时，Soup
这种情况就不存在上面的限制了，下面的代码毫无问题
publicvoiddrink(Soupsoup){
soup.add(newTomato());
}
Tomato是Vegetable的子类，自然也是Vegetable父类的子类。所以，编译期就可以确定类型是安全的。
总结
以上就是这篇文章的全部内容了，希望本文的内容对大家的学习或者工作具有一定的参考学习价值，如果有疑问大家可以留言交流，谢谢大家对毛票票的支持。
声明：本文内容来源于网络，版权归原作者所有，内容由互联网用户自发贡献自行上传，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任。如果您发现有涉嫌版权的内容，欢迎发送邮件至：czq8825#qq.com（发邮件时，请将#更换为@）进行举报，并提供相关证据，一经查实，本站将立刻删除涉嫌侵权内容。