Java通配符类型的下限和上限

Question

我已经搜索了一下，目前还没有找到在Java中同时对通配符类型设置下限和上限的方法。我不确定是否可能实现，并倾向于认为这是Java中通配符的当前限制。

以下是我正在寻找的示例：

public class A {}
public class B extends A{}
public class C extends B{}
public class D extends C{}

public static void main(String[] args)
{
    List<A> a = Arrays.asList(new A());
    List<B> b = Arrays.asList(new B());
    List<C> c = Arrays.asList(new C());
    List<D> d = Arrays.asList(new D());

    extendsParam(a); // error as A is not assignable to B
    extendsParam(b);
    extendsParam(c); 
    extendsParam(d); // 3 previous ok as they can produce B

    superParam(a);
    superParam(b);
    superParam(c); // 3 previous ok as they can consume C
    superParam(d); // error as C is not assignable to D

    extendsSuperParam(a); // error as A is not assignable to B
    extendsSuperParam(b);
    extendsSuperParam(c); // 2 previous ok as they can consume C and produce B
    extendsSuperParam(d); // error as C is not assignable to D
}

public static void extendsParam(List<? extends B> blist)
{
    B b = blist.get(0);
    blist.add(new C()); // error
}

public static void superParam(List<? super C> clist)
{
    B b = clist.get(0); // error
    clist.add(new C());
}

public static void extendsSuperParam(List<???> bclist)
{
    B b = bclist.get(0); // ok
    bclist.add(new C()); // ok
}

看起来，在通用类型信息的WildcardType.java类中，它支持使用该信息定义一种类型。然而，我无法找到在语言中创建这种类型的方法。

我有遗漏什么吗？还是说这种类型目前无法用Java语言来描述？

- gline9

---

自从 Java 引入泛型以来（15 年前？），我一直在苦苦挣扎，尽管我已经用它们做了非常复杂的事情，但我仍然不能说我完全理解它们。我从未有过像你尝试做的那样的需求。我认为没有办法实现它。 - Mike Nakis

这不是有界通配符的用途。如果您想检索B并添加C，请使用List<B>。有界通配符为调用API的人提供了灵活性-请参见什么是PECS（生产者扩展消费者超级）？。 - Slaw

@Slaw。没错，他们确实为调用API的人提供了一定的灵活性。但在这种情况下，如果我要求他们使用 List<B>，那么即使 List<C> 是他们可以使用的完全合法的类型，他们也不能传入它。我可以为 B 和 C 之间每种可能的类型都添加一个方法，但是对于大型类层次结构或 B 和 C 本身是泛型类型的情况，这将变得难以处理。 - gline9

@Bananon 只是想指出，这个名称有两种类型：java.lang.reflect.WildcardType 和 javax.lang.model.type.WildcardType。 - Slaw

也许这个链接可以帮助你。 - Oleksandr Pyrohov

Answer 1

根据Oracle文档，无法同时指定通配符的上限和下限。请参考链接：https://docs.oracle.com/javase/tutorial/java/generics/lowerBounded.html

- djk