jdk各版本的区别(三)

集合之外
这里有三个泛型类型的例子，它们不是集合，而是以一种新颖的方式使用泛型。这三个例子都来自标准的Java库：

Class
Class在类的类型上被参数化了。这就使无需类型强制转换而构造一个newInstance成为可能。
Comparable
Comparable被实际的比较类型参数化。这就在compareTo()调用时提供了更强的类型化。例如，String实现Comparable。对除String之外的任何东西调用compareTo()，都会在编译时失败。
Enum>
Enum被枚举类型参数化。一个名为Color的枚举类型将扩展Enum。getDeclaringClass()方法返回枚举类型的类对象，在这个例子中就是一个Color对象。它与getClass()不同，后者可能返回一个无名类。

通配符
泛型最复杂的部分是对通配符的理解。我们将讨论三种类型的通配符以及它们的用途。
首先让我们了解一下数组是如何工作的。可以从一个Integer[]为一个Number[]赋值。如果尝试把一个Float写到Number[]中，那么可以编译，但在运行时会失败，出现一个ArrayStoreException：
Integer[] ia = new Integer[5];

Number[] na = ia;

na[0] = 0.5; // compiles, but fails at runtime

如果试图把该例直接转换成泛型，那么会在编译时失败，因为赋值是不被允许的：

List iList = new ArrayList();

List nList = iList; // not allowed

nList.add(0.5);

如果使用泛型，只要代码在编译时没有出现警告，就不会遇到运行时ClassCastException。

上限通配符
我们想要的是一个确切元素类型未知的列表，这一点与数组是不同的。
List是一个列表，其元素类型是具体类型Number。
List< extends Number>是一个确切元素类型未知的列表。它是Number或其子类型。

上限
如果我们更新初始的例子，并赋值给List< extends Number>，那么现在赋值就会成功了：
List iList = new ArrayList();

List< extends Number> nList = iList;

Number n = nList.get(0);

nList.add(0.5); // Not allowed

我们可以从列表中得到Number，因为无论列表的确切元素类型是什么（Float、Integer或Number），我们都可以把它赋值给Number。
我们仍然不能把浮点类型插入列表中。这会在编译时失败，因为我们不能证明这是安全的。如果我们想要向列表中添加浮点类型，它将破坏iList的初始类型安全——它只存储Integer。
通配符给了我们比数组更多的表达能力。

为什么使用通配符
在下面这个例子中，通配符用于向API的用户隐藏类型信息。在内部，Set被存储为CustomerImpl。而API的用户只知道他们正在获取一个Set，从中可以读取Customer。
此处通配符是必需的，因为无法从Set向Set赋值：
public class CustomerFactory {

private Set _customers;

public Set< extends Customer> getCustomers() {

return _customers;

}

}

通配符和协变返回
通配符的另一种常见用法是和协变返回一起使用。与赋值相同的规则可以应用到协变返回上。如果希望在重写的方法中返回一个更具体的泛型类型，声明的方法必须使用通配符：
public interface NumberGenerator {

public List< extends Number> generate();

}

public class FibonacciGenerator extends NumberGenerator {

public List generate() {

...

}

}

如果要使用数组，接口可以返回Number[]，而实现可以返回Integer[]。

下限
我们所谈的主要是关于上限通配符的。还有一个下限通配符。List< super Number>是一个确切“元素类型”未知的列表，但是可能是Mnumber，或者Number的超类型。所以它可能是一个 List或一个List