Java巩固之路-----泛型

泛型

泛型的定义

泛型，即“参数化类型”。就是将类型由原来的具体的类型参数化，在不创建新的类型的情况下，通过泛型指定的不同类型来控制形参具体限制的类型

泛型的意义

编译期间确定类型，保证类型安全

避免强制转换的类型

提高代码的重用率，增加代码的通用灵活性

泛型的类型擦除

泛型，只在编译期间有效。泛型类型在逻辑上可以看成多个不同类型，但实质上，他们还是同一类型，编译之后程序会采取去泛型化措施。

上图代码中，list的初始化，定义了参数类型为Integer，所以插入String类型的时候，类型检查会报错。

但是，我们如果通过反射的方式，在代码运行阶段向定义容器类型为Integer的list中插入String对象，插入成功，长度增加了。

这就是泛型擦除。

泛型的使用

泛型可以用来接口、类、方法三个层次，但不管使用在何层次，都需要先用<> 加通配符的形式来声明，这是一个泛型。

泛型接口

public interface Deque extends Queue 

在接口声明时加上说明这是个泛型接口。

泛型接口的实现方式：

1、实现类继续使用泛型来表示

public class LinkedList
    extends AbstractSequentialList
    implements List, Deque, Cloneable, java.io.Serializable

LinkedList作为Deque的实现类，不指定泛型的参数，继续使用来表示

2、为接口指定固定的类型

public class ListAdapter extends AbstractList