自定义泛型

自定义泛型

package com.sq.sgg;

import org.junit.Test;

import java.util.ArrayList;

/*
    自定义泛型结构：泛型类、泛型接口
        1.泛型类可能有多个参数，此时应将多个参数一起放在尖括号内。比如：
            <E1,E2,E3>
        2.泛型类的构造器如下：
                public GenericClass(){}.
          而下面是错误的：
                public GenericClass<E>(){}
        3.实例化后，操作原来泛型位置的结构必须与指定的泛型类型一致。
        4.泛型不同的引用不能相互赋值。
            > 尽管在编译时 ArrayList<String> 和 ArrayList<Integer> 是两种类型，
              但是，在运行时只有一个 ArrayList 被加载到 JVM 中。
        5.泛型如果不确定，将被擦除，泛型对应的类型均按照 Object 处理，但不等价于 Object。
          经验：泛型要使用一路都用。要不用，一路都不用。
        6.如果泛型结构是一个接口或抽象类，则不可创建泛型类的对象。
        7.jdk1.7，泛型的简化操作：ArrayList<Fruit> flist = new ArrayList<>();
        8.泛型的指定中不能使用基本数据类型，可以使用包装类替换。
        9.在类/接口上声明的泛型，在本类或本接口中即代表某种类型，可以作为非静态属性的类型、
          非静态方法的参数类型、非静态方法的返回值类型。但在静态方法中不能使用类的泛型。
        10.异常类不能是泛型的
        11.不能使用 new E[]。但是可以：E[] elements = (E[]new Object[capacity]);
           参考：ArrayList源码中声明：Object[] elementData，而非泛型参数类型数组。
        12.父类有泛型，子类可以选择保留泛型也可以选择指定泛型类型;
            · 子类不保留父类的泛型：按需实现
                > 没有类型 擦除
                > 具体类型
            · 子类保留父类的泛型：泛型子类
                > 全部保留
                > 部分保留
            结论：子类必须是"富二代"，子类除了指定或保留父类的泛型，还可以增加自己的泛型。

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

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

        // 建议：实例化时指明类的泛型
        Order<String> order1 = new Order<String>("orderAA", 1001, "order:AA");
//        System.out.println(order1);//Order{orderName='orderAA', orderId=1001, orderT=order:AA}
        order1.setOrderT("AA:hello");
//        System.out.println(order1);//Order{orderName='orderAA', orderId=1001, orderT=AA:hello}
    }

    @Test
    public void test2(){
        SubOrder sub1 = new SubOrder();
        // 由于子类在继承带泛型的父类时，指明了泛型类型。则实例化子类对象时，不再需要指明泛型。
        sub1.setOrderId(1122);
//        System.out.println(sub1);//Order{orderName='null', orderId=1122, orderT=null}

        SubOrder1<String> sub2 = new SubOrder1<>();
        sub2.setOrderT("order2...");
//        System.out.println(sub2);//Order{orderName='null', orderId=0, orderT=order2...}
    }

    @Test
    public void test3(){
        ArrayList<String> list1 = null;
        ArrayList<Integer> list2 = new ArrayList<>();
        // 泛型不同的引用不能相互赋值
//        list1 = list2;// 编译不通过

        Person p1 = null;
        Person p2 = null;
        p1 = p2;
    }
    
    // 测试泛型方法
    @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);
    }
}

package com.sq.sgg;
import java.util.List;

/*
    自定义泛型类
 */
public class Order<T> {

    String orderName;
    int orderId;

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

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

        // 编译通过
        // 数据必须放 T 或 T 的子类对象
        T[] arr = (T[]) new Object[10];
    }

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

    @Override
    public String toString() {
        return "Order{" +
                "orderName='" + orderName + '\'' +
                ", orderId=" + orderId +
                ", orderT=" + orderT +
                '}';
    }

    public String getOrderName() {
        return orderName;
    }

    public void setOrderName(String orderName) {
        this.orderName = orderName;
    }

    public int getOrderId() {
        return orderId;
    }

    public void setOrderId(int orderId) {
        this.orderId = orderId;
    }

    // 如下的三个方法都不是泛型方法
    public T getOrderT() {
        return orderT;
    }

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

    // 静态方法中不能使用类的泛型
    /*
        类的泛型在 实例化 的时候指定创建
        静态结构早于对象的创建
     */
//    public static void show(T orderT){
//        System.out.println(orderT);
//    }

    // 异常类不能是泛型的
    public void show(){
        //编译不通过
//        try{
//
//        } catch (T t){
//
//        }
    }
    
    // 泛型方法：在方法中出现了泛型的结构，泛型参数与类的泛型参数没有任何关系。
    // 换句话说，泛型方法所属的类是不是泛型类都没有关系。
    // 泛型方法，可以声明为静态的。原因：泛型参数时在调用方法时确定的。并非在实例化类时确定
    public static <E> List<E> copyFromArrayToList(E[] arr){
        ArrayList<E> list = new ArrayList<>();
        for(E e : arr){
            list.add(e);
        }
        return list;
    }
}

package com.sq.sgg;

// 异常类不能声明为泛型类
//public class MyException<T> extends Exception{
//}

package com.sq.sgg;

public class Person {
}

package com.sq.sgg;

public class SubOrder1<T> extends Order<T>{//SubOrder1<T>:仍然是泛型类
}

package com.sq.sgg;

public class SubOrder extends Order<Integer> {//SubOrder:不是泛型类
	public static <E> List<E> copyFromArrayToList(E[] arr){
        ArrayList<E> list = new ArrayList<>();
        for(E e : arr){
            list.add(e);
        }
        return list;
    }
}

package com.sq.sgg;

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<T1,T2> extends Father<T1,T2>{
}
// 2) 全部保留
class Son4<T2> extends Father<Integer,T2>{
}

// 子类不保留父类的泛型
// 1) 没有类型 擦除
class ErZi1<A,B> extends Father{// 等价于 class Son extends Father<Object,Object>{
}
// 2) 具体类型
class ErZi2<A,B> extends Father<Integer,String>{
}
// 子类保留父类的泛型
// 1) 全部保留
class ErZi3<T1,T2,A,B> extends  Father<T1,T2>{
}
// 2) 部分保留
class ErZi4<T2,A,B> extends Father<Integer,T2>{
}