Różne metody zwracania metody abstrakcyjnej w języku Java bez odlewania

Question

Próbuję wprowadzić i zastąpić metodę z różnymi typami zwracania, bez konieczności wymuszania oddawania typu.

public abstract class A { 
public abstract Object getValue(String content); 
} 

public class B extends A { 
public String getValue(String content) {...} 
} 

public class C extends A { 
public int getValue(String content) {...} 
} 


public class D extends A { 
public boolean getValue(String content) {...} 
} 

// Main loop: 
for (A a : allAs) 
{ 
// I want to use the method getValue() and corresponding to the type return a String, int or boolean without casting the return type 
} 

Moje pytanie: Czy to możliwe, aby powrócić różne typy bez zmuszania do oddania? Jak wygląda abstrakcyjna metoda rozwiązania problemu?

myślę, że musi być rozwiązaniem, ponieważ kompilator powinien znać typ zwracany ...

Answer 1

W twoim przykładzie, klasy C i D nie zostaną skompilowane. Zastąpione metody w nich naruszają Liskov substitution principle, a ich typ zwrotu jest niekompatybilny z ich rodzica. To, czego szukasz, można osiągnąć przy pomocy leków generycznych, o ile chcesz zrezygnować z używania prymitywów jako typu zwrotu.

abstract class A<T> { 
    public abstract T getValue(String content); 
} 

class B extends A<String> { 
    public String getValue(String content) { } 
} 

class C extends A<Integer> { 
    public Integer getValue(String content) { } 
} 

class D extends A<Boolean> { 
    public Boolean getValue(String content) { } 
} 

Answer 2

co opisujesz nie jest możliwe w ogóle. Jeśli jednak podklasa zwróci "węższy" podtyp powrotu metody nadklasy, jest to nazywane "kowariantnym typem zwracania" i jest dozwolone w Javie od czasu JDK 1.5. Jednak na podstawie twojego przykładu nie sądzę, że powrót do kowariancji jest tym, czego szukasz.

Zakładam, co chcesz, to

for (A a : allAs) 
{ 
    String b = a.getValue(); 
    int c = a.getValue(); 
} 

Problemem tutaj jest, oczywiście, że kompilator nie ma możliwości dowiedzenia się, w czasie kompilacji, która z tych dwóch stwierdzeń jest poprawne, a oni nie mogą jednocześnie być poprawne.

Answer 3

W przykładzie definicja class B jest ok, ponieważ String jest podklasą Object. Pozostałe dwa nie będą się kompilować, ponieważ są to typy pierwotne. Można jednak zastąpić je wartościami Integer i Boolean, aby rozwiązać ten problem.

Jeśli chodzi o główną pętlę, jeśli przeglądasz je jako odniesienia do A, będziesz mógł korzystać tylko z definicji metody A, która zwraca Object.

Answer 4

Można użyć generycznych.

public abstract class A<T> { 
    public abstract T getValue(String content); 
} 

public class B extends A<String> { 
    public String getValue(String content) {...} 
} 

itd ... int nie działa jako typ zwrotu, ale liczba całkowita byłaby.

nie jestem wpisując w kompilator, więc nie może być literówki ...

Jak zauważył Jim i Chris, jeśli jesteś zapętlenie nad Jak można dostać tylko „A” wynik, który jest Obiekt.