聽了他講的泛型，我就明白為什麼他的工資比我多30萬了！

2019 年 12 月 19 日
筆記

閱讀文本大概需要 6 分鐘。

類型擦除

Java是怎麼實現泛型的？不錯，類型擦除。Java編譯器將源碼編譯成位元組碼的時候會將你在源碼中聲明的類型進行擦除，比如：

List<String> list = new ArrayList<String>();

在編譯後，位元組碼中只有List，運行在JVM中也是一樣的，那你可能會有疑問，既然將類型擦除了，那為什麼我聲明的泛型為String類型時，不能往裡add一個整型的數據呢？這是因為編譯器在編譯前會進行類型檢查，類型不一致會直接編譯報錯。一般作為初級工程師知道這些就算合格了。

我們往深一層研究下，難道我們一定不能往聲明泛型為String的list中增加一個整型元素嗎？聰明的同學可能想到了，既然是在編譯前檢查類型的，編譯後又將類型擦除了，那我是不是可以在運行時通過反射將整型數字add進去？不錯！確實是可以的。

List<Long> list = new ArrayList<Long>();  list.add(100L);  list.getClass().getMethod("add", Object.class).invoke(list, "abc");    // 然後我們將list打印出來  for (int i = 0; i < list.size(); i++) {      System.out.println(list.get(i));  }

打印出來確實是可以的，但是我能改成下面這樣嗎？

List<Long> list = new ArrayList<Long>();  list.add(100L);  list.getClass().getMethod("add", Object.class).invoke(list, "abc");    Long a = 0L;  // 然後我們將list打印出來  for (int i = 0; i < list.size(); i++) {      a += list.get(i);  }

當然不能啦，當然如果你想的比較仔細，會發現一個很好玩的現象。對於上面這個list中第二個元素為"abc"，那我們分別以不同的類型來賦值：

String s = "";  Long a = 0L;  s = list.get(1);  a = list.get(1);

無論你是用String還是Long類型來接收都會報錯，你用String來接收會報"Long cannot be converted to String"。你用Long類型來賦值會報"String cannot be cast to java.lang.Long"，你是不是感到迷茫了，其實這一切都是因為類型擦除，對於不能使用String類型來接收是因為編譯器會做檢查，因為list聲明的泛型是Long類型的，而你使用String類型來賦值顯然編譯器會報錯，第二種你使用Long類型來接收，編譯器當然會認為是合法的，但是在運行的時候，list中的第二個實際值是String，強轉成Long當然會報錯了。這一切的根源是你使用反射向list中放入了一個和聲明不同類型的數據。正常我們一般也不會這麼做啦，這裡只是驗證一下這個機制而已。

好了，解釋了這麼多類型擦除的機制，那Java使用類型擦除來實現泛型有什麼好處呢？

1、第一點我們將如此多的泛型在編譯時擦除了，那麼在運行時顯然可以省不少的內存空間嘛。