本文讲述以下几个方面的内容，试图说明泛型类型的子类及通配符的使用。

　　（1）    子类及替换原则；

　　（2）    使用extends关键字的通配符；

　　（3）    使用super关键字的通配符；

　　（1）    子类及替换原则

　　在java语言中，我们通俗讲一个类是另一个类的子类型，是通过使用extends关键字去继承某一个类或者使用implements关键字去实现某些接口。这样我们在编程时就可以面向接口或基类进行编程，如：

　　number num1 = new integer（1）；

　　number num2 = new double（2.1d）；

　　这个就是所谓的替换原则，替换原则的定义是：

　　substitution principle： a variable of a given type may be assigned a value of any subtype of that type， and a method with a parameter of a given type may be invoked with an argument of any subtype of that type.

　　大概的意思是说某种类型的变量可以被该类型的任何子类所赋值，一个方法中的参数也可以被该参数的任何子类进行调用。

　　现在我们再来看看泛型中替换原则的适用性：

　　example2.1

　　list<number> listnums = new arraylist<number>（）；

　　nums.add（10）；

　　nums.add（8.88）；

　　在example2.1 中，可以看出替换原则被很好地应用在这里，arraylist是list的子类，我们提供给listnums变量的类型参数为number，往 listnums中添加元素时，10被封箱为integer类型，而integer是number的子类，第三行的情况类似。

　　example2.2

　　list<integer> intlist = new arraylist<integer>（）；

　　list<number> numlist = intlist；   //compile error

　　…

　　numlist.add（1.35）； // can‘t do that

　　根据替换原则，我们会很容易想到，既然integer是number的子类，则我们应该可以将list<integer>的变量赋给 list<number>的变量，但从实际情况表明，list<integer>并不是list<number>的子类。

　　我们不妨试想想，若果list<integer>类型的变量可以成功赋值给list<number>类型的变量，会出现什么情况？我们可能在程序的某个位置添加一个double类型的元素进去numlist中，而实质上在numlist中其它元素都是integer 的类型的元素，这样就违背了泛型的初衷了。

　　有时，我们确实希望将形如list<integer>的list对象赋给list<number>的变量，这时就要使用extends关键字的通配符。

　　（2）    使用extends关键字的通配符

　　example2.3

　　list<integer> intlist = new arraylist<integer>（）；

　　list<？ extends number> numlist = intlist（）；

　　…

　　numlist.add（1.35）； //compile error （can‘t do that）

　　从example2.3看到numlist这个变量，我们可以将类型参数为number及其number子类的list赋给它。

　　记住一条规则如果你使用了“？ extends t”，一般情况下，你不能往该数据结构中put元素，而你可以做的就是get元素。

　　如果要往内put元素，就需要使用下面提到的super关键字的通配符。

　　（3）    使用super关键字的通配符

　　example2.4

　　list<integer> intlist = new arraylist<integer（）；

　　list<？ super integer> numlist = intlist；

　　numlist.add（3）； //can put integer or null

　　在example2.4 我们可以看到<？ super integer>的意思为，我们可以将类型参数为integer或integer超类的list赋给 numlist变量，并且可以put元素到列表中（注意：在该例子中put进的元素只能为integer或null类型）。

　　一条比较通用的规则：如果要往list中put元素则用<？ super t>，如果要从list中get元素则用<？ extends t>，如果既要get又要put则不使用通配符。