从反射来看java泛型的本质思想

java泛型是java中常用的一个对象，通过泛型，我们可以约束输入或保存的对象类型，以满足我们实际的需求。那我们不仅有个疑问，使用泛型会对原有的类产生影响么?如：

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

这样创建的两个对象list1 和list2 ，对应的类会有什么不同么？
我们可以通过这样的方式来判断下，编译后的类对象是否相同：

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

我们发现，编译后的list1和list2，对应的类类型c1和c2实际是相同的。那我们是不是可以这样想：java程序在进行编译之后，实际是没有泛型限制的。

我们通过程序来做一下验证：
验证思路：若泛型在程序编译之后仍然起作用，那list2无论如何是不能存放非String类型的数据的。那如果list2中实际可以存放其他类型的数据，则可以证明我们的推想是正确的。

①首先，我们先尝试向两个list中分别插入String和int类型的数据：

        list1.add("hello");
        list1.add(20);
        list2.add("hello");
//      list2.add(20);   //编译时报错，只允许插入String的成员

我们发现，list2是不能插入int类型的数据的，编译时会报错提示只允许插入String类型的数据。list1可以正常插入。
②我们尝试使用反射的方式，绕过编译期判断。（因为反射的操作是对字节码的文件进行操作，这样可以绕过list.add的编译时验证）。

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

③我们发现，使用反射的方式，可以将整型数据插入list2.那是否真的已经将数据插入到list2中了呢？我们做一下输入验证：

        System.out.println(list1); //[hello, 20]
        System.out.println(list2); //[hello, 20]

④打印list发现，list2中确实已经将20插入到集合中了。我们尝试使用for循环打印数据：

        for(String s:list2){
            System.out.println(s);
        }

⑤打印时，会抛出类型强转异常（不能将int类型转换为String）。也就是说list2中确实插入了int类型的数据。

到此我们可以得出结论了：
java的泛型机制，只是在编译时起到数据验证作用，实际并不改变原本类的类型和机制。
* 在编译通过之后（javac生成字节码文件后），是否存在泛型并不影响类的操作和限定
* java在进行编译的时候，会“去泛型化”