Identyfikacja podpisu metody za pomocą dziedziczonych klas w abstrakcyjnych metodach Java

Question

Wiem, że jest to bardzo proste pytanie, ale pracuję w Pythonie od dłuższego czasu i teraz muszę wrócić do Java, wydaje mi się, że mam problemy zmieniając chip i owijając głowę wokół podstawowego polimorfizmu Javy.

Czy można nadpisać (zaimplementować, by być precyzyjnym) metodę klasy "abstract w Javie, używając jednej z dziedziczonych klas jako argumentu?

Pozwól mi wyjaśnić w bardzo prosty przykład (po „prawie oficjalny”example z kształtami)

class Shape {} 
class Circle extends Shape {} 
class Triangle extends Shape {} 

abstract class ShapeDrawer { 
    abstract void draw(Shape s); 
}      
class CircleDrawer extends ShapeDrawer { 
    void draw(Circle c){ 
     System.out.println("Drawing circle"); 
    } 
} 

Czy istnieje jakiś sposób mający Java identyfikacji metodę draw w klasie CircleDrawer jak wdrożenie abstrakcji draw w ShapeDrawer? (Klasa Circle rozciąga się od Shape po wszystkich)

Inaczej umieścić: Co chciałbym jest to, że metoda klasy CircleDrawerdraw akceptuje tylko instancje typu Circle, ale w tym samym czasie, chciałbym powiedzieć kompilator Java, który jest void draw(Circle c), jest w rzeczywistości implementacją abstrakcyjnej metody znajdującej się w jej klasie nadrzędnej.

Z góry dziękuję.

Answer 1

można rozwiązać problemu za pomocą leków generycznych:

public abstract class ShapeDrawer<T extends Shape> { 
    public abstract void draw(T shape); 
} 

public class CircleDrawer extends ShapeDrawer<Circle> { 
    public void draw(Circle circle) { ... } 
} 

Answer 2

Nie, metoda podpisów Java musi być identyczna, nie można korzystać z podtypów, lub będziesz przeciążyć metodę zamiast przesłanianie go.

Możesz powrócić podtypu, ale to wszystko, a typy zwrotu nie są częścią sygnatury metody.

Answer 3

Nie możesz i istnieje bardzo dobry powód, dla którego nie możesz. Weź tę deklarację

public abstract class ShapeDrawer { 
    public abstract void draw(Shape s); 
} 

Teraz trochę kodu, który odbiera ShapeDrawer i stara się go używać:

public void foo(ShapeDrawer drawer, Shape shape) { 
    drawer.draw(shape); 
} 

Kod ten powinien działać, ponieważ deklaracja ShapeDrawer obietnic, że kto realizuje będzie dostarczać metody nazywanej draw() i ta metoda może poradzić sobie z każdym Shape.

Ale jeśli mogli to zrobić:

public class CircleDrawer extends ShapeDrawer { 
    public void draw(Circle c) {...} 
} 

Że nie będzie już uznać za prawdziwe, twój CircleDrawer byłby w stanie spełnić obietnicę, że może poradzić sobie z każdym Shape.

---

jednak wyobrazić tę deklarację:

public abstract class ShapeCreator { 
    public abstract Shape create(); 
} 

public class CircleCreator extends ShapeCreator { 
    public Circle create() {...} 
} 

to będzie działać?

Tak, to (pod warunkiem, że używasz Java 5 lub nowszy), ponieważ w przeciwieństwie do pierwszej deklaracji, co ShapeCreator obiecuje, że będzie to miało metodę zwaną create(), która będzie zwracać Shape. Od Circle jest Shape, podklasa ShapeCreator może zdecydować się na powrót tylko Circle s, obietnice nie są zepsute.

---

Jak osiągnąć to, czego chcesz? Patrz: loonytune's answer :)

Answer 4

Nie technicznie, ale możesz zrobić z niego hakowanie dla określonej funkcji.

public abstract ShapeDrawer { 
    public abstract void draw(Shape s); 
}      
public CircleDrawer extends ShapeDrawer { 
    public void draw(Shape s){ 
     if (s instanceof Circle) { 
      System.out.println("Drawing circle"); 
     } 
    } 
}