通配类型的协方差和逆变

Question

你能解释为什么可以这样做:

import java.util.ArrayList;
import java.util.List;

public class Covariance {

    class A {
    }

    class B extends A {
    }

    class C extends A {
    }

    public void testSmth() throws Exception {
        List<? extends A> la = new ArrayList<A>();
        A a = la.get(0);
        // la.add(new B()); - doesn't compile

        List<? super B> lb = new ArrayList<A>();
        // lb.add(new A()); - doesn't compile
        lb.add(new B());
        Object object = lb.get(0);
    }

}

我不明白,为什么不可能向协变列表la添加内容,但仍然可以将B添加到逆变列表lb - 但不是A到lb.

从我的角度来看,应该可以添加A到List的所有内容.我可以看到不这样做的唯一原因,因为很容易将C添加到B的列表中,比如

 List<B> lst = new ArrayList<B>();
 List<? extends A> lstB = lst;
 lstB.add(C); // this is valid for <? extends B> but list lst would contain instance of B.

对于逆变,可能也是如此,例如

 List<B> lst = new ArrayList<B>;
 List<? super C> lstC = lst;
 lstC.add(new C());
 Object obj = lstC.get(0);

我不明白 - 为什么不可能这样做

 B b = lstC.get(0);

很明显,在这个阶段,超级C将是B类 - Java不允许多重继承.

也是为什么它禁止

 lstC.add(new B());

这对我来说并不清楚.

Answer 1

要了解 super 关键字的作用，请考虑以下内容：

import java.util.ArrayList;
import java.util.List;

public class Covariance {

    class A {
    }

    class B extends A {
    }

    class C extends A {
    }

    class D extends C {}

    public void testSmth() throws Exception {
        List<? super D> ld = new ArrayList<C>();
    }

}

希望这说明 ld 可以是 D 的任何超类型的列表，甚至是 A 的子类。