ジェネリックでメソッドをオーバーライドする最も単純な例

Question

すべての情報を読みましたが、この基本的なオーバーライドが不可能な理由はまだ見つかりません。説明してください。

class Fruit{} 
class Apple extends Fruit{} 

class Parent { 
    public Set<Fruit> getIt(){ 
    return null; 
    } 
} 

class Child extends Parent { 
    @Override // THIS DOESN'T WORK 
    public Set<Apple> getIt(){ 
     return null; 
    } 
} 

Answer 1

を、それが上書きされていないため。あなたが望むのは共分散と呼ばれます。つまり、返品タイプSet<Apple>のサブクラスChildの元のメソッドの元のメソッドSet<Fruit>の返品タイプのサブタイプの優先メソッドを使用することを意味します。

しかし、残念ながら、Set<Apple>はAppleがFruitのサブタイプである場合でも、JavaでSet<Fruit>のサブタイプではありません。あなたはSet<Apple>がSet<Fruit>たならば、あなたはスーパークラスで可能なものは、サブクラスで可能であるようSet<Apple>にBananaを追加することができるだろう、Set<Fruit>に任意のFruitを追加することができます...

：非常に単純な理由

だからSet<Fruit>とSet<Apple>は無関係のタイプであり、これは無効にすることを禁じます。

Answer 2

class Fruit{} 
class Apple extends Fruit{} 

class Parent { 
    public Set<? extends Fruit> getIt(){ 
     return null; 
    } 
} 

class Child extends Parent { 
    @Override // THIS DOESN'T WORK 
    public Set<Apple> getIt(){ 
     return null; 
    } 
} 

が、クラスは（SuperFruitのような）他のクラスをサブクラス化し、あなたの親getIt()方法

Answer 3

にフルーツの代わりにそれを使用する果物を作るためには自分自身のサブクラスその良いとは限りませんので、オーバーライドされたメソッドの戻り値の型は、オーバーライドされたメソッドの戻り値の型のサブタイプでなければなりません。 AppleはFruitのサブタイプですが、Javaジェネリックはタイプパラメータ内で不変であるため、Set<Apple>がSet<Fruit>のサブタイプであることを意味するわけではありません。タイプの境界を使用してあなたがこの問題を解決することができ

Parent p = new Child(); 
Set<Fruit> fruitSet = p.getIt(); // actually a Set<Apple> 
fruitSet.add(new Fruit());  // oops! 

：

そうしないとあなたのようなことを行うことができ

class Parent { 
    public Set<? extends Fruit> getIt() { 
     return null; 
    } 
} 

class Child extends Parent { 
    @Override 
    public Set<Apple> getIt(){ 
     return null; 
    } 
}