这篇文章主要介绍“java泛型实例代码分析”的相关知识,小编通过实际案例向大家展示操作过程,操作方法简单快捷,实用性强,希望这篇“java泛型实例代码分析”文章能帮助大家解决问题。
创新互联长期为上千家客户提供的网站建设服务,团队从业经验10年,关注不同地域、不同群体,并针对不同对象提供差异化的产品和服务;打造开放共赢平台,与合作伙伴共同营造健康的互联网生态环境。为通州企业提供专业的网站设计、成都做网站,通州网站改版等技术服务。拥有10年丰富建站经验和众多成功案例,为您定制开发。
先简单来段例子:
public void testGenerics() {
Collection numbers = new ArrayList<>();
numbers.add(1); // ok
Collection> tmp = numbers;
// don't work, you don't know what type 'tmp' obviously contains
// tmp.add(1);
Collection extends Number> tmp2 = numbers;
// don't work, you don't know what subtype 'tmp2' obviously contains
// tmp2.add(1);
Collection integers = new ArrayList<>();
tmp = integers;
tmp2 = integers;
Collection strings = new ArrayList<>();
tmp = strings;
// tmp2 = strings; // don't work
}
这个问题其实有点反人类,估计大部分人(包括我)对这种转换的第一反应肯定是“当然是对的。。”,说下我的理解:
Collection
:表示这个Collection里包含的都是Number类型的对象,可以是Integer/Long/Float,因为编译器可以判断obj instanceof Number == true; Collection extends Number>:表示这个Collection是Number类型的“某个子类型”的Collection实例,可以是Collection
/Collection ,所以调用tmp.add(1)是不行的,因为编译器不知道这个tmp包含的元素到底是Number的哪个子类型,编译器无法判断obj instanceof UnknownType的结果; Collection
,这个E类型是“一个”具体的类型,而不能是某个parent的多个子类型。
说到为什么在不明确类型的情况下不能允许写操作,那是为了运行期的安全,举个例子:
public void testGenerics2() {
List integers = new ArrayList<>();
List extends Comparable> comparables = integers;
integers.add("1");
comparables.get(0).intValue(); // fail
}
如果comparables允许添加Comparable类型,那么运行期就有可能会抛出一些意料之外的RuntimeException,导致方法不正常结束甚至程序crash。
现在再来说说Collection
public void testGenerics3() {
List integers = new ArrayList<>();
List objects = integers; // don't work
List> objects1 = integers; // ok
}
Collection>表示的范围比Collection
大; 表示任意类型集合的正确写法是Collection>;
Collection
不能表示任意类型的集合。
为什么Collection
public void testGenerics4() {
List integers = new ArrayList<>();
List objects = new ArrayList<>();
// this will be ok if List equals List>
// objects = strings;
// objects.add("1");
// Integer i = (Integer) objects.get(0); // and crashes
List> objects1 = new ArrayList<>(); // ok
// objects1.add("1"); // compiler will make it illegal
}
List
是可以往集合add数据的,因为Object是所有对象的父类,是已知类型,可以用obj instanceof Object判断; List>编译器是不允许往里面丢数据的,因为不知道List到底是哪种数据类型的集合,不能用obj instanceof UnknownType判断;
?才是表示未知类型,Object表示的是已知类型;
如果List
表示任意类型,按照墨菲定律(可能会发生的事必然会发生),那么上面例子中的crash是必然会发生的。。(又是一个线上故障)
关于“java泛型实例代码分析”的内容就介绍到这里了,感谢大家的阅读。如果想了解更多行业相关的知识,可以关注创新互联行业资讯频道,小编每天都会为大家更新不同的知识点。
分享文章:java泛型实例代码分析
分享链接:http://lswzjz.com/article/pjjpsc.html