java – 通配类型的协方差和逆变

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

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

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

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

 List

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

 List

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

 B b = lstC.get(0);

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

也是为什么它禁止

 lstC.add(new B());

这对我来说并不清楚.

最佳答案

要了解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

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