最近开发中遇到一些问题,我在父类的基础上定义了不同的子类,简单说
public class Father{
private int a;
private int b;
}
public class ChildFirst extends Father{
private String aa;
}
public class ChildSecond extends Father{
private String bb;
}
我现在需要从后台取他们的数据,返回一个List,我实际需要使用的只有父类的两个属性,于是我就有了这样的代码
List<Father> list1 = getFatherFromNet();
List<ChildFirst> list2 = getChildFirstFromNet();
list3 ...
后台需要实现三个接口,很不方便,我想着能不能用一个接口实现,于是这样
List<Father> list1;
List<ChildFirst> list2;
就可能会有下面的两种代码
1. list1.addAll(list2);
2. list1 = list2;
addAll还好说,可能会过,但是list1 = list2 肯定会在编译报错,于是根据Java的多态我想应该没有问题的啊,毕竟可以 father = child这样写。为什么List中就会报编译错误呢。这就是类型擦除,之前在看书的时候不是很懂,List的源码中有一个泛型T 其实就是Object,List在编译的时候其中的T都会被擦除掉之前的类型,所以编译器不会知道之中的类型有继承关系,难道我们就没有办法了吗,有的也就是所说的逆变和协变。
List<? extends Father> list
这样就表示list接收的类型包括Father以及子类,满足我们只用父类属性的需求,也就是Java的协变
反过来
List<? super ChildFirst> list
这样就表示list可以接受ChildFirst及其父类,也就是Java的逆变。
关于Java的逆变和协变是Jdk 5.0加入的属性,加入之后便争议不断,有些人认为其破坏了数组的明确性等等,如果我们在
List<? extends Father> list
list.getAa();
很有可能会出现exception,我们不去讨论这个逆变以及协变的设计是否有缺陷,但是我们发现这样确实能带给我们开发的便利~~