不用返回類型的java中的抽象方法沒有鑄造

Question

我想實現並重寫不同返回類型的方法，而不必強制轉換返回類型。

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 
} 

我的問題： 是否有可能無需被迫施放返回不同類型的？ 抽象方法如何解決問題？

我認爲必須有一個解決方案，因爲編譯器應該知道的返回類型...

Answer 1

在你的例子中，類C和D不會編譯。其中的重寫方法違反了Liskov substitution principle，也就是說，它們的返回類型與其父類不兼容。只要你願意放棄使用原語作爲你的返回類型，你所要做的就可以用泛型來完成。

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

你描述什麼是不可能的一般。但是，如果子類返回超類方法return的「窄」子類型，則稱其爲「協變返回類型」，並且自JDK 1.5以來，它在Java中被允許。然而，根據你的例子，我認爲協變回報並不是你想要的。

我假設你想要的是

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

這裏的問題，當然，編譯器無法知道在編譯時這兩個語句是正確的方式，而不能同時是正確的。

Answer 3

在您的例子中，class B的定義是確定的，因爲String是Object子類。另外兩個不會編譯，因爲它們是原始類型。你可以用Integer和Boolean來替換它們來解決這個問題。

至於你的主循環，如果你正在遍歷它們作爲參考A，你將只能使用A的方法定義，該方法返回Object。

Answer 4

您可以使用泛型。

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

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

etc ... int不作爲返回類型，但Integer會。

我不是在編譯器中鍵入因此可能會有錯別字......

正如吉姆和克里斯指出，如果要遍歷作爲，你只能得到「A」的結果，這是目的。