Java 基础（一）| 使用泛型的正确姿势

image.png

为跳槽面试做准备，今天开始进入 Java 基础的复习。希望基础不好的同学看完这篇文章，能掌握泛型，而基础好的同学权当复习，希望看完这篇文章能够起一点你的青涩记忆。

一、什么是泛型
泛型，即 “参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？

顾名思义，就是将类型由原来的具体的类型参数化 (动词)，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），

然后在使用 / 调用时传入具体的类型（类型实参）。

泛型的本质是为了参数化类型（在不创建新的类型的情况下，通过泛型指定的不同类型来控制形参具体限制的类型）。也就是说在泛型使用过程中。

操作的数据类型被指定为一个参数，这种参数类型可以用在类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。
1.1 常见的泛型类型变量：
E：元素（Element），多用于 java 集合框架
K：关键字（Key）
N：数字（Number）
T：类型（Type）
V：值（Value）

二、为什么要使用泛型

回答这个问题前，首先举两个栗子，我想打印字符串到控制台，如下代码：

image.png

本身我的 list 是打算装载 String 去打印的，但是大家发现没有？我传入 int 型时（编译期），Java 是没有任何提醒的（顶多是 IDEA 警告）。直到我循环调用（运行期）打印方法，打印 int 型时，Java 才报错：

image.png

第二栗子，我想实现一个可以操作各种类型的加法，如下代码：

image.png

这个加法可以操作 int、float、double 类型，但相应的也必须重写对应的加法，而此时我其实可以就用一个泛型方法就实现了上面三个重载方法的功能。

image.png

所以使用泛型原因有三个：

提高可读性
使 ClassCastException 这种错误在编译期就检测出来
适用于多种数据类型执行相同的代码（代码复用）

三、泛型详解
3.1 泛型类
由我们指定想要传入泛型类中的类型，把泛型定义在类上，用户使用该类的时候，才把类型明确下来，比如：定义一个万能的实体数据暂存工具类。

注意：泛型类在初始化时就把类型确定了

image.png

3.2 泛型方法
有时候我们只想在方法中使用泛型，可以这么定义：

值得注意的是：

与泛型类不同，泛型方法在调用时才确定最终类型

若有返回值，返回值不需要强转

image.png

3.3 泛型接口

泛型接口分两种实现方法：

一是实现类不明确泛型接口的类型参数变量，这时实现类也必须定义类型参数变量（比如下面 Showimpl）

接口：

image.png

二是明确泛型接口的类型参数变量

image.png

3.5 限定泛型类型变量
限定泛型类型上限
其实就是相当于指定了泛型类的父类声明类：类名 <泛型标识 extends 类>{}

在类中使用：

image.png

方法中使用：

定义对象：类名 <泛型标识 extends 类> 对象名称

image.png

限定泛型类型下限
定义对象：类名 <泛型标识 extends 类> 对象名称

与指定上限相反，指定下限定很简单，就是相当于指定了泛型类的子类，不再赘述。

image.png

3.6 通配符类型
<? extends Parent> 指定了泛型类型的上限
<? super Child> 指定了泛型类型的下届
<?> 指定了没有限制的泛型类型
3.7 泛型擦除
泛型是提供给 javac 编译器使用的，它用于限定集合的输入类型，让编译器在源代码级别上，即挡住向集合中插入非法数据。但编译器编译完带有泛形的 java 程序后，生成的 class 文件中将不再带有泛形信息，以此使程序运行效率不受到影响，这个过程称之为 “擦除”。

3.8 泛型的使用规范
1、不能实例化泛型类
2、静态变量或方法不能引用泛型类型变量，但是静态泛型方法是可以的
3、基本类型无法作为泛型类型
4、无法使用 instanceof 关键字或 == 判断泛型类的类型
5、泛型类的原生类型与所传递的泛型无关，无论传递什么类型，原生类是一样的
6、泛型数组可以声明但无法实例化
7、泛型类不能继承 Exception 或者 Throwable
8、不能捕获泛型类型限定的异常但可以将泛型限定的异常抛出