通配符类型的协方差和协方差。

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

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中添加某些内容，但是仍然有可能在协变列表lb中添加B，但不能在lb中添加A。从我的角度来看，应该可以将扩展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());

我不清楚。

已邀请:

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的任何超类型的List，甚至可以是A的子类。

搜洼挂时

考虑

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

这是C的列表。如果我们可以在其中添加B，则会违反列表类型。

要回复问题请先登录或注册

通配符类型的协方差和协方差。

2 个回复

发起人

contravariance

covariance

java

generics

问题状态

通配符类型的协方差和协方差。

与内容相关的链接

2 个回复

发起人

contravariance

covariance

java

generics

问题状态