“編譯器會進行泛型擦除”是一個常識了(好吧,實際擦除的是參數和自變量的類型)。這個過程由“類型擦除”實現。但是並非像許多開發者認爲的那樣,在 <..> 符號內的東西都被擦除了。看下面這段代碼:
public class ClassTest {
public static void main(String[] args) throws Exception {
ParameterizedType type = (ParameterizedType)
Bar.class.getGenericSuperclass();
System.out.println(type.getActualTypeArguments()[0]);
ParameterizedType fieldType = (ParameterizedType)
Foo.class.getField("children").getGenericType();
System.out.println(fieldType.getActualTypeArguments()[0]);
ParameterizedType paramType = (ParameterizedType)
Foo.class.getMethod("foo", List.class)
.getGenericParameterTypes()[0];
System.out.println(paramType.getActualTypeArguments()[0]);
System.out.println(Foo.class.getTypeParameters()[0]
.getBounds()[0]);
}
class Foo<E extends CharSequence> {
public List<Bar> children = new ArrayList<Bar>();
public List<StringBuilder> foo(List<String> foo) {return null; }
public void bar(List<? extends String> param) {}
}
class Bar extends Foo<String> {}
}
你知道輸出了什麼嗎?
List<String> list = new ArrayList<>();
Iterator<String> it = list.iterator();
while (it.hasNext()) {
String s = it.next();
}
實際上會被轉換成這個(這兩段代碼的字節碼是一致的)
List list = new ArrayList();
Iterator it = list.iterator();
while (it.hasNext()) {
String s = (String) it.next();
}
因此,定義在方法體內的類型參數會被擦除,在必要的時候會有類型轉換。另外,如果一個方法被定義爲接受 List 參數,這個 T 會被轉換成 Object (如果定義了類型的上界的話就轉換成對應的類型。這也是你不能 new T() 的原因)。(順便這裏有個關於類型擦除的問題)