泛型 --java学习笔记

什么是泛型

定义类、接口、方法时，同时声明了一个或者多个类型变量（如：<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文件中就不存在泛型了，这就是泛型擦除
• 泛型不支持基本数据类型，只支持引用数据类型