泛型
1.泛型的含义
泛型(generics)的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中,分别称为泛型类、泛型接口、泛型方法。
泛型的好处是在编译的时候检查类型安全,并且所有的强制转换都是自动和隐式的,提高代码的重用率。
2.规则和限制
1、泛型的类型参数只能是类类型(包括自定义类),不能是简单类型。
2、同一种泛型可以对应多个版本(因为参数类型是不确定的),不同版本的泛型类实例是不兼容的。
3、泛型的类型参数可以有多个。
4、泛型的参数类型可以使用extends语句。
5、泛型的参数类型还可以是通配符类型。
3.规范
出于规范的目的,Java 建议我们用单个大写字母来代表类型参数。
常见的如:
- T 代表一般的任何类。
- E 代表 Element 的意思,或者 Exception 异常的意思。
- K 代表 Key 的意思。
- V 代表 Value 的意思,通常与 K 一起配合使用。
- S 代表 Subtype 的意思。
4.分类
1.泛型类:
public class Test<T> {
T field;
}
如果一个类用这种形式定义,那么它就被称为是泛型类。
2.泛型方法
public class Test {
public <T> void testMethod(T t){
}
}
泛型方法与泛型类稍有不同的地方是,类型参数也就是尖括号那一部分是写在返回值前面的,泛型类中的 T 被称为类型参数,而方法中的 T 被称为参数化类型,它不是运行时真正的参数。
3.泛型接口
public interface Iterable<T> {
}
5.类型擦除
泛型信息只存在于代码编译阶段,在进入 JVM 之前,与泛型相关的信息会被擦除掉,专业术语叫做类型擦除。通俗地讲,泛型类和普通类在 java 虚拟机内是没有什么特别的地方。
作用:类型擦除,使泛型能够与之前的 java 版本代码兼容共存的原因。
局限:正因为类型擦除导致了一些隐患与局限。
6.注意
(1).泛型类或者泛型方法中,不接受 8 种基本数据类型,需要使用它们对应的包装类。
(2).Java 不能创建具体类型的泛型数组。