java泛型实例代码分析

对于一个文章开发者来说，牢固扎实的基础是十分重要的，golang学习网就来带大家一点点的掌握基础知识点。今天本篇文章带大家了解《java泛型实例代码分析》，主要介绍了，希望对大家的知识积累有所帮助，快点收藏起来吧，否则需要时就找不到了！

先简单来段例子：

<code>public void testGenerics() {<br>        Collection<Number> numbers = new ArrayList<>();<br>        numbers.add(1); // ok<br><br>        Collection<?> tmp = numbers;<br>        // don't work, you don't know what type 'tmp' obviously contains<br>//        tmp.add(1);<br><br>        Collection<? extends Number> tmp2 = numbers;<br>        // don't work, you don't know what subtype 'tmp2' obviously contains<br>//        tmp2.add(1);<br><br>        Collection<Integer> integers = new ArrayList<>();<br>        tmp = integers;<br>        tmp2 = integers;<br><br>        Collection<String> strings = new ArrayList<>();<br>        tmp = strings;<br>//        tmp2 = strings; // don't work<br>    }<br></code>

这个问题其实有点反人类，估计大部分人（包括我）对这种转换的第一反应肯定是“当然是对的。。”，说下我的理解：

• Collection：表示这个Collection里包含的都是Number类型的对象，可以是Integer/Long/Float，因为编译器可以判断obj instanceof Number == true；

• Collection：表示这个Collection是Number类型的“某个子类型”的Collection实例，可以是Collection/Collection，所以调用tmp.add(1)是不行的，因为编译器不知道这个tmp包含的元素到底是Number的哪个子类型，编译器无法判断obj instanceof UnknownType的结果；

• Collection，这个E类型是“一个”具体的类型，而不能是某个parent的多个子类型。
  

说到为什么在不明确类型的情况下不能允许写操作，那是为了运行期的安全，举个例子：

<code>public void testGenerics2() {<br>    List<Integer> integers = new ArrayList<>();<br><br>    List<? extends Comparable> comparables = integers;<br>    <br>    integers.add("1");<br>    <br>    comparables.get(0).intValue(); // fail<br>}<br></code>

如果comparables允许添加Comparable类型，那么运行期就有可能会抛出一些意料之外的RuntimeException，导致方法不正常结束甚至程序crash。

现在再来说说Collection