BaseFoo не может наследоваться с другими аргументами: <T, X.Bar <T >> и <T, X.Foo <T >>

Это упрощенная версияJava наследует возвращаемый тип метода Fluent в многоуровневых иерархиях.

Учитывая следующий код:

public enum X {
    ;
    static interface BaseFoo {
        S foo();
    }

    static interface Foo extends BaseFoo {
        void foo1();
    }

    static interface BaseBar extends BaseFoo {
        S bar();
    }

    static interface Bar extends BaseBar, Foo {
        void bar1();
    }

}

бежатьjavac X.java Я получаю сообщение об ошибке:

X.java:15: error: BaseFoo cannot be inherited with different arguments:  and 
    static interface Bar extends BaseBar, Foo {
           ^

У кого-нибудь есть решение?

отказыватьсяЯ пытаюсь использовать шаблон для реализациисвободный интерфейс через иерархию наследования класса контейнера.

ФонЧтобы людям было проще понять, зачем мне это нужно, вот история. Я хочу создать контейнерное семейство:Traversal <-Sequence <-List, ТакTraversal есть методTraveral accept(Visitor) (нетPECS для краткости) этот метод всегда должен возвращатьthis после итерации посетителя через элементы. Когда у меняList типа, я хочу метод возвратаList вместоTraversal потому что я хочу, чтобы можно было назвать что-то вродеmyList.accept(v).head(15), гдеhead(int) это методList неTraversal

Ответы на вопрос(1)

Ваш ответ на вопрос