泛型定义中的通配符

阅读更多

泛型定义中的通配符

List foo3

 
含义是：变量foo3可以包含任何继承自Number的类型。
以下都是合法的定义：

List foo3 = new ArrayList();  //Number "extends" Number
List foo3 = new ArrayList();  //Integer "extends" Number
List foo3 = new ArrayList();  //Double "extends" Number

 
因此，考虑到以上可能的定义，什么类型的对象可以被合法的添加到List foo3中呢？

• 你不能添加Integer对象，因为foo3可能被定义为 List。
• 你不能添加Double对象，因为foo3可能被定义为 List。
• 你不能添加Number对象，因为foo3可能被定义为 List。

你不能添加任何对象到List中，因为你不能确定List真正被定义成什么，也就不能确定某个类型是否可以被List接受。
唯一可以确定的是你可以从List中读取一个Number类型的对象或一个Number类型的子类对象。

相反的逻辑也使用于super，如List。一下定义都是合法的：

List foo3 = new ArrayList();  //Number is a "super" of Number
List foo3 = new ArrayList