Effective Java笔记（31）利用有限制通配符来提升 API 的灵活性

        参数化类型是不变的（ invariant ） 。 换句话说，对于任何两个截然不同的类型 Typel 和 Type2 而言， List 能做任何事情，它不是一个子类型 。

        有时候，我们需要的灵活性要比不变类型所能提供的更多 。比如第 29 条中的堆楼 。 提醒一下，下面就是它的公共 API：

public class Stack {
    public Stack();
    public void push(E e);
    public E pop();
    public boolean isEmpty();
}

        假设我们想要增加一个方法，让它按顺序将一系列的元素全部放到堆枝中 。 第一次尝试如下：

public void pushAll(Iterable src) {
    for(E e : src)
        push(e);
}

        这个方法编译时正确无误，但是并非尽如人意 。 如果 Iterable 的 src 元素类型与堆栈的完全匹配，就没有问题 。 但是假如有一个 Stack

Stack  numberStack = new Stack<>() ;
Iterable integers = ...;
numberStack. pushAll(integers);

但是，如果尝试这么做，就会得到下面的错误消息，因为参数化类型是不可变的：

        幸运的是，有一种解决办法 。Java 提供了一种特殊的参数化类型，称作有限制的通配符类型（bounded wildcard type ），它可以处理类似的情况 。pushAll 的输入参数类型不应该为“ E 的 Iterable 接口”，而应该为“ E 的某个子类型的 Iterable 接口”通配符类型Iterable

public void pushAll(Iterable src) {
    for(E e : src)
        push(e);
}

        修改之后，不仅 Stack 可以正确无误地编译，没有通过初始的 pushAll 声明进行编译的客户端代码也一样可以 。 因为 Stack 及其客户端正确无误地进行了编译，你就知道一切都是类型安全的了 。

        现在假设想要编写一个 pushAll 方法，使之与 popAll 方法相呼应 。popAll 方法从堆校中弹出每个元素，并将这些元素添加到指定的集合中 。 初次尝试编写的 popAll 方法可能像下面这样 ：

public void popAll(Col1ection dst) {
    while (!isEmpty())
        dst.add(pop());
}

        此外，如果目标集合的元素类型与堆栈的完全匹配，这段代码编译时还是会正确无误，并且运行良好 。 但是，也并不意味着尽如人意 。 假设你有一个 Stack

Stack numberStack = new Stack() ;
Collection