Java泛型中的通配符

最近想学学集合框架的源代码，结果画风是这样的：

boolean addAll(Collection<? extends E> c);
default boolean removeIf(Predicate<? super E> filter) {
    ...
}
boolean containsAll(Collection<?> c);

一下就暴露了泛型没好好学的锅= =，今天总结一下。

---

下文统一使用这两个类进行说明。

class Fruit {}
class Apple extends Fruit {}

---

泛型中的通配符

上边界限定通配符

用法：<? extends Fruit>

即当前类型 X = ? extends Fruit，类似X <= Fruit的感觉

这个X类型，表示是某个Fruit子类(或者Fruit本身)的类型，这也就意味着X类型有多种可能性，而编译器无法判定是哪一个类型，所以通过这种方法声明的List无法添加元素，只允许取出元素，取出的元素全都会向上转型。

---

下边界限定通配符/超类型的通配符

用法：<? super Fruit>

即当前类型 X = ? super Fruit，类似X >= Fruit的感觉

这里的X类型，表示是某个Fruit父类(或者Fruit本身)的类型，虽然这里的X的类型也有多种可能性，但是编译器可以断定，只要加入的类型是Fruit子类或者Fruit本身，就一定可以向上转型。所以通过这种方法声明的List允许添加Fruit及其子类型的对象，加入的对象会自动向上转型成Fruit。

与上边界通配符的配合：

class Test {
    public static <T> void copy(List<? super T> dest, List<? extends T> src) {
        for (int i = 0; i < src.size(); i++)
            dest.set(i, src.get(i));
    }
}

---

无边界通配符

用法：<?>

即当前类型X不限定范围，可能是任意的一个类型。所以自然也就无法向其添加任何元素了。用法类似于extends，不过get出来的是Object类型就是了。

---

PS

引子中的removeIf是一个默认方法，不得不赞一发，既扩展了接口方法，又不使得实现接口的类去添加新方法的覆盖，具体见参考资料。之后别人再问接口和抽象类的区别，就不能说普通类实现接口一定要实现所有方法了，2333。

参考资料

1. Java 泛型总结（三）：通配符的使用
2. Java 8 默认方法（Default Methods）