|
本文讲述以下几个方面的内容试图说明泛型类型的子类及通配符的使用 （） 子类及替换原则 （） 使用extends关键字的通配符 （） 使用super关键字的通配符 （） 子类及替换原则 在java语言中我们通俗讲一个类是另一个类的子类型是通过使用extends关键字去继承某一个类或者使用implements关键字去实现某些接口这样我们在编程时就可以面向接口或基类进行编程如 Number num = new Integer（） Number num = new Double（d） 这个就是所谓的替换原则替换原则的定义是 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 大概的意思是说某种类型的变量可以被该类型的任何子类所赋值一个方法中的参数也可以被该参数的任何子类进行调用 现在我们再来看看泛型中替换原则的适用性 Example List<Number> listNums = new ArrayList<Number>（） numsadd（） numsadd（） 在example 中可以看出替换原则被很好地应用在这里ArrayList是List的子类我们提供给listNums变量的类型参数为Number往 listNums中添加元素时被封箱为Integer类型而Integer是Number的子类第三行的情况类似 Example List<Integer> intList = new ArrayList<Integer>（） List<Number> numList = intList //compile error … numListadd（） // cant 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关键字的通配符 （） 使用extends关键字的通配符 Example List<Integer> intList = new ArrayList<Integer>（） List<？ extends Number> numList = intList（） … numListadd（） //compile error （cant do that） 从Example看到numList这个变量我们可以将类型参数为Number及其Number子类的List赋给它 记住一条规则如果你使用了？ extends T一般情况下你不能往该数据结构中put元素而你可以做的就是get元素 如果要往内put元素就需要使用下面提到的super关键字的通配符 （） 使用super关键字的通配符 Example List<Integer> intList = new ArrayList<Integer（） List<？ super Integer> numList = intList numListadd（） //can put integer or null 在example 我们可以看到<？ super Integer>的意思为我们可以将类型参数为Integer或Integer超类的List赋给 numList变量并且可以put元素到列表中（注意在该例子中put进的元素只能为Integer或null类型） 一条比较通用的规则如果要往List中put元素则用<？ super T>如果要从List中get元素则用<？ extends T>如果既要get又要put则不使用通配符 |
