Реализация интерфейса с использованием исключения дочернего класса

Question

Насколько я понимаю, класс, реализующий интерфейс, может использовать дочерние классы класса, определенного в интерфейсе, а не только использовать этот конкретный класс.

Вот пример того, что я имею в виду: Предположим, что следующий код

public abstract class TestRootAbstractClass implements TestInterface {} 

и

public abstract class TestChildAbstractClass extends TestRootAbstractClass {} 

TestInterface определено в TestRootAbstractClass выглядит следующим образом

public interface TestInterface<T extends TestRootClass> { 
    void test(T extendedTestClass) throws Exception; 
} 

и TestRootClass ссылочного в TestInterface выглядит так

public abstract class TestRootClass {} 

Этот класс также имеет дочерний класс, который выглядит следующим

public class TestChildClass extends TestRootClass {} 

Я думаю, что следующий код Java будет недействительна из дженериков, используемых в TestInterface

public class TestImplementation extends TestChildAbstractClass { 

    public void test(TestChildClass top) { 
     System.out.println("tested"); 
    } 
} 

но Ява жалуется, что

абстрактный метод test(T), определенный в TestInterface, не реализован.

Разве это не работает ООП, который должен работать?

Answer 1

Вам не хватает указать, что должно выглядеть T. Номер public abstract class TestRootAbstractClass implements TestInterface {}. Поэтому T по умолчанию TestRootClass, что означает, что TestImplementation не правильно реализовать интерфейс TestChildAbstractClass, потому что только позволяет TestChildClass параметров, но никаких других подклассы TestRootClass.

Вы должны либо указать его, либо дать этому классу child TestRootAbstractClass. Далее делает позже, компиляция просто отлично:

abstract class TestRootAbstractClass<T extends TestRootClass> implements TestInterface<T> {} 

abstract class TestChildAbstractClass<T extends TestRootClass> extends TestRootAbstractClass<T> {} 

interface TestInterface<T extends TestRootClass> { 
    void test(T extendedTestClass) throws Exception; 
} 

abstract class TestRootClass {} 

class TestChildClass extends TestRootClass {} 

class TestImplementation extends TestChildAbstractClass<TestChildClass> { 

    public void test(TestChildClass top) { 
     System.out.println("tested"); 
    } 
} 

---

или изменить метод в TestImplementation принимать все TestRootClass эс.

abstract class TestRootAbstractClass implements TestInterface {} 
abstract class TestChildAbstractClass extends TestRootAbstractClass{} 
interface TestInterface<T extends TestRootClass> { 
    void test(T extendedTestClass) throws Exception; 
} 
abstract class TestRootClass {} 
class TestChildClass extends TestRootClass {} 
class TestImplementation extends TestChildAbstractClass { 

    public void test(TestRootClass top) { 
     System.out.println("tested"); 
    } 
} 

Но теперь вы можете отбросить дженерики все вместе и просто использовать:

interface TestInterface { 
    void test(TestRootClass extendedTestClass) throws Exception; 
} 

Answer 2

public abstract class TestRootAbstractClass implements TestInterface {} 

Поскольку вы не указали параметр типа для TestInterface, метод в TestRootAbstractClass будет иметь следующую подпись :

public abstract void test(TestRootClass extendedTestClass) throws Exception; 

Поскольку этот метод не является чрезмерным он жалуется.

Похоже, вам нужно будет добавить параметры типа для всех соответствующих классов вверх по иерархии, чтобы они могли делать то, что вы пожелаете.

Answer 3

ваш интерфейс TestInterface является общим; с общим типом T расширяет TestRootClass. Когда вы делаете класс, реализуете их, у вас есть 3 варианта.

1) Lose типичность: Java будет решать по умолчанию как объект

public abstract class TestChildAbstractClass implements TestInterface {} 

2) Не типичность. поэтому ваш новый класс, который реализует интерфейс, должен быть généric.

public abstract class TestChildAbstractClass<P extends TestRootClass> implements TestInterface<P> {} 

3) Освободите гейнерский тип. так что ваш новый класс имеет родовой тип хорошо определен:

public abstract class TestChildAbstractClass implements TestInterface<TestChildClass> {}