JAVA泛型

JAVA泛型

泛型提供了编译时类型安全检测机制，可以在编译时检测到非法的类型。泛型是一种参数化类型，类型在定义时被定义成参数的形式，在调用的时候传入具体的类型

泛型只在编译阶段有效

public class Test2 {
    public static void main(String[] args) {
        ArrayList<String> stringArrayList = new ArrayList<String>();
        ArrayList<Integer> integers = new ArrayList<Integer>();
        Class<? extends ArrayList> aClass = stringArrayList.getClass();
        Class<? extends ArrayList> aClass1 = integers.getClass();
        if (aClass.equals(aClass1)) {
            System.out.println(1);
        }
    }
}

最后的输出为1。原因具体看后面的类型擦除

泛型类

泛型可以用于类的定义，典型的是容器类，比如Set，List，Map

定义一个泛型类：

// 泛型类
public class common<T> {

    private T id;

    public common() {
    }

    public common(T id) {
        this.id = id;
    }

    public T getId() {
        return id;
    }

    public void setId(T id) {
        this.id = id;
    }
}

public class test {

    public static void main(String[] args) {

        common<Integer> integercommon = new common<>(1111);
        common<String> stringcommon = new common<String>("jx");
        common common1 = new common("jx");
        common common2 = new common(1111);
        System.out.println(integercommon.getId());
        System.out.println(stringcommon.getId());
        System.out.println(common1.getId());
        System.out.println(common2.getId());
    }

}

输出结果为：

1111
jx
jx
1111

在使用泛型类的时候传入泛型实参，则会根据传入的类型进行限制。

如果没传入类型的话，就可以传入任何类型

泛型方法

一个泛型方法，在调用的时候可以接收不同类型的参数

public <E> void print(E a) {
    System.out.println(a);
}

类型通配符

类型通配符一般是用？代替具体的类型参数

<? extends T> 表示该通配符代表T的子类 <? super T>表示该通配符代表T的父类 ## 类型擦除 java泛型都是在编译器的层面上实现的，在编译之后，生成的字节码中是不包含任何泛型类型的信息的。 类型擦除的基本过程是找到来替换类型参数的具体类，这个类一般是Object。 如果指定了类型参数的上界的话，那么这个具体类型就是指定的上界