方法返回值取决于实现类型

Question

我有一个具有以下结构的程序

• abstract class A
• class B extends A
• class C extends A

所以class A 有两种不同的实现方式。

现在我在abstract class A 中有一个通用方法

protected ReturnType doStuff() {
    //THe Return Type is the Problem
}

如果我在class B 中使用此方法，我希望它返回class B 的对象 和class C中的相同

问题：如何将 ReturnType 设置为 B 或 C？ 仿制药是正确的方法吗？我试过了，但感觉不对，因为它们都是 A 的亚型。 或者我应该返回“A级”并相应地进行转换？那也感觉不对

Answer 1

您可以执行以下操作

abstract class A<RT extends A> {
    protected abstract RT doStuff();
}

class B extends A<B> {
    // doStuff must return a B
}

class C extends A<C> {
    // doStuff must return a C
}

Answer 2

Java 支持方法返回类型的协变。

您可以将抽象方法声明为：

protected abstract A doStuff();

并且返回扩展A的东西没有问题：

protected B doStuff() { ... }
protected C doStuff() { ... }

---

这是完全安全的，因为如果调用：

A a = new B();
A res = a.doStuff();

B 扩展了A，因此使用“常规”A 和协变类型可以做的所有事情都没有问题。

Answer 3

你可以这样做。

A result = doSomeStuff();

这将返回 A 但它将是它被调用的类的一个实例。 A 类将返回原始类。如果您在抽象类中调用另一个被超类覆盖的方法。将调用被覆盖的方法，而不是抽象类中的方法。当然，如果您愿意，您也可以将其转换为实例类型。

如果不想检查类型可以使用反射...

protected A doSomeStuff()
{
    A a = null;
    try
    {
        a = this.getClass().getConstructor().newInstance();
    }
    catch (InstantiationException | IllegalAccessException | IllegalArgumentException
            | InvocationTargetException | NoSuchMethodException | SecurityException e)
    {
        e.printStackTrace();
    }

    return a;
}

/*
protected A doSomeStuff()
{
    if (this instanceof B)
    {
        return new B();
    }
    else if (this instanceof C)
    {
        return new C();
    }

    return null;
}
*/