Это пример, который я придумал для упрощения моего реального кода, поэтому прошу прощения, если он немного надуманный. Я хотел бы эффективно получить два параметра типа из одного аргумента вложенного типа. Я почти уверен, что это невозможно, но я решил попробовать.
//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, так что это согласуется с территорией, но мне просто любопытно, есть ли решение для этого.