java 泛型 checkcast

我们来看一段代码

public class Test3 {

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

}

运行结果输出

1

asd

通过反射在运行期嗲噢哟红那个list的add方法，运行期已经擦除了类型参数信息，相当于运行期代码是

ArrayList array=new ArrayList();

array.add(1);array.getClass().getMethod("add", Object.class).invoke(array, "asd");

绕开了编译器类型参数安全检查,

但是为为什么array.get(I)的时候也能输出没有报错了

我们看一看字节码

get后去元素后直接输出

我们代码调整一下

public class Test3 {

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

}

直接抛出类型转换异常，为什么了?我们看看字节码

85：checkcast类型转换检查，由于asd是string，强制转integer报错