Java经典语法糖：你真的理解泛型吗？

泛型
泛型的本质是在编译期通过在类/接口/方法上指定某种数据类型（比如类泛型参数），以达到正确编写代码的目的。

也就是说，在编译期能够通过泛型参数来检查类/接口/方法的传递参数的合法性。但是编译后的程序是会剔除泛型的，这就是所谓的语法糖。

语法糖-泛型在形式上是不同的类型，实际上同种类型。

在泛型使用过程中，操作的数据类型被指定为一个类型参数，这种类型参数用在类上称为泛型类、用在接口上称为泛型接口，用在方法上称为泛型方法。

泛型与子类继承
一个类的子类可以通过对象多态性，为其父类实例化。但是在泛型操作中，子类的泛型类型是无法使用父类的泛型类型的。

命名类型参数说明

K —— 键，比如映射的键

V —— 值，比如 List 和 Set 的内容，或者 Map 中的值

E —— 异常类

T —— 泛型类

泛型通配符用法

受限泛型
泛型上限

表示参数化的类型可能是所指定类型，或者是其子类。

下面只能接收Number及其子类：

泛型下限（super关键字）

使用的泛型只能是本类及其父类类型上应用的时候，就必须使用泛型的下限。

泛型接口
定义泛型接口

泛型接口的两种实现方式

第一种 定义子类，在子类的上也使用泛型声明

第二种 定义子类，直接指定泛型的具体操作类型

泛型数组
不能创建一个确切泛型类型的数组。如下面代码会出错。

List<String>[] strings = new ArrayList<String>[10]

因此只能创建带通配符的泛型数组

List<?>[] objects = new List<?>[10]; 

泛型方法
泛型的好处
类型安全
消除强制类型转换
泛型原理剖析
从虚拟机的角度看，不存在“泛型”概念，例如Generic1.java：

用javap -c -s Generic1.class反编译后：

泛型的注意事项
强的类型检查：泛型对象进行引用传递的时候，类型必须一致
类型转换异常：如果定义两个相同的方法，只是泛型参数不一样，会报语法错误
关于我
我是Wooola，擅长微服务，分布式，并发，工作流。请您多多关注我，我会持续更新干货给大家。

有需要Java资料的同学，可以点击下方图片可以免费领取Java 面试宝典/微服务/SpringCloud/SpringBoot等视频和资料~