Javaでバインドされたパラメータを持つ汎用オブジェクトを返す

Question

この質問はおそらく様々な方法で求められていますが、名前を知らない問題を探すのは難しいでしょう。したがって、最も簡単な方法は次のとおりです。

class Digestable {} 
class Mouse extends Digestable {} 
class Cat extends Animal<Mouse> {} 

class Animal<T extends Digestable> { 
    List<T> belly = new ArrayList<>(); 

    void eat(T a) { 
     belly.add(a); 
    } 
} 

class main { 
    <T extends Digestable> Animal<T> returnAnimal() { 
     return new Cat(); <--- compiler error! 
    } 
} 

なぜコンパイラエラー？新しいCat（）は、returnAnimal（）の型とT型のDigestableを文字通り満たします。コンパイラがhirarchyの型をチェックできないのはなぜですか？

Answer 1

CatがAnimal<Mouse>であり、returnAnimal方法はTがDigestableの任意子孫であると、Animal<T>を返すため。 Javaでは、Animal<Mouse>は、Animal<Zebra>とは異なるタイプのものです。

あなたの例によると、マウス（猫など）を食べる動物はシマウマを食べる動物（ライオンなど）とはまったく違うので、これは完璧な意味合いがあります。