Как получить подкласс для переопределения родительского абстрактного метода с расширенным типом?

Question

Например

public abstract class ParentClass { 

    public abstract FooType getFoo(); 
    ... 
} 

, а затем что-то вроде

public abstract class SomeClass extends ParentClass { 

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

В этом случае getFoo() из SomeClass должен быть FooType, который реализует интерфейс SpecialFooType. Однако я не знаю, как настроить синтаксис для этого.

Answer 1

Inheritance is more, а не просто сдача расширяет в декларации определенного класса.

Например, ваши классы должны следовать за Liskov substitution principle. И этот принцип дает правила, как должно выглядеть переопределение методов.

Фактически это позволяет узким типам возвращаемых значений; например: базовый класс имеет Number getFoo(); и подкласс может делать Integer getFoo(). Но в вашем случае типы возврата: разные; поэтому ваша идея просто неверна на концептуальном уровне!

Обоснование этого. Если у вас есть клиентский код, который вызывает этот метод, то клиент должен не должен знать, вызывает ли он этот метод в базовом классе ... или какой-то подкласс. Другими словами: клиентский код должен иметь возможность обрабатывать ответ «Число», поэтому, конечно, он сможет иметь дело с возвратом целого. Теперь подумайте, как это должно работать в вашей настройке ... как сказано: это не так!

И только для полноты: LSP говорит, что возвращение типы могут быть сужены , в то время как параметры метода могут быть расширены. Поэтому, когда base foo() принимает Integer, подкласс foo() отлично подходит для Number.