java协变

在java中支持协变的有两种情况：
1、数组 A是B的超类，则A【】也是B【】的超类，所有用到A【】的地方都可以用B【】替换
2、允许 子类的覆盖父类函数的返回值类型 是父类被覆盖返回值类型 的子类

在Java1.4及以前，子类方法如果要覆盖超类的某个方法，必须具有完全相同的方法签名，包括返回值也必须完全一样。
Java5.0放宽了这一限制，只要子类方法与超类方法具有相同的方法签名，或者子类方法的返回值是超类方法的子类型，就可以覆盖。
注意："协变返回(covariant return)"，仅在subclass（子类）的返回类型是superclass（父类）返回类型的extension（继承）时才被容许。

另外，实践表明，就算返回的两个类继承自同一个interface，也无法进行协变。

泛型不支持协变，A是B的超类，List<A>、Set<A>等地方并不能用List<B>、Set<B>来替换。