Java: Установление корреляций между параметрами типа

Question

Предположим, что у нас есть два общих интерфейса Java: Foo<T> и Bar<T>, из которых может быть много реализаций. Теперь предположим, что мы хотим, чтобы сохранить один из каждого в одном классе, и с использованием того же значения для T, но сохранить точные реализации напечатал:

public interface FooBar<T, TFoo extends Foo<T>, TBar extends Bar<T>> { 
    TFoo getFoo(); 
    TBar getBar(); 
} 

Выше T используется исключительно в целях обеспечения соблюдения, что Классы TFoo и TBar используют один и тот же параметр. Добавление этого параметра типа в FooBar представляется излишним по двум причинам:

1. FooBar фактически не заботится о T вообще.
2. Даже если бы это было так, T можно сделать с TFoo и TBar.

Таким образом, мой вопрос заключается в том, что существует способ принудительного соблюдения таких условий без загромождения списка параметров типа FooBar. Необходимо написать FooBar<String, StringFoo, StringBar> вместо теоретически эквивалент FooBar<StringFoo, StringBar> выглядит уродливым для меня.

Answer 1

К сожалению, нет лучшего способа ... Компилятору нужен тип T, который был объявлен для того, чтобы использовать его и нет другого места, чтобы объявить:

EDIT: несвязанный ссылка

If bound A is not specified first, you get a compile-time error:

class D <T extends B & A & C> { /* ... */ } // compile-time error 

(extract from this doc)

И это немного не по теме, но this doc определяет условные обозначения имен параметров типа как одиночные, заглавные буквы.