從頭認識java-13.6 類型擦除（type erasure）（1）-概念

從頭認識java-13.6 類型擦除（type erasure）（1）-概念

這一章節我們討論一下類型擦除。

1.什麼是類型擦除？

在java裡面泛型其實是偽泛型，因為他都只是在編譯器裡面實現的，在jvm裡面是沒有泛型的概念。

我們看下面的代碼：

package com.ray.ch11;import java.util.ArrayList;public class Test {public static void main(String[] args) {ArrayList list1 = new ArrayList();ArrayList list2 = new ArrayList();System.out.println(list1.getClass() == list2.getClass());}}

輸出：

true

為什麼兩個list對應的Class對象是一致的呢？因為在jvm層面，他只看到List，沒有裡面的類型。

也就是，泛型裡面的類型資訊被擦掉了，這就是所謂的類型擦除。

 

2.擴充

我們使用另一個例子來擴充開來。

package com.ray.ch11;import java.util.ArrayList;import java.util.Arrays;import java.util.HashMap;import java.util.HashSet;public class Test {public static void main(String[] args) {ArrayList list = new ArrayList();HashMap map = new HashMap();HashSet set = new HashSet();System.out.println(Arrays.toString(list.getClass().getTypeParameters()));System.out.println(Arrays.toString(map.getClass().getTypeParameters()));System.out.println(Arrays.toString(set.getClass().getTypeParameters()));}}

輸出：

[E]
[K, V]
[E]

從上面的輸出，我們只是看見泛型的標記，但是完全不問清楚裡面的類型資訊，這是因為代碼經過編譯器後，類型資訊被擦除了。