Java泛型是JDK 5引入的一个特性,它允许我们定义类和接口的时候使用参数类型,泛型在集合框架中被广泛使用。类型擦除是泛型中最让人困惑的部分,本篇文章将阐明什么是类型擦除,以及如何使用它。
站在用户的角度思考问题,与客户深入沟通,找到连山网站设计与连山网站推广的解决方案,凭借多年的经验,让设计与互联网技术结合,创造个性化、用户体验好的作品,建站类型包括:做网站 、成都做网站、企业官网、英文网站、手机端网站、网站推广、空间域名、雅安服务器托管 、企业邮箱。业务覆盖连山地区。
一个常见错误
package simplejava;
import java.util.ArrayList;
public class Q29 {
public static void main(String[] args) {
ArrayList al = new ArrayList();
al.add("a");
al.add("b");
accept(al);
}
public static void accept(ArrayList al) {
for (Object o : al)
System.out.println(o);
}
}以上代码看起来是没问题的,因为String是Object的子类。然而,这并不会工作,编译不会通过,并提示如下错误:
The method accept(ArrayList) in the type Q29 is not applicable for the arguments (ArrayList)
List和List
原因在于类型擦除。记住:Java的泛型机制是在编译级别实现的。编译器生成的字节码在运行期间并不包含泛型的类型信息。
在编译之后,List和List将变成List,Object和String类型信息对于JVM来说是不可见的。在编译阶段,编译器发现它们不一致,因此给出了一个编译错误。
通配符和有界通配符
List<? >表示List能包含任何类型的元素
public static void main(String args[]) {
ArrayList al = new ArrayList();
al.add("abc");
test(al);
}
public static void test(ArrayList<?> al) {
for (Object e : al) {// no matter what type, it will be Object
System.out.println(e);
// in this method, because we don't know what type ? is, we can not
// add anything to al.
}
}
永远记住,泛型是一个编译时的概念。在这个例子中,由于我们不知道?,我们不能添加任何元素到al集合。如果想要添加的话,可以使用通配符。
List< Object > - List can contain Object or it's subtype List< ? extends Number > - List can contain Number or its subtypes. List< ? super Number > - List can contain Number or its supertypes.
与数组比较
现在,我们知道了ArrayList 并不是ArrayList 的子类型,不过,你需要知道如果两个泛型类型有相同的参数,它们的继承关系是依据其类型。如ArrayList是Collecton的子类型。
然而,数组却不同,它们在运行期间知道每个元素的类型且强制它们的元素为该类型,这叫reification。举个例子,Object[] objArray是String[] strArr的超类型。如果你尝试往存储整型的数组添加字符串对象,将会在运行期间得到一个ArrayStoreException异常。
译文链接:http://www.programcreek.com/2011/12/java-type-erasure-mechanism-example/
总结
以上所述是小编给大家介绍的Java类型擦除机制,希望对大家有所帮助,如果大家有任何疑问欢迎给我留言,小编会及时回复大家的!
当前名称:详解Java类型擦除机制
文章分享:http://wtcwzsj.com/article/pgsigd.html
关于我们
我们的服务
网站建设案例
新闻动态
联系我们
135-1821-9792
公司服务热线
Copyright © 2009-2022 www.wtcwzsj.com 青羊区广皓图文设计工作室(个体工商户) 版权所有 蜀ICP备19037934号