13. 泛型

面试 Java

Java中的泛型是个假泛型，仅仅只是在编译器那边做了语法检查而已，和C#里的泛型不一样的。
基本上，不管你在List<>里面写什么类型，编译通过了以后运行时全部都是Object。
Java泛型是通过类型擦除实现的，编译器的语法检查是次要的，重要的是泛型系统可以为我们做更多的类型检查，这在很多时候是很有帮助的，借助编译器在编译期的类型检查可以减少运行时出现类型错误的几率。

另外thinking in java里也有仔细的讲解

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

2. Java的泛型是如何工作的 ? 什么是类型擦除 ?
   这是一道更好的泛型面试题。泛型是通过类型擦除来实现的，编译器在编译时擦除了所有类型相关的信息，所以在运行时不存在任何类型相关的信息。例如 List在运行时仅用一个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可以接受任何T的父类构成的List。例如List< ? extends Number>可以接受List或List。

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

6. 你可以把List传递给一个接受List参数的方法吗
   为List可以存储任何类型的对象包括String, Integer等等，而List却只能用来存储Strings

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

7. Array中可以用泛型吗?
   Array事实上并不支持泛型，这也是为什么Joshua Bloch在Effective Java一书中建议使用List来代替Array，因为List可以提供编译期的类型安全保证，而Array却不能。

8. 如何阻止Java中的类型未检查的警告?
   @SuppressWarnings("unchecked")

9. Java中List和原始类型List之间的区别?
   原始类型和带参数类型之间的主要区别是，在编译时编译器不会对原始类型进行类型安全检查，却会对带参数的类型进行检查，通过使用Object作为类型，可以告知编译器该方法可以接受任何类型的对象，比如String或Integer。这道题的考察点在于对泛型中原始类型的正确理解。它们之间的第二点区别是，你可以把任何带参数的类型传递给原始类型List，但却不能把List传递给接受List的方法，因为会产生编译错误

10. Java中List和List之间的区别是什么?
    这道题跟上一道题看起来很像，实质上却完全不同。List< ?> 是一个未知类型的List，而List其实是任意类型的List。你可以把List, List赋值给List< ?>，却不能把List赋值给List。