如何让子类用扩展类型覆盖父抽象方法？ [复制]

Question

例如

public abstract class ParentClass {

    public abstract FooType getFoo();
    ...
}

然后是类似的东西

public abstract class SomeClass extends ParentClass {

    public abstract SpecialFooType getFoo(); //clashes with the parent!
    ...
}

在这种情况下，来自 SomeClass 的 getFoo() 应该是实现接口 SpecialFooType 的 FooType。但是我不知道如何为此设置语法。

Answer 1

继承更多而不仅仅是将extends放在某个类声明上。

例如，您的课程必须遵循Liskov substitution principle。该原则规定了覆盖方法的外观。

它实际上允许缩小返回值的类型；比如：基类有Number getFoo()；子类可以做Integer getFoo()。但在您的情况下，返回类型是不同的；因此，您的想法在概念层面上是完全错误的！

这背后的原因。如果您有调用该方法的 client 代码，则 client 必须不 需要知道它是否在基类上调用该方法.. . 或某个子类。换句话说：客户端代码必须能够处理 Number 响应，所以它当然能够处理返回的 Integer。现在考虑一下它在您的设置中应该如何工作......正如所说：它不会！

为了完整起见：LSP 说 return 类型可以缩小，而方法参数可以扩大。所以当基类 foo() 取一个 Integer 时，子类 foo() 可以取一个 Number。