Java自引用泛型有两种类型

Question

假设我们有一个像这样的抽象类：

abstract class Table<T extends Table<T, P>, P extends Menu<P>> { }

如何正确声明其实现？

public class TableImpl extends Table< **SOMETHING GOES HERE** > { }

我尝试了一些变体，我发现的唯一解决方法是创建其他类：

public abstract class AbstractMenu extends Menu<AbstractMenu> { }
public abstract class AbstractTable extends Table<AbstractTable, AbstractMenu> { }

然后可以像这样声明TableImpl：

public class TableImpl extends AbstractTable { }

编辑1

根据Ingo的回答，它现在看起来像这样：

public class MenuAndTableTest {

    public abstract class Table<X extends Table<X>> {

        public abstract <M extends Menu> M getParent();

        public abstract X getThis();
    }

    public abstract class Menu<T extends Menu<T>> {

    }

    public class MenuImpl extends Menu<MenuImpl> {

    }

    public class TableImpl<M extends Menu> extends Table<TableImpl<M>> {

        M parent;

        public TableImpl(M parent) {
            this.parent = parent;
        }

        @Override
        public TableImpl getThis() {
            return this;
        }

        @Override
        public M getParent() {
            return parent;
        }

    }

    @Test
    public void Test() {
        // given
        MenuImpl menuImpl = new MenuImpl();
        // when
        TableImpl<MenuImpl> tableImpl = new TableImpl<>(menuImpl);
        // then
        assertEquals(tableImpl, tableImpl.getThis());
        assertEquals(menuImpl, tableImpl.getParent());
    }
}

但是现在一些额外的逻辑出现在Table实现中 - 不完全是我想要的。

Answer 1

如果你想要一个可以包含一个包含菜单的表的表，为什么不把它声明为

class Table<X>

和实例化

Table<Table<Menu>>