Java Generic z 1 parametrem typu i 2 ograniczeń

Question

wiem, że to możliwe, aby dodać wiele ograniczeń do ogólnej definicji klasy, np:

class Example<I extends Object & Comparable<Object>>{} 

ale chcę ogólnym (MyGeneric), który bierze udział generycznych (SomeGeneric<T>) jako jego parametr typu i aby ograniczyć parametr typu (T) tego rodzaju (np. T extends SomeClass).

Ważne, muszę wiedzieć, rodzaje i SomeClassSomeGeneric zarówno z wnętrza klasy (G i T potrzeby zarówno wiązać). Na przykład, wyobraź sobie coś takiego:

class MyGeneric<G extends SomeGeneric<T>, T extends SomeClass> 
{ 
    public G returnSomeGenericImpl(){} 
    public T returnSomeClassImpl(){} 
} 

pytanie: Powyższe działa, ale wolałbym, jeśli moja klasa miała tylko jeden parametr typu, aby ułatwić życie dla realizatorów mojej klasie. Czy jest sposób na zrobienie tego?

Coś takiego byłoby miło (ale ten konkretny kod jest nieprawidłowy):

class MyGeneric<G extends SomeGeneric<T extends SomeClass>> 
{ 
    public G returnSomeGenericImpl(){} 
    public T returnSomeClassImpl(){} 
} 

Gdybym nie było jasne, ja chętnie próbują wyjaśnić moje intencje.

Answer 1

Wygląda to niemożliwe do osiągnięcia.

Po zmniejszając definicji typu o jeden rząd usuwając jeden typ zmiennej i próbuje go zdefiniować,

class G extends SomeGeneric<T extends SomeClass>{} 

nie kompiluje ponieważ parametr typu T nie jest zobowiązany w stosunku do już zdefiniowanego parametru typu. Ale działa to -

class G<T extends SomeClass> extends SomeGeneric<T>{} 

Wynika stąd, że jedynym sposobem parametryzacji dwoma typami jest deklarowanie ich z góry.

Answer 2

spróbować

class Test1<T extends List<? extends Number>> { 

    public static void main(String[] args) throws Exception { 
     new Test1<ArrayList<Number>>(); 
     new Test1<ArrayList<Integer>>(); 
     new Test1<ArrayList<Object>>(); // compile error 
    } 
} 

Answer 3

Wyobraź sobie:

Type t = someClass(); 
Type g = someGeneric(t); 

foobar(g,t) 

porównaniu do tego

Type g = someGeneric(someClass()); 
foobar(g,?) 

drugi jest rozwiązanie Evgeniy Dorofeev użytkownika. Widzisz problem? Nie można powiązać zmiennej z argumentem. To samo dotyczy generycznych. To, co chcesz zrobić, to:

Type g = someGeneric(Type t = someClass()); 
foobar(g,t)