反射之通過反射瞭解集合泛型的本質

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

1、初始化兩個集合，一個使用泛型，一個不使用

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

2、有定義類型可得在list2中添加int類型會報錯

1 list2.add("Hello");
2 list2.add(20);   //報錯

3、獲取兩個對象的類類型進行比較

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

通過c1==c2結果返回true，說明編譯之後集合的泛型是去泛型化的,java中集合的泛型是為了防止錯誤輸入的，只在編譯階段有效，繞過編譯就無效了

4、驗證：通過方法的反射來繞過編譯

1 try {
2     Method m = c2.getMethod("add", Object.class);
3     m.invoke(list2,20);
4     System.out.println(list2);
5 } catch (Exception e) {
6     e.printStackTrace();
7 }

5、輸出結果

6、完整代碼

 1 package com.format.test;
 2 
 3 import java.lang.reflect.Method;
 4 import java.util.ArrayList;
 5 
 6 /**
 7  * Created by Format on 2017/6/4.
 8  */
 9 public class Test2 {
10     public static void main(String[] args) {
11         ArrayList list1 = new ArrayList();
12         ArrayList<String> list2 = new ArrayList<String>();
13         list2.add("Hello");
14 //        list2.add(20);   //報錯
15         Class c1 = list1.getClass();
16         Class c2 = list2.getClass();
17         System.out.println(c1 == c2);
18         /**
19          * 反射操作都是編譯之後的操作
20          * c1==c2結果返回true，說明編譯之後集合的泛型是去泛型化的
21          * java中集合的泛型是為了防止錯誤輸入的，只在編譯階段有效，繞過編譯就無效了
22          * 驗證：通過方法的反射來繞過編譯
23          */
24         try {
25             Method m = c2.getMethod("add", Object.class);
26             m.invoke(list2,20);
27             System.out.println(list2);
28         } catch (Exception e) {
29             e.printStackTrace();
30         }
31     }
32 }