泛型是什么?
泛型本质上是一种参数类型 ,这种参数类型可以用在类、接口和方法中,分别被称为泛型类、泛型接口、泛型方法。
为什么使用泛型?
简单点来说,使用泛型可以在写代码时先不确定具体的数据类型,而在使用时再确定,这样会让你的代码更加灵活和安全。
泛型的使用
泛型可以用在类、接口和方法中,分别被称为泛型类
、泛型接口
、泛型方法
(只举一个例子)。
java
// 泛型方法
public <T> T genericityMethod(T t) {
/**
* <T> 声明这是一个泛型方法,持有一个泛型T,然后才可以用泛型T作为方法的返回值
* T 方法的返回值为类型T
* T t 入参为泛型,使用是再确定
*/
return t;
}
泛型中类型擦除
Java泛型的实现采取了"伪泛型"的策略 ,即Java在语法上支持泛型,但是在编译阶段会进行所谓的"类型擦除",将所有的泛型表示都替换为具体的类型。
原理:根据类型参数的上下界推断并替换所有的类型参数为原生态类型:如果类型参数是无限制通配符或没有上下界限定则替换为Object,如果存在上下界限定则根据子类替换原则取类型参数的最左边限定类型
- 无限制类型擦除
如果类型参数是无限制通配符或没有上下界限定则替换为Object。
- 有限制类型擦除
如果存在上下界限定则根据子类替换原则取类型参数的最左边限定类型,< T extends String>和<? extends String>的类型参数被替换为Number,<? super String>被替换为Object。
类型擦除引起的问题
- 泛型类型变量不能是基本数据类型
如果是ArrayList< int >,当类型擦除后,ArrayList的原始类型变为Object,但是Object类型不能存储int值,只能引用Integer的值。
- 无法创建泛型类型的实例
由于类型擦除,无法直接使用泛型类型参数来创建实例。例如,无法直接创建 new T()。
- 无法重载泛型方法
Java中不允许重载泛型方法,因为擦除会导致在字节码中多个泛型方法的签名相同。
总结
由于泛型是编译时类型检查,当我们使用集合时,限制了向集合存入的类型(加入其它类型时会报错),使用时也不需要进行类型强制转换,增加了代码可读性。