Java基础进阶-泛型

什么是泛型？

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

泛型的本质是参数类型，也就是说所操作的数据类型被指定为一个参数；

泛型不存在与JVM虚拟机中。

---

为什么需要泛型？

适用于多种数据类型执行相同的代码；

泛型中的类型在使用时指定，不需要强制类型转换

---

Java中的泛型

分为三类：

1.泛型类

public class Box {}

2.泛型接口

public interface Generics {}

3.泛型方法

public void genericMethod(T t) {}

泛型类/接口的继承/实现 两种方法：

1. class Generics2 implements Generics {}

2. class Generics3 implements Generics {}

4.限定通配符

5.非限定通配符

---

PECS原则

Producer Extends Consumer Super

如果参数化类型表示一个生产者，就使用, 只能读不能写；

如果它表示一个消费者，就使用, 只能写不能读

个人理解

在List的泛型集合中，只能确定集合中元素的类型是继承自Fruit，所以可以统一用Fruit类型来读取集合中的每一个元素；但是因为不能确定每个元素具体是Furit的哪一个子类，所以不能向一个无法知道具体类型的泛型集合中写入元素，这是不能通过编译的；

在List<？super Apple>中，只能确定集合中元素的类型是Apple或者Apple的父类，但无法确定具体是哪一个父类，所以无法以一个具体的父类进行读取，用Object这个根父类读取又没有实际意义，所以无法进行读取；但是可以往集合里插入Apple或者Apple的子类，因为集合中的元素都是Apple本身或者Apple的父类（或者理解为Apple或者Apple的子类可以兼容为Apple这个类型，所以可以往集合里添加）

关键字：统一

List中，读取时可以统一为Fruit进行读取，所以可读；但写入时无法找到统一的标准（因为只能知道元素类型是继承自Fruit，但无法确定是哪一种子类），所以不可写；

List<？super Apple>中，读取时无法找到统一的标准(以Object为标准没有意义)，所以不可读；但写入时，可以以Apple为标准写入Apple以及Apple的子类，所以可写

---

类型擦除

功能：保证泛型不在运行时出现

Java中的泛型是伪泛型

Java虚拟机不支持泛型，为了兼容JDK低版本

---

常见问题

1.Java中List