java中泛型的用法

什么是泛型呢？

泛型就是参数化类型，例如，ArrayList类用一个类型参数来指出元素的类型。

ArrayList<String> stringValues= new  ArrayList<String>();  

这样在执行stringValues.add(100);的时候就会出现编译错误。因此可以保证程序在编译期不会出错后，程序在运行的时候也不会出现错误。

在使用泛型之前，我们使用ArrayList的时候存储一个String类型的集合的时候：

List list = new ArrayList();

list.add("aaa");

list.add(100);

for(int i=0;i<list.size();i++){

    String s = (String)list.get(i);       //**

    system.out.println(s);

}

这个程序在编译的时候不会提示错误，但是在程序到//**的时候就会出现Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String。序

这时由于ArrayList只会维护一个Object的数组，因此在执行list.add(100);的时候不会提示错误。但是在取出集合中的元素的时候，强制转换的时候就会报错了。

java中泛型只在编译的时候起作用，在编译后就擦除了泛型信息。

原始类型就是泛型类型擦除了泛型信息后，在字节码中真正的类型。无论何时定义一个泛型类型，相应的原始类型都会被自动提供。原始类型的名字就是删去类型参数后的泛型类型的类名。擦除类型变量，并替换为限定类型（T为无限定的类型变量，用Object替换）。

1. //泛型类型  
2. class Pair<T> {    
3.     private T value;    
4.     public T getValue() {    
5.         return value;    
6.     }    
7.     public void setValue(T  value) {    
8.         this.value = value;    
9.     }    
10. }  

[java]  view plain  copy

1. //原始类型  
2. class Pair {    
3.     private Object value;    
4.     public Object getValue() {    
5.         return value;    
6.     }    
7.     public void setValue(Object  value) {    
8.         this.value = value;    
9.     }    
10. }    

因为在Pair<T>中，T是一个无限定的类型变量，所以用Object替换。如果是Pair<T extends Number>，擦除后，类型变量用Number类型替换。

[java]  view plain  copy

1. public class ReflectInGeneric {  
2.     public static void main(String[] args) throws IllegalArgumentException,   
3.                         SecurityException, IllegalAccessException, InvocationTargetException, NoSuchMethodException {    
4.         ArrayList<Integer> array=new ArrayList<Integer>();    
5.         array.add(1);//这样调用add方法只能存储整形，因为泛型类型的实例为Integer    
6.         array.getClass().getMethod("add", Object.class).invoke(array, "asd");    
7.         for (int i=0;i<array.size();i++) {    
8.             System.out.println(array.get(i));    
9.         }    
10.     }    
11. }  

输出：

1
asd

为什么呢？我们在介绍泛型时指出向ArrayList<Integer>中插入String类型的对象，编译时会报错。现在为什么又可以了呢？

我们在程序中定义了一个ArrayList<Integer>泛型类型，如果直接调用add方法，那么只能存储整形的数据。不过当我们利用反射调用add方法的时候，却可以存储字符串。这说明ArrayList<Integer>泛型信息在编译之后被擦除了，只保留了原始类型，类型变量（T）被替换为Object，在运行时，我们可以行其中插入任意类型的对象。

但是，并不推荐以这种方式操作泛型类型，因为这违背了泛型的初衷（减少强制类型转换以及确保类型安全）。当我们从集合中获取元素时，默认会将对象强制转换成泛型参数指定的类型（这里是Integer），如果放入了非法的对象这个强制转换过程就会出现异常。

泛型相关面试题

1. Java中的泛型是什么 ? 使用泛型的好处是什么?
泛型是一种参数化类型的机制。它可以使得代码适用于各种类型，从而编写更加通用的代码，例如集合框架。

泛型是一种编译时类型确认机制。它提供了编译期的类型安全，确保在泛型类型（通常为泛型集合）上只能使用正确类型的对象，避免了在运行时出现ClassCastException。

2、Java的泛型是如何工作的 ? 什么是类型擦除 ?
泛型的正常工作是依赖编译器在编译源码的时候，先进行类型检查，然后进行类型擦除并且在类型参数出现的地方插入强制转换的相关指令实现的。

编译器在编译时擦除了所有类型相关的信息，所以在运行时不存在任何类型相关的信息。例如List<String>在运行时仅用一个List类型来表示。为什么要进行擦除呢？这是为了避免类型膨胀。

3. 什么是泛型中的限定通配符和非限定通配符 ?
限定通配符对类型进行了限制。有两种限定通配符，一种是<? 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集合类框架。最简单的情况下，一个泛型方法可能会像这样:

[java]  view plain  copy

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

6. Java中如何使用泛型编写带有参数的类?
这是上一道面试题的延伸。面试官可能会要求你用泛型编写一个类型安全的类，而不是编写一个泛型方法。关键仍然是使用泛型类型来代替原始类型，而且要使用JDK中采用的标准占位符。
7. 编写一段泛型程序来实现LRU缓存?
对于喜欢Java编程的人来说这相当于是一次练习。给你个提示，LinkedHashMap可以用来实现固定大小的LRU缓存，当LRU缓存已经满了的时候，它会把最老的键值对移出缓存。LinkedHashMap提供了一个称为removeEldestEntry()的方法，该方法会被put()和putAll()调用来删除最老的键值对。
8. 你可以把List<String>传递给一个接受List<Object>参数的方法吗？
对任何一个不太熟悉泛型的人来说，这个Java泛型题目看起来令人疑惑，因为乍看起来String是一种Object，所以List<String>应当可以用在需要List<Object>的地方，但是事实并非如此。真这样做的话会导致编译错误。如果你再深一步考虑，你会发现Java这样做是有意义的，因为List<Object>可以存储任何类型的对象包括String, Integer等等，而List<String>却只能用来存储Strings。

[java]  view plain  copy

1. List<Object> objectList;  
2. List<String> stringList;  
3.         
4. 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()
注意: Hello.java使用了未检查或称为不安全的操作;
这种警告可以使用@SuppressWarnings("unchecked")注解来屏蔽。

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

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

[java]  view plain  copy

1. List<?> listOfAnyType;  
2. List<Object> listOfObject = new ArrayList<Object>();  
3. List<String> listOfString = new ArrayList<String>();  
4. List<Integer> listOfInteger = new ArrayList<Integer>();  
5.         
6. listOfAnyType = listOfString; //legal  
7. listOfAnyType = listOfInteger; //legal  
8. listOfObjectType = (List<Object>) listOfString; //compiler error - in-convertible types  

13、List<String>和原始类型List之间的区别.
该题类似于“原始类型和带参数类型之间有什么区别”。带参数类型是类型安全的，而且其类型安全是由编译器保证的，但原始类型List却不是类型安全的。你不能把String之外的任何其它类型的Object存入String类型的List中，而你可以把任何类型的对象存入原始List中。使用泛型的带参数类型你不需要进行类型转换，但是对于原始类型，你则需要进行显式的类型转换。

[java]  view plain  copy

1. List listOfRawTypes = new ArrayList();  
2. listOfRawTypes.add("abc");  
3. listOfRawTypes.add(123); //编译器允许这样 - 运行时却会出现异常  
4. String item = (String) listOfRawTypes.get(0); //需要显式的类型转换  
5. item = (String) listOfRawTypes.get(1); //抛ClassCastException，因为Integer不能被转换为String  
6.         
7. List<String> listOfString = new ArrayList();  
8. listOfString.add("abcd");  
9. listOfString.add(1234); //编译错误，比在运行时抛异常要好  
10. item = listOfString.get(0); //不需要显式的类型转换 - 编译器自动转换