泛型学习笔记

目录

1、泛型本质

2、为什么使用泛型

3、如何使用泛型

4、泛型通配符

5、与区别

6、泛型中KTVE的含义

7、泛型擦除规则及原理

---

一、泛型本质

Java 泛型（generics）是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。

泛型的本质是参数化类型，即给类型指定一个参数，然后在使用时再指定此参数具体的值，那样这个类型就可以在使用时决定了。这种参数类型可以用在类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。

二、为什么使用泛型

泛型的好处是在编译的时候检查类型安全，并且所有的强制转换都是自动和隐式的，提高代码的重用率。

1、保证了类型的安全性。

在没有泛型之前，从集合中读取到的每一个对象都必须进行类型转换，如果不小心插入了错误的类型对象，在运行时的转换处理就会出错

2、消除强制转换

泛型的一个附带好处是，消除源代码中的许多强制类型转换，这使得代码更加可读，并且减少了出错机会。

3、避免了不必要的装箱、拆箱操作，提高程序的性能

4、提高了代码的重用性。

三、如何使用泛型

泛型有三种使用方式，分别为：泛型类、泛型接口和泛型方法。

1、泛型类

泛型类：把泛型定义在类上定义格式：

注意事项：泛型类型必须是引用类型（非基本数据类型）

2、泛型接口

泛型接口：把泛型定义在接口上

3、泛型方法

四、泛型通配符

Java泛型的通配符是用于解决泛型之间引用传递问题的特殊语法, 主要有以下三类

1、无界：可以试任意类型

2、上界<? extends T> extends

List<? extends A> list = new ArrayList<X>();  // X为A子类

•  <? extends T> extends关键字声明了类型的上界，表示参数化类型是该类型或其子类
•  <? extends T>不能往里存（因为不知道右边X下限子类是多少），只能往外取（取到就是T，因为最高就是T）

3、下界<? super T>

List<? super A> list = new ArrayList<X>();  // X为A父类

• <? super T> super 关键字声明了类型的下界，表示参数化的类型是该类型或其父类
• <? super T>不影响往里存（必须是T或者其子类，因为最低就是T），但往外取只能放在Object对象里（不确定父类是多少，但唯一确认最高父类是Object）

备注：<? extends T> 放到类或者接口上同理，主要理解上界以及下界的约束控制原理

<? super T>不可以放到类或者接口级别上：因为类型擦除后变为<Object>，Object又是所有类型的父类型，所有类型就都可以作为T，是没有意义的事情

五、<?>与<T>区别

1、<T>适用于声明

2、<?>适用于使用

六、泛型中KTVE的含义

常见泛型参数名称有如下：

E： Element (在集合中使用，因为集合中存放的是元素)

T：Type（Java 类）

K： Key（键）

V： Value（值）

 N： Number（数值类型）

？： 表示不确定的java类型

七、泛型擦除规则及原理

1、擦除类定义中的类型参数 - 无限制类型擦除 ---方法的擦除同理

当类定义中的类型参数没有任何限制时，在类型擦除中直接被替换为Object，即形如<T>和<?>的类型参数都被替换为Object。

2、擦除类定义中的类型参数 - 有限制类型擦除  ---方法的擦除同理

        <T extends Number>的类型参数被替换为Numbe

        <? super Number>被替换为Object。

3、异常是不能使用泛型，

假设我们可以在cathc中使用泛型变量，在泛型擦除后，T会被替换为Throwable，catch中的继承关系被打破，因此必然不被允许。

•