ジェネリッククラスの入れ子になったジェネリック

Question

私は私のAPIで、このようなものを提供したい：

class Foobar extends AbstractThing<Double> 

class EventThing<Foobar> {  
      public Foobar getSource(); 
      public Double getValue(); 
} 

だから私はこの書き込み：

class EventThing<T extends AbstractThing<U>> {  
     public T getSource(); 
     public U getValue(); 
} 

をしかし、javaはUを解決することはできません。

代わりにEventThing<T extends AbstractThing<U>,U>で動作しますが、第2のUは実際には冗長であるため、AbtractThingはすでにタイプを定義しています。だから私はそれを取り除くことが大好きです。

Answer 1

あなたはそれを取り除くことはできません。 2番目のUは重複していません。コンパイラが最初のUを型パラメータとして解釈するようにしますが、コンパイラはそれを解釈しません。また、このことを書かれている可能性：このケースでDoubleは具象クラスではなく、型パラメータであることを

class EventThing<T extends AbstractThing<Double>> 

注意。以下に、この比較：これは上記のコードの最初の行とまったく同じ形状を有すること

class EventThing<T extends AbstractThing<U>> 

注意。コンパイラは、最初のケースではDoubleが具体的なクラスを意味し、後者の場合はUが型パラメータとして意味されることをどのように知っていますか？

コンパイラはそれを知ることができず、最初の行のDoubleのように、Uを具象クラスとして扱います。コンパイラはU typeパラメータであることを知らせるための唯一の方法は、そのように指定することです：

class EventThing<T extends AbstractThing<U>, U>