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)的时候也能输出没有报错了

我们看一看字节码

java 泛型 checkcast

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); } } }


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

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