BaseFoo 不能用不同的参数继承：<T,X.Bar<T>> 和 <T,X.Foo<T>>

Question

这是Java inherited Fluent method return type in multiple level hierarchies的简化版。

给定以下代码：

public enum X {
    ;
    static interface BaseFoo<T, S extends BaseFoo<T, S>> {
        S foo();
    }

    static interface Foo<T> extends BaseFoo<T, Foo<T>> {
        void foo1();
    }

    static interface BaseBar<T, S extends BaseBar<T, S>> extends BaseFoo<T, S> {
        S bar();
    }

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

}

运行javac X.java我收到错误消息：

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

谁有解决办法？

声明：我正在尝试使用该模式在容器类继承层次结构中实现fluent interface。

背景：为了让人们更容易理解我为什么需要这个，这是故事。我想创建一个容器系列：Traversal Sequence List。所以Traversal有一个方法Traveral<T> accept(Visitor<T>)（没有PECS简称），这个方法应该总是在遍历元素之后返回this。当我有一个List 类型时，我希望该方法返回List<T> 而不是Traversal<T>，因为我希望可以调用类似myList.accept(v).head(15) 的东西，其中head(int) 是List 而不是@ 的方法987654341@

Answer 1

类或接口不能实现或扩展通用接口的不同实例。你的Bar 接口违反了这个规则。让我们检查一下接口声明：

static interface Bar<T> extends BaseBar<T, Bar<T>>, Foo<T>

所以，Bar<T> 扩展了两个接口：

• BaseBar<T, Bar<T>>
• Foo<T>

除此之外，这两个接口扩展自同一接口BaseFoo 的不同实例化。

• BaseBar<T, S extends BaseBar<T, S>> extends BaseFoo<T, S>
• Foo<T> extends BaseFoo<T, Foo<T>>

那些继承的接口最终也是Bar接口的超级接口。因此，您的 Bar 接口尝试从 BaseFoo 的 2 个不同实例扩展，这是非法的。让我们用一个简单的例子来理解原因：

// Suppose this was allowed
class Demo implements Comparable<Demo> , Comparable<String> {
    public int compareTo(Demo arg)     { ... } 
    public int compareTo(String arg) { ... } 
}

然后在类型擦除之后，编译器将为通用方法生成 2 个桥接方法。该类被翻译成：

class Demo implements Comparable<Demo> , Comparable<String> {
    public int compareTo(Demo arg)     { ... } 
    public int compareTo(String arg) { ... } 

    // Bridge method added by compiler
    public int compareTo(Object arg)     { ... } 
    public int compareTo(Object arg) { ... } 
}

因此，这会导致在类中创建重复的桥接方法。这就是为什么它是不允许的。