让我们假设以下类层次 struct :
class A{}
class B extends A{}
class C extends B{}
class D extends C{}
在Java中，可以使用以下泛型定义通配符:
List<? extends A> aOrDown;//A or any subtype of A
List<? super D> dOrUp;//D or any supertype of D
是否可以将同一通配符同时绑定到上限和下限？
我会这样想象:
List<? extends A super B> combined;
List<? extends A & super B> combined;
然而，这些似乎会引发编译时错误.
有没有办法将通用通配符绑定到类层次 struct 的特定部分？
我感兴趣的是这在理论上是否可行，我没有这方面的实际用例
Section 4.5.1 of the JLS指定通用通配符的语法:
TypeArguments: < TypeArgumentList > TypeArgumentList: TypeArgument {, TypeArgument} TypeArgument: ReferenceType Wildcard Wildcard: {Annotation} ? [WildcardBounds] WildcardBounds: extends ReferenceType super ReferenceType
在这里，WildcardBounds写在方括号中.在Section 2.4 of the JLS中，解释了在这种情况下，方括号表示只能放置一次的可选元素:
产品右侧的语法[x]表示x的零次或一次出现.也就是说，x是可选符号.包含可选符号的替代方案实际上定义了两个替代方案:一个省略可选符号，另一个包含可选符号.
对于有界泛型通配符，这意味着只允许一个通配符界.