Podstawowe reguły dziedziczenia i zastępowania metod Java

Question

Mam klasę abstrakcyjną, która ma metodę ogólną i chcę nadpisać metodę ogólną poprzez podstawienie określonych typów dla parametru ogólnego. Tak więc w pseudokodzie mam:

public abstract class GetAndParse { 
    public SomeClass var; 

    public abstract <T extends AnotherClass> void getAndParse(T... args); 
} 

public class Implementor extends GetAndParse { 
    // some field declarations 

    // some method declarations 

    @Override 
    public <SpecificClass> void getAndParse(SpecificClass... args) { 
    // method body making use of args 
    } 
} 

Ale z jakiegoś powodu nie wolno mi tego robić? Czy popełniam jakiś błąd składniowy, czy też jest to dziedziczenie i nadpisywanie niedozwolone? W szczególności dostaję błąd o numerze @Override, ponieważ IDE Eclipse nieustannie przypomina mi o implementacji getAndParse.

Oto, jak chcę, aby powyższy kod zadziałał. Gdzieś indziej w moim kodzie istnieje metoda, która oczekuje wystąpień obiektów, które implementują GetAndParse, co konkretnie oznacza, że ​​mają one metodę getAndParse, której mogę użyć. Kiedy wywołuję getAndParse w tej instancji, kompilator sprawdza, czy użyłem określonych instancji T we właściwy sposób, więc w szczególności T powinien przedłużyć AnotherClass i powinien być SpecificClass.

Answer 1

Mamy tutaj dwie różne metody z indywidualnymi parametrami każdego typu.

public abstract <T extends AnotherClass> void getAndParse(Args... args); 

Jest to sposób z parametrem typu nazwie T i jest ograniczona AnotherClass, to znaczy każdego podtypu AnotherClass pozostawia się jako parametr typu.

public <SpecificClass> void getAndParse(Args... args) 

Jest to sposób z parametrem typu nazwie SpecificClass, ograniczoną Object (to znaczy każdy typ jest dozwolony jako parametr typu). Czy naprawdę tego chcesz?

Czy parametr typu jest używany wewnątrz Args? Myślę, że problem byłby tam.

---

Edit:

Znaczenie

public abstract <T extends AnotherClass> void getAndParse(T... args); 

jest to, że rozmówca metody może zdecydować, z którymi typ parametru chce wywołać metodę, tak długo, jak to jest jakiś podtyp AnotherClass. Oznacza to, że w efekcie metodę można wywołać z dowolnymi obiektami typu AnotherClass.

Ponieważ wywołujący może decydować o parametrze typu, nie można w podklasie zawęzić parametru do SpecificClass - nie byłoby to implementacją metody, ale inną metodą o tej samej nazwie (przeciążenie).

Może chcesz coś takiego:

public abstract class GetAndParse<T extends AnotherClass> { 
    public SomeClass var; 

    public abstract void getAndParse(T... args); 
} 

public class Implementor extends GetAndParse<SpecificClass> { 
    // some field declarations 

    // some method declarations 

    @Override 
    public void getAndParse(SpecificClass... args) { 
    // method body making use of args 
    } 
} 

Teraz metoda getAndParse implementuje metodę klasy nadrzędnej.

Answer 2

Nie, to nie jest prawidłowe. Co by się stało, gdyby ktoś o numerze referencyjnym GetAndParse nazwał go inną klasą rozszerzającą AnotherClass?

Answer 3

To staje się bzdurą, gdy ktoś ma odnośnik do typu GetAndParse i próbuje wywołać metodę getAndParse. Jeśli Cat i Dog rozszerzają AnotherClass. Oczekuję, że będę mógł wywołać GetAndParse # getAndParse z kotem lub psem. Ale implementacja próbowała go ograniczyć i sprawić, by był mniej kompatybilny!

Answer 4

Widzisz ten problem z powodu koncepcji o nazwie "Erasure" w Java Generics. Java używa "usuwania" w celu zapewnienia kompatybilności wstecznej. tj. kod Java, który nie używa generycznych.

Erasure Procedura:
Kompilator będzie najpierw zrobić sprawdzanie typu, a następnie usunie (erase) wszystkie parametry typu jak najwięcej, a także wstawić rzutowania, gdzie zawsze jest to konieczne.

przykład:

public abstract <T extends AnotherClass> void getAndParse(T paramAnotherClass); 

staną

public abstract void getAndParse(AnotherClass paramAnotherClass); 

w klasie "Implementor.java"

Kod

public <SpecificClass> void getAndParse(T paramAnotherClass) 

staną

kompilator zobaczy, że nie zaimplementowano poprawnie metody abstrakcji. Występuje niedopasowanie typu między metodą abstrakcyjną a zaimplementowaną metodą. Właśnie dlatego widzisz błąd.

Więcej informacji można znaleźć tutaj. http://today.java.net/pub/a/today/2003/12/02/explorations.html

Answer 5

Nie można przesłanianie do konkretnego typu T, ponieważ nie jest w rzeczywistości (na poziomie kodu bajtowego, jeśli chcesz) tylko jedna metoda getAndParse ponieważ typu skasowaniem (zobacz inne odpowiedzi):

public abstract void getAndParse(AnotherClass... args); // (1) 

Dla każdego typ T, stosowana jest ta sama metoda.

Można przeciążenie to (chyba):

ale nie będzie to inna metoda z (1) mrówka będzie nie być nazywany kodem Generic:

T x = whatever; 
    object.getAndParse(x); // Calls (1) even if T is derived from SpecificClass