[Java反射基础四]通过反射了解集合泛型的本质

 

本文接上文"方法反射的基本操作",利用反射了解下java集合中泛型的本质

1、初始化两个集合，一个使用泛型，一个不使用

ArrayList list1 = new ArrayList();
ArrayList<String> list2 = new ArrayList<String>();

2、有定义类型可得在list2中添加int类型会报错

list2.add("Hello");
list2.add(20);   //报错

3、获取两个对象的类类型进行比较

Class c1 = list1.getClass();
Class c2 = list2.getClass();
System.out.println(c1 == c2);

通过c1==c2结果返回true，说明编译之后集合的泛型是去泛型化的,java中集合的泛型是为了防止错误输入的，只在编译阶段有效，绕过编译就无效了

4、验证：通过方法的反射来绕过编译

try {
    Method m = c2.getMethod("add", Object.class);
    m.invoke(list2,20);
    System.out.println(list2);
} catch (Exception e) {
    e.printStackTrace();
}

5、输出结果

6、完整代码

package com.format.test;

import java.lang.reflect.Method;
import java.util.ArrayList;

/**
 * Created by Format on 2017/6/4.
 */
public class Test2 {
    public static void main(String[] args) {
        ArrayList list1 = new ArrayList();
        ArrayList<String> list2 = new ArrayList<String>();
        list2.add("Hello");
//        list2.add(20);   //报错
        Class c1 = list1.getClass();
        Class c2 = list2.getClass();
        System.out.println(c1 == c2);
        /**
         * 反射操作都是编译之后的操作
         * c1==c2结果返回true，说明编译之后集合的泛型是去泛型化的
         * java中集合的泛型是为了防止错误输入的，只在编译阶段有效，绕过编译就无效了
         * 验证：通过方法的反射来绕过编译
         */
        try {
            Method m = c2.getMethod("add", Object.class);
            m.invoke(list2,20);
            System.out.println(list2);
        } catch (Exception e) {
            e.printStackTrace();
        }
    }
}