冗長ジェネリックパラメータは

Question

私はこの二つのインタフェースとクラスを持っています。しかし、私の意見ではGenericRepository（K）の2番目のジェネリックパラメータは冗長です。私はMyEntityが識別可能であることを知っているので、私は私が最終的にこのようにそれを使用することができた場合、それは素晴らしいことだと思う：

public class MyService { 
    private GenericRepository<MyEntity> myEntityRepository; 
} 

しかし、私は成功しなくて違うことをしようとしています。出来ますか？そうでない場合は、どうしてですか？

更新：いくつかの回答に答える。私は、コンパイラがMyEntityのジェネリック型であるかどうかを知っていると思います。例：

public class MyEntityGenericRepository implements GenericRepository<MyEntity, Long> { 
    // compiles... 
} 

public class MyEntityGenericRepository implements GenericRepository<MyEntity, String> { 
    // compiler says: "Bound mismatch: The type MyEntity is not a valid substitute for the bounded parameter <T extends Identifiable<K>> of the type GenericRepository<T,K>" 
} 

Answer 1

私はあなたがそれを省略することはできません。 T extends Identifiable<K>の場合、汎用タイプのパラメータはIdentifiableである必要があります。 Identifiableはジェネリッククラスであるため、ジェネリック型パラメータについても言及する必要があります（省略した場合、下位互換性ルールのためにGenericRepositoryのジェネリック型の安全性がすべて失われます）。また、実際にはGenericRepository.getのパラメータタイプとしてKが使用されていることに注意してください。また、そのタイプはTと異なる可能性があるので、別の汎用タイプのパラメータGenericRepositoryとして宣言することによってコンパイラを満たす必要があります。そうでなければ、コンパイラはKが何であるかを知る方法がありません。

Answer 2

GenericRepositoryクラスの観点からは冗長ではありません。 T get(K id)のようなメソッドを持っている場合、それは他の方法で受け入れることができる引数の型を知ることができません。あなたは次のように記述することができます

interface GenericRepository<T extends Identifiable<?>> { 
    T get(Object id); 
} 

今では型パラメータとしてLongを記述する必要はありませんが、あなたはgetメソッドはコンパイル時に適切に使用されているかどうかを確認する可能性を失います。したがって、型変数は特定の目的を果たします。

フィールド宣言では、ジェネリック型がある場合は、それが使用するすべての型変数を指定する必要があります。もちろん、言語がパラメーター値の1つが他のパラメーター値から推測できることを理解できればそれはうまくいくと主張できますが、議論の余地があります。

Answer 3

私がジェネリック医薬品と誤解されていない場合は、すべてがちょうどObjectであるかのようにコンパイルされます。 Javaの最初の設計の後にジェネリックが追加されたため、リンゴをオレンジで入れないように構文が（ハード）チェックされています。これは私たちがすることで

public interface GenericRepository<T extends Identifiable<K>> { 

としてそれを持つことができ、そうではなく、上記のように、それを持つよりも...あなたがから二番目のKを削除することはできませんなぜ

Answer 4

、

public interface GenericRepository<T extends Identifiable<K>, K> { 

なぜジェネリック医薬品がとても拘束されていますこれはあなたがしたいことをすることができます。

Answer 5

コンパイル）

public interface GenericRepository<T extends Identifiable> { 
    T get(T id); 
} 

が、それは特定できるが、生のタイプがあるにもかかわらずと言うと、それはパラメータ化されるべきです。

希望します。ただGenericRepositoryその後

public interface LongKeyedRepository<T extends Identifiable<Long>> 
     extends GenericRepository<T, Long> { { 
    //No new methods need to be defined 
    } 

を洗練インターフェースを導入よりも

Answer 6

はずっとあなたが

private LongKeyedRepository<MyEntity> myEntityRepository; 

など