Java: Ustalanie korelacji między parametrami typu

Question

Załóżmy, że mamy dwa ogólne interfejsy Java: Foo<T> i Bar<T>, z których może istnieć wiele implementacji. Teraz załóżmy, że chcemy zapisać jednym z każdego w jednej klasie, zarówno przy użyciu tej samej wartości dla T, ale zachować dokładne implementacje wpisane:

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

Powyżej T służy wyłącznie do celów egzekwowania że Klasy TFoo i TBar używają tego samego parametru typu. Dodanie tego parametru typu do FooBar wydaje się zbędne dla dwóch powodów:

1. FooBar rzeczywistości nie dbają o T w ogóle.
2. Nawet jeśli tak, T można wywnioskować z TFoo i TBar.

Moje pytanie brzmi zatem, czy istnieje sposób na egzekwowanie warunków takich jak ten bez zbędnej listy parametrów typu FooBar. Mając do napisania FooBar<String, StringFoo, StringBar> zamiast teoretycznie równowartość FooBar<StringFoo, StringBar> wygląda brzydko do mnie.

Answer 1

Niestety, nie ma lepszego sposobu ... Kompilator musi typu T do zgłoszenia w celu wykorzystania go i nie ma innego miejsca, aby ją zadeklarować:

EDIT: niepowiązanych odnośnik

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)

Jest to nieco poza tematem, ale this doc definiuje konwencje na nazwach parametrów typów jako pojedyncze, wielkie litery.