1.java精华散记----泛型

背景

• JDK1.5开始，Java允许定义泛型类、泛型接口和泛型方法。

定义

• 泛型是指参数化类型的能力。可以定义带泛型类型的类或方法，随后编译器会用具体的类型来替换它。

类型

• 泛型类：public class GenericStack<E>
  

• 泛型接口：public interface Comparable<T>
  

• 泛型方法 ：public static <E> void print(E[] list)

• 原始类型：GeneticStack stack = new GenericStack();// raw type(原始类型)
  
• 通配泛型：?：非受限通配；? extends T：受限通配；? super T：下限通配
• 类型消除：泛型仅存在于编译时。一旦编译器确认泛型类型是安全使用的，就会将它转换为原始类型。
  

注意事项：

• 泛型必须是引用类型。

          ArrayList<String> list = new ArrayList<String>();
          不能用像int、double或者char这样的基本类型来替换泛型。

          ArrayList<Integer> intList = new ArrayList<Integer>();

          intList.add(5)会把5包装成new Integer(5).这个过程叫做自动打包（autoboxing）

          String s = list.get(0)。如果元素是包装类型，赋值给一个基本类型，这个过程叫解包（autounboxing)

• 泛型构造方法：public GenericStack() 而不是 public GenericStack<E>()

• 类型消除（type erasure）：不能使用new E() ;不能使用new E[] ；在静态环境下不允许类的参数是泛型类型；异常类不能是泛型的；