Java语言 泛型讲解案例代码 （泛型类、泛型接口、泛型方法、无界及上下限通配符、泛型对协变和逆变的支持、类型擦除 ...）

package com.xiaoshan.invariance; import java.util.ArrayList; import java.util.List; //泛型对协变和逆变的支持 演示程序 public class InvarianceDemo { static class Super { @Override public String toString() { return "Super{}"; } } static class Sub extends Super { @Override public String toString() { return "Sub{}"; } } // public static void test1() { // // // 1、不支持协变 // // 编译不通过：Required type: List <Super>. Provided: ArrayList <Sub> // List<Super> superList1 = new ArrayList<Sub>(); // // // 编译不通过：Required type: List <Super>. Provided: List <Sub> // List<Sub> subList1 = new ArrayList<>(); // List<Super> superList = subList1; // // // // 2、不支持逆变 // // 编译不通过：Required type: List <Sub>. Provided: ArrayList <Super> // List<Sub> subList2 = new ArrayList<Super>(); // // // 编译不通过：Required type: List <Sub>. Provided: List <Super> // List<Super> superList2 = new ArrayList<>(); // List<Sub> subList = superList2; // } public static void test2() { // 1、实现协变 // 创建一个泛型为 Super 的列表 list，其类型为 List<? extends Super> List<? extends Super> list = new ArrayList<Super>(); // 创建一个子类为 Sub 的列表 subList 并向其中添加两个新的 Sub 对象 List<Sub> subList = new ArrayList<>(); subList.add(new Sub()); subList.add(new Sub()); // 将 subList 赋值给 list 变量，因为 subList 是一个子类列表，可以赋值给泛型为 Super 的列表 list = subList; System.out.println(list); // 2、实现逆变 // 创建一个泛型为 Sub 的超类列表 list2，其类型为 List<? super Sub> List<? super Sub> list2 = new ArrayList<Sub>(); // 创建一个超类为 Super 的列表 superList 并向其中添加两个新的 Super 对象 List<Super> superList = new ArrayList<>(); superList.add(new Super()); superList.add(new Super()); // 将 superList 赋值给 list2 变量，因为 superList 是一个超类列表，可以赋值给泛型为 Sub 的列表 list2 = superList; System.out.println(list2); } public static void main(String[] args) { test2(); } }