面试准备系列——Java基础技术篇（1）/Java泛型面试

1.关于泛型使用背景

在Java中，泛型这个概念是在JDK1.5这个版本中才提出的概念。之所以要提出这个概念关键是因为，容器类的使用问题。
在泛型没有使用的时候，比如说一个容器List list = new ArrayList(),其中list集合中可以装上String，Integer等类型的数据，如list.add("addMethed");list.add(23);，假如现在想要将list中的两个元素拿出来，但是又不知道他们的具体类型的时候，都使用了String类型来接收，那么在23这个数字转换成String类型的数据的时候就会出现问题java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String，因此在JDK1.5版本之前，使用容器类常常会出现类似的这种安全问题，不使用泛型的缺点是明显的：

• 1.每次使用时都需要强制转换成想要的类型
• 2.在编译时编译器并不知道类型转换是否正常，运行时才知道，不安全

因此，引入泛型的主要目标有：

• 类型安全
  • 泛型的主要目标是提高 Java 程序的类型安全
  • 编译时期就可以检查出因 Java 类型不正确导致的 ClassCastException 异常
  • 符合越早出错代价越小原则
• 消除强制类型转换
  • 泛型的一个附带好处是，使用时直接得到目标类型，消除许多强制类型转换
  • 所得即所需，这使得代码更加可读，并且减少了出错机会
• 潜在的性能收益
  • 由于泛型的实现方式，支持泛型（几乎）不需要 JVM 或类文件更改
  • 所有工作都在编译器中完成
  • 编译器生成的代码跟不使用泛型（和强制类型转换）时所写的代码几乎一致，只是更能确保类型安全而已

从上面的介绍和Java的设计来推断，其实也很容易的可以发现，泛型可以作用于类，接口，方法上，具体的先不展开了。

2.泛型的通配符

有时候希望传入的类型有一个指定的范围，从而可以进行一些特定的操作，这时候就是通配符边界登场的时候了。

泛型中有三种通配符形式：

无限制通配符
extends 关键字声明了类型的上界，表示参数化的类型可能是所指定的类型，或者是此类型的子类
super 关键字声明了类型的下界，表示参数化的类型可能是指定的类型，或者是此类型的父类

• 无限制通配符–<?>

• 上界通配符 < ? extends E>
  在类型参数中使用 extends 表示这个泛型中的参数必须是 E 或者 E 的子类，这样有两个好处：

  • 如果传入的类型不是 E 或者 E 的子类，编辑不成功
  • 泛型中可以使用 E 的方法，要不然还得强转成 E 才能使用

• 下界通配符 < ? super E>
  在类型参数中使用 super 表示这个泛型中的参数必须是 E 或者 E 的父类。

3.泛型的类型檫除

在 Java 中，泛型是 Java 编译器的概念，用泛型编写的 Java 程序和普通的 Java 程序基本相同，只是多了一些参数化的类型，同时少了一些类型转换。

实际上泛型程序也是首先被转化成一般的、不带泛型的 Java 程序后再进行处理的，编译器自动完成了从 Generic Java 到普通 Java 的翻译，Java 虚拟机运行时对泛型基本一无所知。

当编译器对带有泛型的java代码进行编译时，它会去执行类型检查和类型推断，然后生成普通的不带泛型的字节码，这种普通的字节码可以被一般的 Java 虚拟机接收并执行，这在就叫做 类型擦除（type erasure）。

4.泛型的使用规则

• 泛型的参数类型只能是类（包括自定义类），不能是简单类型。
• 同一种泛型可以对应多个版本（因为参数类型是不确定的），不同版本的泛型类实例是不兼容的。
• 泛型的类型参数可以有多个
• 泛型的参数类型可以使用 extends 语句，习惯上称为“有界类型”
• 泛型的参数类型还可以是通配符类型，例如 Class

5.泛型的使用场景

当类中要操作的引用数据类型不确定的时候，过去使用 Object 来完成扩展，JDK 1.5后推荐使用泛型来完成扩展，同时保证安全性。

关于泛型的常见面试题目

参考：Java泛型面试题

1. Java中的泛型是什么 ? 使用泛型的好处是什么?

这是在各种Java泛型面试中，一开场你就会被问到的问题中的一个，主要集中在初级和中级面试中。那些拥有Java1.4或更早版本的开发背景的人都知道，在集合中存储对象并在使用前进行类型转换是多么的不方便。泛型防止了那种情况的发生。它提供了编译期的类型安全，确保你只能把正确类型的对象放入集合中，避免了在运行时出现ClassCastException。

2. Java的泛型是如何工作的 ? 什么是类型擦除 ?

这是一道更好的泛型面试题。泛型是通过类型擦除来实现的，编译器在编译时擦除了所有类型相关的信息，所以在运行时不存在任何类型相关的信息。例如List< String>在运行时仅用一个List来表示。这样做的目的，是确保能和Java 5之前的版本开发二进制类库进行兼容。你无法在运行时访问到类型参数，因为编译器已经把泛型类型转换成了原始类型。根据你对这个泛型问题的回答情况，你会得到一些后续提问，比如为什么泛型是由类型擦除来实现的或者给你展示一些会导致编译器出错的错误泛型代码。

3. 什么是泛型中的限定通配符和非限定通配符 ?

这是另一个非常流行的Java泛型面试题。限定通配符对类型进行了限制。 有两种限定通配符，一种是<? extends T> 它通过确保类型必须是T的子类来设定类型的上界， **另一种** 是 <? super T>它通过确保类型必须是T的父类来设定类型的下界。泛型类型必须用限定内的类型来进行初始化，否则会导致编译错误。另一方面<?>表示了非限定通配符，因为<?>可以用任意类型来替代。

4. List<? extends T>和List <? super T>之间有什么区别 ?

这和上一个面试题有联系，有时面试官会用这个问题来评估你对泛型的理解，而不是直接问你什么是限定通配符和非限定通配符。这两个List的声明都是限定通配符的例子，List<? extends T>可以接受任何继承自T的类型的List，而List<? super T>可以接受任何T的父类构成的List。例如List<? extends Number>可以接受List< Integer>或List< Float>。在本段出现的连接中可以找到更多信息。

5. 如何编写一个泛型方法，让它能接受泛型参数并返回泛型类型?

编写泛型方法并不困难，你需要用泛型类型来替代原始类型，比如使用T, E or K,V等被广泛认可的类型占位符。泛型方法的例子请参阅Java集合类框架。最简单的情况下，一个泛型方法可能会像这样:

  public V put(K key, V value) {

          return cache.put(key, value);

  }

6. Java中如何使用泛型编写带有参数的类?

这是上一道面试题的延伸。面试官可能会要求你用泛型编写一个类型安全的类，而不是编写一个泛型方法。关键仍然是使用泛型类型来代替原始类型，而且要使用JDK中采用的标准占位符。

7. 编写一段泛型程序来实现LRU缓存?

对于喜欢Java编程的人来说这相当于是一次练习。给你个提示，LinkedHashMap可以用来实现固定大小的LRU缓存，当LRU缓存已经满了的时候，它会把最老的键值对移出缓存。LinkedHashMap提供了一个称为removeEldestEntry()的方法，该方法会被put()和putAll()调用来删除最老的键值对。当然，如果你已经编写了一个可运行的JUnit测试，你也可以随意编写你自己的实现代码。

8. 你可以把List传递给一个接受List参数的方法吗？

对任何一个不太熟悉泛型的人来说，这个Java泛型题目看起来令人疑惑，因为乍看起来String是一种Object，所以List< String>应当可以用在需要List< Object>的地方，但是事实并非如此。真这样做的话会导致编译错误。如果你再深一步考虑，你会发现Java这样做是有意义的，因为List< Object>可以存储任何类型的对象包括String, Integer等等，而List< String>却只能用来存储Strings。

   List<Object> objectList;
   List<String> stringList;
   objectList = stringList;  //compilation error incompatible types

9. Array中可以用泛型吗?

这可能是Java泛型面试题中最简单的一个了，当然前提是你要知道Array事实上并不支持泛型，这也是为什么Joshua Bloch在Effective Java一书中建议使用List来代替Array，因为List可以提供编译期的类型安全保证，而Array却不能。

10. 如何阻止Java中的类型未检查的警告?

如果你把泛型和原始类型混合起来使用，例如下列代码，Java 5的javac编译器会产生类型未检查的警告，例如

   List<String> rawList = new ArrayList()