Параметры вложенного типа в Java

Это пример, который я придумал для упрощения моего реального кода, поэтому прошу прощения, если он немного надуманный. Я хотел бы эффективно получить два параметра типа из одного аргумента вложенного типа. Я почти уверен, что это невозможно, но я решил попробовать.

//Not legal java code
public class Foo<C extends Collection<T>> { //where T is another type parameter
    private C coll;

    public Foo(C coll) {
        this.coll = coll;
    }

    public void add(T elem){
        this.coll.add(elem);
    }
    //UPDATED TO ADD GETTER
    /**
     * I may need to retrieve the collection again, or pass it
     * on to another function that needs the specific C type
     */
    public C getColl(){
        return coll;
    }
}
...
List<String> strings = new ArrayList<String>();
Foo<List<String>> foo = new Foo<List<String>>(strings);
foo.add("hello");

Я знаю, что могу сделать это, добавив еще один параметр типа:

public class Foo<C extends Collection<T>,T>

, но затем я должен добавить лишний:

Foo<List<String>,String> foo = new Foo<List<String>,String>(strings);

И в моем реальном случае мои универсальные шаблоны иногда могут быть указаны в предложении реализации, например

public class Bar implements Baz<String>

Необходимость указать этот параметр второго типа еще более болезненна, потому что мне кажется, что он бросает мне в лицо детали реализации. Говорить

Foo<Bar,String>

, когда уже существует связь между String и Bar, просто кажется неэлегантным. Я понимаю, что это Java, так что это согласуется с территорией, но мне просто любопытно, есть ли решение для этого.

9
задан Russell Leggett 9 November 2011 в 00:44
поделиться