什么是泛型
定义类、接口、方法时,同时声明了一个或者多个类型变量(如:<E>),称为泛型类、泛型接口,泛型方法、它们统称为泛型
可以理解为扑克牌中的癞子,给它什么类型它就是什么类型
如下图所示:
泛型在编译阶段约束我们能操作的数据类型,并且帮我们进行检查,这样可以避免强制类型转换,以及可能出现的异常
原理:
本质:将具体的数据类型作为参数传给类型变量
泛型类
修饰符 class 类名 <类型变量,类型变量,...> { ... }
public class ArrayList<E> { ... }
在定义某个类时,在类名后写个尖括号,并且在里面写上一或多个类型变量,那么这个类就被称之为泛型类
范型可以有多个,可以继承其它类
泛型接口
使用方法与泛型类基本一致
public interface Name<E> { ... }
泛型建议用大写英文字母,常用的有E、T、K、V
泛型方法
修饰符<类型变量,类型变量,...> 返回值类型 方法名(形参列表) { .... }
public static <E> void test (E e){ ... }
在使用泛型时,可以用通配符?,?代表任意类型,同时?也可以设置上限和下限,分别用extends和super,例:
public E get(ArrayList<? super Dog> index){ ... }下限,表示只可以接收Dog及其父类 public E get(ArrayList<? extends Dog> index){ ... }上限,表示只可以接收Dog及其子类
泛型擦除和注意事项:
- 泛型时工作在编译阶段的,一旦程序编译成class文件,class文件中就不存在泛型了,这就是泛型擦除
- 泛型不支持基本数据类型,只支持引用数据类型