泛型中的通配符：“？超级T”有效，而“？延伸T”不是吗？

Question

我的问题是有关Java 7中的泛型的。假设我们有这样的类层次结构：

interface Animal {}    
class Lion implements Animal {}    
class Butterfly implements Animal {}

就像在Java泛型教程中一样

我们还有一堂课

class Cage<T> {
    private List<T> arr = new ArrayList<>();
    public void add(T t) {
        arr.add(t);
    }
    public T get() {
        return arr.get(0);
    }
}

这是使用该类的代码：

public static void main(String[] args) {
        Cage<? extends Animal> cage = new Cage<>();
        Animal a = cage.get(); //OK
        cage.add(new Lion()); //Compile-time error
        cage.add(new Butterfly()); //Compile-time error   
    }

问题1：

我在这里已经阅读了有关这些问题的信息，但仅仅是这样Cage<?>。但我告诉编译器<? extends Animal>这样类型T的Cage<T>将是任何动物类型的亚型。那么为什么它仍然给出编译时错误？

问题2：

如果我指定Cage<? super Animal> cage = ...而不是Cage<? extends Animal> cage = ...一切正常，那么编译器不会说不好。为什么在这种情况下它可以正常工作而在上面的示例中却失败了？

Answer 1

笼子必须能够容纳 两种 动物。“ super”表示-表示笼子必须能够容纳 所有 类型的动物-也许还有其他一些东西，因为它? super Animal可能是Animal的超类。“扩展”表示它可以容纳 某些 动物-例如，也许只是狮子，例如：

Cage<? extends Animal> cage = new Cage<Lion>();

这是一个有效的声明，但很明显，狮子笼不会容纳蝴蝶，所以

cage.add(new Butterfly());

不会编译。该声明

cage.add(new Lion());

也不会编译，因为这里的Java正在查看笼的声明Cage<? extends Animal>--而不是现在分配给它的对象（Cage<Lion>）。