Java中泛型在继承上的体现

泛型在继承上的体现:

1. 泛型在继承方面的体现

虽然类A是类B的父类，但是G<A> 和G<B>二者不具备子父类关系，二者是并列关系。

补充：类A是类B的父类，A 是 B 的父类

 */
@Test
public void test1() {
    Object obj = null;
    String str = null;

    obj = str;

    //泛型不同的引用不能相互赋值。
    //尽管在编译时ArrayList<String>和ArrayList<Integer>是两种类型，但是，
    // 在运行时只 一个ArrayList被加载到JVM中
    ArrayList<Object> list1 = new ArrayList<>();
    ArrayList<String> list2 = new ArrayList<>();
    //此时的list1和list2的类型不具子父类关系
    // list1 = list2;编译不通过

     /*
    反证法：
    假设list1 = list2（list1和list2这时指向堆空间同一地址的空间）可以;
       list1.add(123);导致混入非String的数据。出错。

     */

    show(list1);
    //show(list2);编译不通过
    show1(list2);
}

public void show(List<Object> list) {
    System.out.println(list);
}

public void show1(List<String> list) {
    System.out.println(list);
}

@Test
public void test2() {

    AbstractList<String> list1 = null;
    List<String> list2 = null;
    ArrayList<String> list3 = null;

    list1 = list3;
    list2 = list3;

    List<String> list4 = new ArrayList<>();

}