¿No son <U, T se extiende U> y <T, U super T> lo mismo?

Question

que tienen una confusión en el seguimiento de las declaraciones de dos métodos:

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  
    } 

En caso de que no tanto de lo anterior sea válida? Con la analogía de Si U es padre de T, entonces T es hijo de U. Entonces, ¿por qué el segundo da error de compilación?

EDIT :: Creo que T extends T y T super T son válidos. derecho ?

Answer 1

• parámetros de tipo (el ejemplo) sólo pueden utilizar extiende (JLS #4.4):

TypeParameter: 
    TypeVariable TypeBoundopt 

TypeBound: 
    extends TypeVariable 
    extends ClassOrInterfaceType AdditionalBoundListopt 

AdditionalBoundList: 
    AdditionalBound AdditionalBoundList 
    AdditionalBound 

AdditionalBound: 
    & InterfaceType 

• comodines puede utilizar cualquiera extends o super (JLS #4.5.1):

TypeArguments: 
    <TypeArgumentList> 

TypeArgumentList: 
    TypeArgument 
    TypeArgumentList , TypeArgument 

TypeArgument: 
    ReferenceType 
    Wildcard 

Wildcard: 
    ? WildcardBoundsopt 

WildcardBounds: 
    extends ReferenceType 
    super ReferenceType 

Answer 2

No puede enlazar un nombre genérico con super. Consulte también this publicación de stackoverflow.