Дженерики переопределяют путаницу

Question

У меня есть следующая структура классов.

public abstract class X { } 
public class Y extends X { } 

И я хочу сделать следующее:

public abstract class Action { 
    public abstract <T extends X> void execute(T t); 
} 

public class SomeAction extends Action { 
    public void execute(Y y) { } 
} 

Компилятор дает мне следующую ошибку:

The Type SomeAction must implement the inherited abstract method Action.execute(T)

Я хочу, чтобы переопределить execute(), но я хочу, чтобы параметр быть подклассом X.

Что я здесь делаю неправильно?

Answer 1

Это звучит, как вы хотите T extends X быть свойством класса расширения Action, а не метод призывание. Вы должны написать

public abstract class Action<T extends X> { 
    public abstract void execute(T t); 
} 

, а затем

public class SomeAction extends Action<Y> { 
    ... 
} 

Answer 2

public <T extends X> void execute(T t); 

- абстрактный метод, поскольку он не имеет никакого тела. он должен быть отмечен как абстрактный.

Итак, в вашем классе-потомке вы должны переопределить это или отметить как метод, так и подкласс как абстрактный.

Answer 3

Попробуйте сделать класс Action общим, а не одним из его методов.

public abstract class Action<T extends X> 
{ 
    public abstract void execute(T t); 
} 

Затем можно назначить общий параметр типа T быть Y в SomeAction:

public class SomeAction extends Action<Y> 
{ 
    public void execute(Y y) {} 
} 

Answer 4

Вы нарушаете принцип Лиск: execute метода базового Action в состоянии выполнить любой вид X. Но в подклассе, ограничить его выполнение только Y-экземпляров. Это сокращает контракт, а не расширяет его.