【JavaSE】十二、泛型

集合中使用泛型

• 集合接口、集合类在jdk5.0时都修改为带泛型的结构
• 实例化集合类时，可以指明具体类型
• 指明完后，在集合类或接口凡是定义类或接口时，内部结构使用到类的泛型的位置，都指定为实例化时泛型类型
• 泛型的类型必须是类，不能是基本数据类型【要用包装类】
• 实例化时，没指明泛型类型，则默认类型为java.lang.Object

自定义泛型结构

泛型类、泛型接口

public class Order<T> {
    private String name;
    private int orderId;
    private T orderT;
    public Order(){
        //T[] arr = new T[10];编译不通过
        T[] arr=(T[])new Object[10];
    }

    public Order(String name, int orderId, T orderT) {
        this.name = name;
        this.orderId = orderId;
        this.orderT = orderT;
    }
}

• 若定义的类是带泛型的，建议实例化时指明类的泛型【否则默认其泛型为Object类型】
• 泛型类的构造器不需要加
• 实例化后操作原来泛型位置的结构必须与泛型类型一致
• 泛型不同的引用不能相互赋值
• 静态方法不能用类的泛型【因为静态方法随着类的加载而加载，此时还未指明泛型类型】
• 异常类不能是泛型的

泛型在继承方面的体现

• 子类在继承带泛型的父类时，若指明了泛型类型，则实例化子类对象时，不再需要指明泛型
• 类A是类B的父亲，G<A>和G<B>不具备子父类关系，是并列关系
• 类A是类B的父亲，A<G>是A<G>的父类

public class Father <T1,T2>{
}
//子类不保留父类类型
    //1.没有类型，擦除
class Son1 extends Father{//等价于class Son extends Father<Object,Object>{
}
    //2.具体类型
class Son2 extends Father<Integer,String>{
}
//子类保留父类的类型
    //1.全部保留
class Son3 extends Father<T1,T2>{
}
    //2.部分保留
class Son4 extends Father<Integer,T2>{
}

泛型方法

方法中出现了泛型的结构，泛型参数与类的泛型参数没有任何关系

泛型方法所在类是不是泛型类都没关系

public <E> List<E> copyFromArray(E[] arr){
        ArrayList<E> list=new ArrayList<>();
        for (E e:arr){
            list.add(e);
        }
        return list;
    }

泛型方法在调用时，指明泛型参数的类型

public static void main(String[] args) {
        Order<String> o=new Order<>();
        Integer[] arr=new Integer[]{1,2,3,4};
        List<Integer> list=o.copyFromArray(arr);
        System.out.println(list);
    }

通配符：？

• 类A是类B的父亲，G<A>和G<B>不具备子父类关系，二者共有父类为G<?>
• List<?>就不能向其内部添加null之外的数据
• 允许读取数据，数据类型为Object
• 指定上限：指定的类型必须是继承某个类，或实现某个接口
  • <? extends Number>：只允许泛型为Number及其子类的引用调用 - 仅能写入Number类
  • <? extends Comparable>：只允许泛型为实现Comparable接口的实现类的调用
• 指定下限：使用时指定的类型不能小于操作的类
  • <? super Number>：只允许泛型为Number及其父类的引用调用 - 可以写入Object以下的所有类型