反射：集合泛型的本质

Java中集合的泛型，是防止错误输入的，只在编译阶段有效，绕过编译到了运行期就无效了。好处是避免强转类型，造成错误。

public class SetReflect {
    public static void main(String[] args) {
        List listA = new ArrayList();  
        // 泛型 string
        List<String> listB = new ArrayList<String>(); 


        /*
         * 添加元素，在编译器检查泛型，
         * 当时候类型错误，listB添加元素会报错
         */
        listB.add("hello");
//      报错！listB有泛型限制，只能添加String，
//      listB.add(100); 添加int报错
        System.out.println("listB的长度是：" + listB.size()); // 此时listB长度为1


        /*
         * 通过反射添加元素，在运行期动态加载类，首先得到listA和listB
         * 的类类型相同，然后再通过方法反射绕过编译器来调用add方法，看能否插入int
         * 型的元素
         */
        Class c1 = listA.getClass();
        Class c2 = listB.getClass();
        // 结果：true，说明类类型完全相同，说明有换型和无换型没区别
        System.out.println(c1 == c2); 
        // 验证：通过方法的反射来给listB添加元素，绕过编译检查
        try {
            // 通过方法反射得到add方法
            Method m = c2.getMethod("add", Object.class); 
            // 给listB添加一个int型的
            m.invoke(list2, 1000);  
            // 结果：2，说明list2长度增加了，并没有泛型检查
            System.out.println("listB的长度是：" + listB.size());                
            } catch (Exception e) {
              e.printStackTrace();
        }

    }
}

可以看出，在编译器的时候，泛型会限制集合内元素类型保持一致，但是编译器结束进入运行期以后，泛型就不再起作用了，即使是不同类型的元素也可以插入集合。