java - 和 不一样吗？

Question

我对以下两个方法声明感到困惑:

    private <U, T extends U> T funWorks(T child, U parent) {
      // No compilation errors
    }

    private <T, U super T> T funNotWorks(T child, U parent) {
      // compilation errors    
    }

难道上面两个都不是有效的吗？类比如果 U 是 T 的父级，则 T 是 U 的子级。那为什么第二个会报编译错误呢？

编辑:我认为，T extends T 和 T super T 都是有效的。对吧？

Answer 1

• 类型参数(您的示例)只能使用扩展(JLS #4.4):

TypeParameter:
    TypeVariable TypeBoundopt

TypeBound:
    extends TypeVariable
    extends ClassOrInterfaceType AdditionalBoundListopt

AdditionalBoundList:
    AdditionalBound AdditionalBoundList
    AdditionalBound

AdditionalBound:
    & InterfaceType

• 通配符可以使用 extends 或 super ( JLS #4.5.1 ):

TypeArguments:
    < TypeArgumentList >

TypeArgumentList: 
    TypeArgument
    TypeArgumentList , TypeArgument

TypeArgument:
    ReferenceType
    Wildcard

Wildcard:
    ? WildcardBoundsopt

WildcardBounds:
    extends ReferenceType
    super ReferenceType