已经说明了一般的继承关系。 PairInteger不是pair编号的子类。
假设您定义了PairT :
public class PairT { . }接下来,我们为PairNumber类型编写了静态方法。 接收支付编号类型。
publicclasspairhelper { staticintadd (pairnumberp ) { Number first=p.getFirst ); Number last=p.getLast (; return first.intValue () last.intValue ); }上述代码可以正常编译。 使用时,我们输入:
intsum=pair helper.add (newpairnumber (1,2 ); 注意:传递的类型为PairNumber,实际参数类型为(Integer,Integer )。
实际参数为Integer类型,请尝试传递给PairInteger。
公共类主{ } classpairt { privatetfirst; 隐私最后; 公共支付(t first,T last ) { this.first=first; this.last=last; } public T getFirst () { return first; } public T getLast () { return last; }} Run
如果直接运行,将发生编译错误。
incompatible types : pairintegercannotbeconvertedtopairnumber的原因很明显。 添加(pairnumber )不接受参数类型的pair,因为pairinteger不是pairnumber的子类
但是,add ) )方法的代码可以看出,传递给PairInteger是完全符合内部代码类型化的语句。
Number first=p.getFirst (; Number last=p.getLast (; 实际类型为Integer,引用类型为Number,没有问题。 问题是方法参数类型是固定的,只能传递给PairNumber。
方法参数是否有接受PairInteger的方法? 有办法。 这就是使用Pair吗? 使用extends Number,方法可以接收Number或Number子类的所有泛型类型的Pair。 将代码改写为:
公共类主{ } classpairt { privatetfirst; 隐私最后; 公共支付(t first,T last ) { this.first=first; this.last=last; } public T getFirst () { return first; } public T getLast () { return last; }} Run
这样,当向方法传递PairInteger类型时,它是否与参数Pair匹配? 扩展编号类型。 这样使用? 扩展编号的常规定义称为Upper Bounds Wildcards,它将通用类型t的常规边界设置为编号。
除了PairInteger类型外,还可以传递PairDouble类型、PairBigDecimal类型等。 因为双精度和BigDecimal都是Number的子类。
如果我们考察一下Pair呢? extends Number类型调用getFirst ()方法,实际方法签名如下所示:
? 扩展编号获取第一个(; 这意味着返回值是Number或Number的子类,因此可以安全地分配给Number类型的变量。
Number x=p.getFirst (; 其次,无法预测实际类型为Integer。 例如,不能编译以下代码:
Integer x=p.getFirst (; 这是因为编译器必须是确定的,具体取决于实际返回类型是Integer、Double还是其他类型
定类型一定是Number的子类(包括Number类型本身),但具体类型无法确定。我们再来考察一下Pair<T>的set方法:
public class Main { }class Pair<T> { private T first; private T last; public Pair(T first, T last) { this.first = first; this.last = last; } public T getFirst() { return first; } public T getLast() { return last; } public void setFirst(T first) { this.first = first; } public void setLast(T last) { this.last = last; }}Run
不出意外,我们会得到一个编译错误:
incompatible types: Integer cannot be converted to CAP#1where CAP#1 is a fresh type-variable: CAP#1 extends Number from capture of ? extends Number编译错误发生在p.setFirst()传入的参数是Integer类型。有些童鞋会问了,既然p的定义是Pair<? extends Number>,那么setFirst(? extends Number)为什么不能传入Integer?
原因还在于擦拭法。如果我们传入的p是Pair<Double>,显然它满足参数定义Pair<? extends Number>,然而,Pair<Double>的setFirst()显然无法接受Integer类型。
这就是<? extends Number>通配符的一个重要限制:方法参数签名setFirst(? extends Number)无法传递任何Number类型给setFirst(? extends Number)。
这里唯一的例外是可以给方法参数传入null:
p.setFirst(null); // ok, 但是后面会抛出NullPointerExceptionp.getFirst().intValue(); // NullPointerException extends通配符的作用如果我们考察Java标准库的java.util.List<T>接口,它实现的是一个类似“可变数组”的列表,主要功能包括:
public interface List<T> { int size(); // 获取个数 T get(int index); // 根据索引获取指定元素 void add(T t); // 添加一个新元素 void remove(T t); // 删除一个已有元素}现在,让我们定义一个方法来处理列表的每个元素:
int sumOfList(List<? extends Integer> list) { int sum = 0; for (int i=0; i<list.size(); i++) { Integer n = list.get(i); sum = sum + n; } return sum;}为什么我们定义的方法参数类型是List<? extends Integer>而不是List<Integer>?从方法内部代码看,传入List<? extends Integer>或者List<Integer>是完全一样的,但是,注意到List<? extends Integer>的限制:
允许调用get()方法获取Integer的引用;不允许调用set(? extends Integer)方法并传入任何Integer的引用(null除外)。因此,方法参数类型List<? extends Integer>表明了该方法内部只会读取List的元素,不会修改List的元素(因为无法调用add(? extends Integer)、remove(? extends Integer)这些方法。换句话说,这是一个对参数List<? extends Integer>进行只读的方法(恶意调用set(null)除外)。
使用extends限定T类型在定义泛型类型Pair<T>的时候,也可以使用extends通配符来限定T的类型:
public class Pair<T extends Number> { ... }现在,我们只能定义:
Pair<Number> p1 = null;Pair<Integer> p2 = new Pair<>(1, 2);Pair<Double> p3 = null;因为Number、Integer和Double都符合<T extends Number>。
非Number类型将无法通过编译:
Pair<String> p1 = null; // compile error!Pair<Object> p2 = null; // compile error!因为String、Object都不符合<T extends Number>,因为它们不是Number类型或Number的子类。
小结使用类似<? extends Number>通配符作为方法参数时表示:
方法内部可以调用获取Number引用的方法,例如:Number n = obj.getFirst();;
方法内部无法调用传入Number引用的方法(null除外),例如:obj.setFirst(Number n);。
即一句话总结:使用extends通配符表示可以读,不能写。
使用类似<T extends Number>定义泛型类时表示:
泛型类型限定为Number以及Number的子类。地址:https://www.liaoxuefeng.com/wiki/1252599548343744/1265105899616928