Generics Puzzler

Question

Sto cercando di capire come ottenere i generici per saltare attraverso i cerchi.

ho:

interface Root { } 
interface Middle extends Root { } 
class Type implements Root { } 

E molti "sottotipo" classi:

class Subtype1 extends Type implements Middle { } 
class Subtype2 extends Type implements Middle { } 
... 

Quello che voglio è quello di dichiarare una classe con due parametri di tipo T e S, dove T è vincolato da Type e S è vincolato a T e Middle.

Non riesco a vedere un modo con generici per garantire che S si estenda T E implementa Middle. Quello che voglio è qualcosa di simile:

class Handler<T extends Root, S extends T, S extends Middle>; 

o

class Handler<T extends Root, S extends <T extends Middle>>; 

Ma naturalmente non sono legali. Forse c'è della magia che mi manca?

Answer 1

Provare a introdurre una classe astratta che estende SubType e implementa Middle, quindi il suo tipo può essere utilizzato in Handler.

abstract class MiddleSubtype extends Subtype implements Middle { } 

Poi,

class Handler<T extends Root, S extends MiddleSubtype> { //... 

EDIT: seguito dell'aggiornamento alla domanda, la stessa idea sarà simile:

abstract class MiddleType extends Type implements Middle { } 

class Subtype1 extends MiddleType { } 
class Subtype2 extends MiddleType { } 
... 

class Handler<T extends Root, S extends MiddleType> { //... 

Answer 2

Oppure si potrebbe fare S generico stessa:

interface SInt<A,B> {} 
class Handler<T extends Root, S extends SInt<T, Middle>>{}