背景
- 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:下限通配
- 类型消除:泛型仅存在于编译时。一旦编译器确认泛型类型是安全使用的,就会将它转换为原始类型。
注意事项:
- 泛型必须是引用类型。
不能用像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[] ;在静态环境下不允许类的参数是泛型类型;异常类不能是泛型的;