java遗珠之泛型通配符

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/lastsweetop/article/details/83010344

通配符

我们在之前说过明确指定了泛型类型的参数之后,会把参数限制的很严格,通配符的作用就是放宽这种限制,有上限有界通配符<? extends A>,下限有界通配符<? extends B>,无界通配符<?>

虽然通配符可以使用在字段,本地变量和方法中,但是类和外界的交互主要是方法,就限定的意义本身还是主要通过方法来体现,因此我们主要说方法。

考虑到通配符的一个弱点,遍历和移除肯定是没问题的,就是不能对通配符修饰的类型进行添加元素操作(可以添加null)。

比如:

    void swapFirst(List<? extends Number> l1, List<? extends Number> l2) {
        Number temp = l1.get(0);
        l1.set(0, l2.get(0)); // expected a CAP#1 extends Number,
        // got a CAP#2 extends Number;
        // same bound, but different types
        l2.set(0, temp);        // expected a CAP#1 extends Number,
        // got a Number
    }

编译阶段居然会报错,编译器无法确认类型是正确的,因为你输入的具体类型可能是Number的子类哦。

in变量,out变量

上限有界是in变量,而下限有界是out变量,如果in和out是同一个变量那么就不能使用通配符。

通过这点我们改下上面的代码

    void swapFirst(List<? extends Number> l1, List<? super Number> l2) {
        Number temp = l1.get(0);
//        l1.set(0, l2.get(0)); // expected a CAP#1 extends Number,
        // got a CAP#2 extends Number;
        // same bound, but different types
        l2.set(0, temp);        // expected a CAP#1 extends Number,
        // got a Number
    }

out变量和in变量相同时。

这种情况下只能写泛型来实现了,也能达到同样的效果

    <E extends Number> void swapSecond(List<E> l1, List<E> l2) {
        E temp = l1.get(0);
        l1.set(0, l2.get(0));
        l2.set(0, temp);
    }

这样就可以正常工作了。

展开阅读全文

没有更多推荐了,返回首页