说说泛型擦除
public static void main(String[] args) throws NoSuchMethodException, InvocationTargetException, IllegalAccessException {
ArrayList<String> list1 = new ArrayList<String>();
list1.add("abc");
ArrayList<Integer> list2 = new ArrayList<Integer>();
list2.add(123);
System.out.println(list1.getClass()==list2.getClass());
}
运行结果为:
true
然后我们分别把list1和list2的类型打出来,发现结果都为 class java.util.ArrayList
这样我们就发现问题所在了,接着运行代码
public static void main(String[] args) throws NoSuchMethodException, InvocationTargetException, IllegalAccessException {
ArrayList<Integer> list = new ArrayList<Integer>();
list.add(1); //这样调用 add 方法只能存储整形,因为泛型类型的实例为 Integer
list.getClass().getMethod("add", Object.class).invoke(list, "asd");
for (int i = 0; i < list.size(); i++) {
System.out.println(list.get(i));
}
}
运行结果为
1
asd
这就是泛型擦除了,Java的范型只存在于源码里,编译的时候给你静态地检查一下范型类型是否正确,而到了运行时就不检查了。
为什么要类型擦除?(其实本来就应该叫类型擦除)
为了向下兼容。
Java 5才引入了范型,在此之前都是没有范型的。当时引入范型只是为了解决遍历集合的时候总要手动强制转型的问题。
为了让JVM保持向下兼容,就出了类型擦除这个下下策。
类型擦除会带来什么样的问题?
强制类型转化
这个问题的结果我们已经在上述文章中提及到了,通过反射的方式去进行插入的时候,我们的数据就会发生错误。
如果我们在一个List<Integer>
中在不知情的情况下插入了一个String
类型的数值,那这种重大错误,我们该找谁去说呢。
类型数量爆炸
类型擦除带来的第二个问题是类型数量爆炸。比如 Java 8 内置的函数式接口为什么会有 Supplier、Function 和 BiFunction 之分?就是因为 Java 没法用范型个数来区分类型,因为范型被擦除了。C#没有类型擦除,所以可以用Func<R>
表示一个类型,Func<T, R>
表示另一个类型,Func<T1, T2, R>
表示再另一个类型。
泛型无法使用基本数据类型
还有一个机制不是那么明显的后果,就是基本数据类型受到歧视。
由于运行时范型会被擦除,导致运行时无法计算范型类型所需的内存大小。怎么办呢?Java设计组又想了个歪招:**范型只能是引用类型!**反正不管什么类型的引用占的内存大小都一样。基本数据类型因为各自有各自的大小所以不让用。
解决一个问题,又引入一个新问题:我需要往集合里扔基本数据类型怎么办?打包!于是就有了各种基本数据类型的包装类,还有了什么自动装箱拆箱的“特性”。
应用场景
使用<T extends Parent>
或者。
至少擦除了以后就不会是Object类了。