Generics Puzzler

Question

Jeneriklerin çemberler arasından nasıl atlayacağını anlamaya çalışıyorum.

Ben:

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

Ve birçok "Alt tür" sınıfları:

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

İstediğim TType bağlı iki tür parametreleri T ve S, bir sınıf bildirmektir ve S, T ve Middle tarafından bağlanır.

S'un T öğelerini uzattığından ve Middle uyguladıklarından emin olmak için jeneriklerle bir yol göremiyorum.

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

veya

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

Ancak ne dersin

yasal şunlardır: İstediğim gibi bir şeydir. Belkide eksik olduğum bir sihir var mı?

Answer 1

SubType'u genişleten ve Middle uygulayan bir soyut sınıf tanıtmayı deneyin, böylece türü Handler'da kullanılabilir. Sonra

abstract class MiddleSubtype extends Subtype implements Middle { } 

,

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

DÜZENLEME: soruya güncelleştirme ardından, aynı fikri gibi görünecektir:

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

Yoksa jenerik kendisini S yapabilir:

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