Java 逆变、协变和类型擦除

最近开发中遇到一些问题，我在父类的基础上定义了不同的子类，简单说

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，我们不去讨论这个逆变以及协变的设计是否有缺陷，但是我们发现这样确实能带给我们开发的便利~~