Java自定义泛型类、泛型接口、泛型方法以及 泛型擦除的细节

体会：使用泛型的主要优点是能够在编译时而不是在运行时检测错误。

/**
 * 自定义泛型类

 */
public class Order<T> {

    String orderName;
    int orderId;

    //类的内部结构就可以使用类的泛型

    T orderT;

    public Order(){
        //编译不通过
//        T[] arr = new T[10];
        //编译通过
        T[] arr = (T[]) new Object[10];
    }

    public Order(String orderName,int orderId,T orderT){//第三个属性是泛型T
        this.orderName = orderName;
        this.orderId = orderId;
        this.orderT = orderT;
    }

    //如下的三个方法都不是泛型方法
//    使用T类型定义一般方法
    public T getOrderT(){
        return orderT;
    }

    public void setOrderT(T orderT){
        this.orderT = orderT;
    }

    @Override
    public String toString() {
        return "Order{" +
                "orderName='" + orderName + '\'' +
                ", orderId=" + orderId +
                ", orderT=" + orderT +
                '}';
    }
    //静态方法中不能使用类的泛型。
//    public static void show(T orderT){
//        System.out.println(orderT);
//    }

    public void show(){
        //编译不通过
//        try{
//
//
//        }catch(T t){
//
//        }

    }

/** 如何自定义泛型结构：泛型类、泛型接口；泛型方法。
 *
 * 1. 关于自定义泛型类、泛型接口：
 *

 *
 */
public class GenericTest1 {

    @Test
    public void test1(){
        //如果定义了泛型类，实例化没有指明类的泛型，则认为此泛型类型为Object类型
        //要求：如果大家定义了类是带泛型的，建议在实例化时要指明类的泛型。
        Order order = new Order();
        order.setOrderT(123);
        order.setOrderT("ABC");

        //建议：实例化时指明类的泛型
        Order<String> order1 = new Order<String>("orderAA",1001,"order:AA");

        order1.setOrderT("AA:hello");

    }
===================================================================

    子类SubOrder
    public class SubOrder extends Order<Integer> {//SubOrder:不是泛型类
								//指定orderT是Integer类型

    public static <E> List<E> copyFromArrayToList(E[] arr){

        ArrayList<E> list = new ArrayList<>();

        for(E e : arr){
            list.add(e);
        }
        return list;

    }
}
        @Test
    public void test2(){
        SubOrder sub1 = new SubOrder();
        //由于子类在继承带泛型的父类时，指明了泛型类型。则实例化子类对象时，不再需要指明泛型。
   //若public class SubOrder1<T> extends Order<T> {//SubOrder1<T>:仍然是泛型类

        sub1.setOrderT(1122);

        SubOrder1<String> sub2 = new SubOrder1<>();
        sub2.setOrderT("order2...");
    }

    @Test
    public void test3(){

        ArrayList<String> list1 = null;
        ArrayList<Integer> list2 = new ArrayList<Integer>();
        //泛型不同的引用不能相互赋值。
//        list1 = list2;

        Person p1 = null;
        Person p2 = null;
        p1 = p2;


    }


}

细节：

• 1.泛型类可能有多个参数，此时应将多个参数一起放在尖括号内。比如：<E1,E2,E3>

• 2.泛型类的构造器如下：public GenericClass(){}。而下面是错误的：public GenericClass < E >(){}

• 3.实例化后，操作原来泛型位置的结构必须与指定的泛型类型一致。

• 4.泛型不同的引用不能相互赋值。>尽管在编译时ArrayList和ArrayList是两种类型，但是，在运行时只有一个ArrayList被加载到JVM中。

• 5.泛型如果不指定，将被擦除，泛型对应的类型均按照Object处理，但不等价于Object。–经验：泛型要使用一路都用。要不用，一路都不要用。

• 6.如果泛型结构是一个接口或抽象类，则不可创建泛型类的对象。（接口和抽象类不能直接实例化,需要通过实现类或子类）

• 7.jdk1.7，泛型的简化操作：ArrayList flist = new ArrayList<>();

• 8.泛型的指定中不能使用基本数据类型，可以使用包装类替换。

• 9.在类/接口上声明的泛型，在本类或本接口中即代表某种类型，可以作为非静态属性的类型、非静态方法的参数类型、非静态方法的返回值类型。但在静态方法中不能使用类的泛型。（因为泛型在实例化时才去指定类型）

• 10.异常类不能是泛型的

• 11.不能使用new E[]。但是可以：E[] elements = (E[])new Object[capacity];参考：ArrayList源码中声明：Object[] elementData，而非泛型参数类型数组。

• 12.父类有泛型，子类可以选择保留泛型也可以选择指定泛型类型：

  ​ 子类不保留父类的泛型：按需实现

  • 没有类型 擦除

  • 具体类型

  子类保留父类的泛型：泛型子类

  • 全部保留
  • 部分保留
  • 结论：子类必须是“富二代”，子类除了指定或保留父类的泛型，还可以增加自己的泛型。

泛型擦除：

泛型方法

方法，也可以被泛型化，不管此时定义在其中的类是不是泛型类。在泛型方法中可以定义泛型参数，此时，参数的类型就是传入数据的类型。

    //测试泛型方法
    @Test
    public void test4(){
        //创建泛型类的对象
        Order<String> order = new Order<>();
        
        Integer[] arr = new Integer[]{1,2,3,4};
 
        //泛型方法在调用时，指明泛型参数的类型。和泛型类的类型无关。
        List<Integer> list = order.copyFromArrayToList(arr);
        System.out.println(list);
    }

    //泛型方法：在方法中出现了泛型的结构，泛型参数与类的泛型参数没有任何关系。
    //换句话说，泛型方法所属的类是不是泛型类都没有关系。
    //
    public static <E>  List<E> copyFromArrayToList(E[] arr){

        ArrayList<E> list = new ArrayList<>();

        for(E e : arr){
            list.add(e);
        }
        return list;

    }

泛型方法，可以声明为静态的。原因：泛型参数是在调用方法时确定的。并非在实例化类时确定。