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

考虑

    List<? extends A> la = new ArrayList<C>();

如果我们可以向其添加B，那么它就是C.的列表，这会违反列表类型。

Answer 2

要了解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的子类。

通配类型的协方差和逆变

2 个答案: