一、泛型的内部原理(以集合为例)
泛型是提供给javac编译器使用的,可以限定集合中的输入类型,让编译器挡住源程序中的非法输入,编译器编译带类型说明的集合时会擦除掉“类型”信息,使程序运行效率不受影响。由于jvm是不知道类型信息的,所以只要能跳过编译器,就可以往某个泛型集合中加入其它类型的数据。参考代码:
ArrayList<Integer> list1 = new ArrayList<Integer>();
ArrayList<String> list2 = new ArrayList<String>();
System.out.println(list1.getClass() == list2.getClass());//true,是同一个字节码对象
//用反射往类型参数为Integer的集合里添加String类型的元素
list1.getClass().getMethod("add", Object.class).invoke(list1, "helloworld");
System.out.println(list1.get(0)); //helloworld
二、泛型中的通配符
1、 任意类型: ?
2、上边界限定 : ? extends Object
3、下边界限定: ? super Integer
public class TypeGeneric {
public static void main(String[] args) throws Exception {
ArrayList<String> list2 = new ArrayList<String>();