Generics Puzzler

Question

Tôi đang cố gắng tìm ra cách để có được generics để nhảy qua hoops.

tôi có:

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

Và nhiều "Loại" lớp:

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

Những gì tôi muốn là để khai báo một lớp học với hai tham số kiểu T và S, nơi T bị ràng buộc bởi Type và S bị ràng buộc bởi T và Middle.

Tôi không thể nhìn thấy một cách có generics để đảm bảo rằng S mở rộng T VÀ triển khai Middle. Những gì tôi muốn là một cái gì đó như:

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

hoặc

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

Nhưng tất nhiên không phải là hợp pháp. Có lẽ có một số phép thuật tôi đang mất tích?

Answer 1

Thử giới thiệu lớp trừu tượng mở rộng SubType và triển khai Middle, vì vậy loại của nó có thể được sử dụng trong Handler.

abstract class MiddleSubtype extends Subtype implements Middle { } 

Sau đó,

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

EDIT: Sau khi cập nhật cho câu hỏi, ý tưởng cùng sẽ như thế nào:

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

Hoặc bạn có thể làm cho S chung thân:

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