5

您能否解释一下为什么可以这样做：

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 的所有内容添加到列表中。我可以看到不这样做的唯一原因，因为很容易将 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());

我不清楚。

4

2 回答 2

2

考虑

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

它是 C 的列表。如果我们可以将 B 添加到它，那将违反列表类型。

于 2011-05-26T09:45:54.570 回答
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 的子类。

于 2011-05-27T07:43:28.200 回答