java中的类型擦除type erasure示例详解
作者:flydean
举个例子
我们先举一个最简单的例子:
@Slf4j public class TypeErase { public static void main(String[] args) { ArrayList<String> stringArrayList = new ArrayList<String>(); stringArrayList.add("a"); stringArrayList.add("b"); action(stringArrayList); } public static void action(ArrayList<Object> al){ for(Object o: al) log.info("{}",o); } }
上面的例子中,我们定义了一个ArrayList,其中指定的类型是String。
然后调用了action方法,action方法需要传入一个ArrayList,但是这个list的类型是Object。
乍看之下好像没有问题,因为String是Object的子类,是可以进行转换的。
但是实际上代码编译出错:
Error:(18, 16) java: 不兼容的类型: java.util.ArrayList<java.lang.String>无法转换为java.util.ArrayList<java.lang.Object>
原因
上面例子的原因就是类型擦除(type erasure)。java中的泛型是在编译时做检测的。而编译后生成的二进制文件中并不保存类型相关的信息。
上面的例子中,编译之后不管是ArrayList<String> 还是ArrayList<Object> 都会变成ArrayList。其中的类型Object/String对JVM是不可见的。
但是在编译的过程中,编译器发现了两者的类型不同,然后抛出了错误。
解决办法
要解决上面的问题,我们可以使用下面的办法:
public static void actionTwo(ArrayList<?> al){ for(Object o: al) log.info("{}",o); }
通过使用通配符?,可以匹配任何类型,从而通过编译。
但是要注意这里actionTwo方法中,因为我们不知道传入的类型到底是什么,所以我们不能在actionTwo中添加任何元素。
总结
从上面的例子我们可以看出,ArrayList<String>并不是ArrayList<Object>的子类。如果一定要找出父子关系,那么ArrayList<String>是Collection<String>的子类。
但是Object[] objArray是String[] strArr的父类。因为对Array来说,其具体的类型是已知的。
本文的例子https://github.com/ddean2009/learn-java-collections
以上就是java中的类型擦除type erasure示例详解的详细内容,更多关于java类型擦除type erasure的资料请关注脚本之家其它相关文章!