java - 对象的通用下界

Question

可以将通用参数绑定(bind)编码为:

public <T super Object> void someMethod(T t);

这种界限是否有效？

Answer 1

根据 JLS http://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.4类型参数(< T extends Object > 术语)包括:

TypeParameter:
    TypeVariable TypeBound*

TypeBound:
    extends TypeVariable
    extends ClassOrInterfaceType AdditionalBoundList*

AdditionalBoundList:
    AdditionalBound AdditionalBoundList
    AdditionalBound

AdditionalBound:
    & InterfaceType

* = 可选

您看到TypeBound，只有extends 指定了用法。不幸的是，未指定使用 super 的下限类型参数。下限仅在通配符用法中指定 ( JLS#4.5.1 )

好问题，这让我深入研究了 JLS，我不知道为什么这没有在 java 中实现，只是没有指定。