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

您可以使用泛型。

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可以。

我不是在编译器上打字，所以可能会有打字错误...

正如Jim和Chris所指出的，如果你循环As，你只能得到" A "结果，也就是Object。

Answer 2

你描述的一般是不可能的。然而，如果子类返回超类方法返回的“更窄”的子类型，这被称为“协变返回类型”，并且从JDK 1.5开始在Java中被允许。然而，基于你的例子，我不认为协变回报是你所寻找的。

我想你想要的是

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

当然，这里的问题是，编译器无法在编译时知道这两个语句中的哪一个是正确的，并且它们不可能都是正确的。

Answer 3

在您的示例中，类C和D将无法编译。它们中被覆盖的方法违反了Liskov替换原则，也就是，它们的返回类型与其父类不兼容。只要您愿意放弃使用原语作为返回类型，您想要做的事情可以用泛型来完成。

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) { }
}