Generics Puzzler

Question

Я пытаюсь выяснить, как получить дженерики, чтобы прыгать через обручи.

у меня есть:

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

И много "подтип" классы:

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

То, что я хочу, чтобы объявить класс с двумя параметрами типа T и S, где T она связана Type и S связан T и Middle.

Я не вижу способа с дженериками, чтобы гарантировать, что S расширяет T И реализует Middle. То, что я хочу что-то вроде:

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

или

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

Но, конечно, ни законны. Может быть, есть какая-то магия, которой я не хватает?

Answer 1

Попробуйте ввести абстрактный класс, который расширяет SubType и реализует Middle, поэтому его тип может использоваться в Handler.

abstract class MiddleSubtype extends Subtype implements Middle { } 

Затем

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

EDIT: После обновления на вопрос, та же идея будет выглядеть так:

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

Или вы могли бы сделать S родовое себя:

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