JavaSE面试题（六）：泛型

Q1：什么是泛型？

Java泛型（ generics）是JDK 5中引⼊的⼀个新特性， 允许在定义类和接口的时候使⽤类型参数（ type parameter） 。

声明的类型参数 : 在使⽤时⽤具体的类型来替换。泛型最主要的应⽤是在JDK 5中的新集合类框架中。

泛型最⼤的好处 : 是可以提⾼代码的复⽤性。

举例 ：以List接口为例，我们可以将String、 Integer等类型放⼊List中。 如不⽤泛型， 存放String类型要写⼀个List接口， 存放Integer要写另外⼀个List接口， 泛型可以很好的解决代码复用问题。

Q2：什么是类型擦除？

通过类型参数合并，将泛型类型实例关联到同一份字节码上。

编译器只为泛型类型生成一份字节码，并将其实例关联到这份字节码上。

泛型是通过类型擦除来实现的
编译器在编译时擦除了所有类型相关的信息，所以在运行时不存在任何类型相关的信息。
例如 ：List在运行时仅用一个List来表示。这样做的目的，是确保能和Java 5之前的版本开发二进制类库进行兼容。你无法在运行时访问到类型参数，因为编译器已经把泛型类型转换成了原始类型。

类型擦除的主要过程如下：

1. 将所有的泛型参数用其最左边界（最顶级的父类型）类型替换。

2. 移除所有的类型参数。

Q3：List、List< Object> 和List<?>的区别？

• List ：完全没有类型限制和赋值限定。
• List<Object> ：看似用法与List一样，但是在接受其他泛型赋值时会出现编译错误。
• List<?>：是一个泛型，在没有赋值前，表示可以接受任何类型的集合赋值，但赋值之后不能往里面随便添加元素，但可以remove和clear，并非immutable(不可变)集合。List<?>一般作为参数来接收外部集合，或者返回一个具体元素类型的集合，也称为通配符集合。

Q4：什么是泛型中的限定通配符和非限定通配符 ?

限定通配符：

对类型进行了限制。有两种限定通配符：

一种：它通过确保类型必须是T的子类来设定类型的上界，

另一种：它通过确保类型必须是T的父类来设定类型的下界。

泛型类型必须用限定内的类型来进行初始化，否则会导致编译错误。

非限定通配符：

表示了非限定通配符，因为可以用任意类型来替代。

Q5：泛型中K T V E ？object等的含义 ?

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

T - Type（Java 类）

K - Key（键）

V - Value（值）

N - Number（数值类型）

？- 表示不确定的java类型（无限制通配符类型）

Object - 是所有类的根类，任何类的对象都可以设置给该Object引用变量，使用的时候可能需要类型强制转换，但是用使用了泛型T、E等这些标识符后，在实际用之前类型就已经确定了，不需要再进行类型强制转换。

Q6：编写一个泛型方法，让它能接受泛型参数并返回泛型类型 ?

1    public V put(K key, V value) {
2        return cache.put(key, value);
3    }