java遗珠之泛型通配符

通配符

我们在之前说过明确指定了泛型类型的参数之后，会把参数限制的很严格，通配符的作用就是放宽这种限制，有上限有界通配符<? 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);
    }

这样就可以正常工作了。