Java中的泛型是用擦除实现的。
这个就很有意思。
getTypeParameters() 这个函数可以获取泛型的占位符。本来应该获取类型参数。
import java.util.*;
class Frob {}
class Fnorkle {}
class Quark<Q> {}
class Particle<POSITION, MOMENTUM> {}
public class LostInformation {
public static void main(String[] args) {
List<Frob> list = new ArrayList<Frob>();
Map<Frob, Fnorkle> map = new HashMap<Frob, Fnorkle>();
Quark<Fnorkle> quark = new Quark<Fnorkle>();
Particle<Long, Double> p = new Particle<Long, Double>();
System.out.println(Arrays.toString(list.getClass().getTypeParameters()));
System.out.println(Arrays.toString(map.getClass().getTypeParameters()));
System.out.println(Arrays.toString(quark.getClass().getTypeParameters()));
System.out.println(Arrays.toString(p.getClass().getTypeParameters()));
}
}
输出
[E]
[K, V]
[Q]
[POSITION, MOMENTUM]
这就能看出，我们除了能得到占位符，其他的什么也得不到。
我是分割线 我是分割线 我是分割线 我是分割线 我是分割线 我是分割线 我是分割线 我是分割线
再看个例子，你就懂了。
ArrayList<String>与ArrayList<Integer>是同一种类型。
你把Integer放到ArrayList<String>中，她可不会同意。
同样，你把String放到ArrayList<Integer>中，她也不会同意。
你看，ArrayList<String>与ArrayList<Integer>的行为是不同的。
所以他们是不同的类型，但是因为Java的泛型是通过擦除实现的，所以她们都被擦除成了ArrayList。
public class ErasedTypeEquivalence {
public static void main(String[] args) {
Class c1 = new ArrayList<String>().getClass();
Class c2 = new ArrayList<Integer>().getClass();
System.out.println(c1 == c2);
}
}
输出
true
