Java泛型知识点总结

为什么需要泛型

1. 适用于多种数据类型执行相同的代码。
2. 比如:

List list = new ArrayList<>()
list.add("aa");
list.add("bb");
list.add(123);
因为List里面可以放object，所以上面没问题。
但是在取出元素用的时候 就容易出现 int转成string报错ClassCastException。
而使用泛型
List<String>lisit = new ArrayList<>();
在编译期不允许使用String,就避免了这样的隐藏问题。

泛型类和泛型接口

引入一个类型变量T（其他大写字母都可以，不过常用的就是T，E，K，V等等），并且用<>括起来，并放在类名的后面。泛型类是允许有多个类型变量的。

//泛型类
public class Generic <T extends Cloneable & List & Serializable>{
    private T data;
    public Generic(T data) {
        this.data = data;
    }
    public T getData() {
        return data;
    }
    public void setData(T data) {
        this.data = data;
    }
}
//泛型接口
public interface GenericImp<T> {
    public T next();
}

javac之后的class文件:

实现泛型接口的方式有两种:

泛型方法

泛型的限定变量

泛型的约束和局限性

泛型的通配符

？ extends X 表示类型的上界，类型参数是X的子类
？ super X 表示类型的下界，类型参数是X的超类

虚拟机如何识别泛型

泛型擦除，所以下面的代码不能被编译通过。

    static void setMethod(List<String>data){

    }
    static void setMethod(List<Integer>data){

    }

翻看字节码可以看到为什么:List和List在编译成class的时候 被擦除掉了，变成了List,这也就是为什么上面的代码编译不通过的原因:不符合重载规则。但是泛型实际的类型被这个字段记录了signature