泛型

概述

什么是泛型

定义类、接口、方法时，同时声明了一个或者多个类型变量，称为泛型类、泛型接口、泛型方法，统称为泛型

public class ArrayList<E>{
    ......
}

作用

泛型提供了在编译阶段约束所能操作的数据类型，并自动进行检查的能力。

这样可以避免强制类型转换，及其可能出现的异常

本质

把具体的数据类型作为参数传给了类型变量

操作

泛型类

修饰符 class 类名<类型变量，类型变量，......>{

}


例如：
    public class ArrayList<E>{
        ......
    }

泛型方法

修饰符<类型变量，类型变量，......> 返回值类型 方法名(形参){}

public static <T> T test(T t){return t;}

通配符

? ，可以在使用泛型的时候代表一切类型，ETKV是在定义泛型的时候使用

泛型的上下限

• 泛型上限：? extends Car：？ 能接收的必须是car或者其子类
• 泛型下限：？super Car：？能接收的必须是cat或者其父类

注意事项

• 泛型是工作在编译阶段的，一旦程序编译成class文件，class文件中就不存在泛型了，这就是泛型的擦除
• 泛型不支持基本数据类型，只能支持对象类型（引用数据类型）