Java：型パラメータ間の相関の確立

Question

2つの一般的な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. は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は、タイプパラメータ名の規則を大文字の1文字として定義しています。