Nested generic in einer generischen Klasse

Question

ich so etwas wie dies in meinem api zur Verfügung stellen möchten:

class Foobar extends AbstractThing<Double> 

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

So schreibe ich dies:

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

Aber java die U nicht auflösen kann.

Mit EventThing<T extends AbstractThing<U>,U> funktioniert es stattdessen, aber die zweite U ist eigentlich redundant, weil die AbtractThing den Typ bereits definieren. Also ich liebe es, es los zu werden.

Answer 1

Sie können es nicht loswerden. Die zweite U ist nicht redundant. Sie möchten, dass der Compiler den ersten U als Typparameter interpretiert, tut dies aber nicht. Sie könnten auch diese geschrieben haben:

class EventThing<T extends AbstractThing<Double>> 

Beachten Sie, dass Double in diesem Fall eine konkrete Klasse ist, und nicht ein Typparameter. Vergleichen Sie dies mit den folgenden:

class EventThing<T extends AbstractThing<U>> 

Beachten Sie, dass dies die gleiche Form wie die erste Zeile des obigen Codes hat. Wie soll der Compiler wissen, dass im ersten Fall Double als konkrete Klasse gemeint ist, während im zweiten Fall U als Typparameter gemeint ist? Der Compiler kann das nicht wissen und behandelt U als eine konkrete Klasse, genau wie die Double in der ersten Zeile. Der einzige Weg, den Compiler zu informieren, dass U ist ein Typparameter als solche zu spezifizieren ist:

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