首页 > 编程知识 正文

常用通配符,通配符搜索

时间:2023-05-04 11:25:56 阅读:114798 作者:1828

已经说明了一般的继承关系。 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

版权声明:该文观点仅代表作者本人。处理文章:请发送邮件至 三1五14八八95#扣扣.com 举报,一经查实,本站将立刻删除。