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 语言描述的类型？

Answer 1

根据Oracle 文档，这是无法完成的：

注意：您可以指定通配符的上限，也可以指定下限，但不能同时指定两者。