anidada genérica en una clase genérica

Question

quiero dar algo como esto en mi api:

class Foobar extends AbstractThing<Double> 

class EventThing<Foobar> {  
      public Foobar getSource(); 
      public Double getValue(); 
} 

así que escribir esto:

class EventThing<T extends AbstractThing<U>> {  
     public T getSource(); 
     public U getValue(); 
} 

Pero Java no puede resolver el U.

Con EventThing<T extends AbstractThing<U>,U> en su lugar funciona, pero el segundo U es realmente redundante porque el AbtractThing ya define el Tipo. Entonces me encanta deshacerme de eso.

Answer 1

No puede deshacerse de él. El segundo U no es redundante. Desea que el compilador interprete el primer U como parámetro de tipo, pero no es así. También podría haber escrito esto:

class EventThing<T extends AbstractThing<Double>> 

Tenga en cuenta que Double en este caso es una clase concreta, y no un parámetro de tipo. Compare esto con lo siguiente:

class EventThing<T extends AbstractThing<U>> 

Tenga en cuenta que tiene exactamente la misma forma que la primera línea del código anterior. ¿Cómo se supone que el compilador debe saber que en el primer caso, Double se entiende como una clase concreta, mientras que en el segundo caso, U se entiende como un parámetro de tipo?

El compilador no puede saber eso, y trata el U como una clase concreta, como el Double en la primera línea. La única manera para que el compilador sabe que U es un parámetro de tipo es especificar como tal:

class EventThing<T extends AbstractThing<U>, U>