Java 泛型：非法前向引用

Question

给定一个通用接口，

interface Foo<A, B> { }

我想编写一个实现，要求 A 成为 B 的子类。所以我想做

class Bar<A, B super A> implements Foo<A, B> { }
// --> Syntax error

or

class Bar<A extends B, B> implements Foo<A, B> { }
// --> illegal forward reference

但似乎唯一有效的解决方案是：

class Bar<B, A extends B> implements Foo<A, B> { }

这有点难看，因为它颠倒了通用参数。
对于这个问题有什么解决方案或解决方法吗？

Answer 1

由于这在 Java 中是不可能的，请尝试以不同的方式考虑 Bar。

当您为 Bar，您首先指定父类，然后指定子类。这就是 Bar 的工作原理。不要认为它是倒退的，而是认为它是前进的。自然应该在子级之前指定父级。您添加的这种附加关系是驱动参数顺序的因素，而不是底层接口。

Answer 2

看到这个问题后，我花了一点时间尝试了一些我认为可能有效的不同技术。例如，构建通用接口ISuper，然后使用Bar实现 ISuper （以及具有子类和扩展而不是实现的类似技术），但这只会导致类型错误， Bar.java:1: type argument A is not在其范围内。同样，我尝试创建一个方法 private ;条 foo() { 返回这个； }; 并从构造函数中调用它，但这只会导致有趣的类型错误消息 Bar.java:2: 不兼容的类型
发现：酒吧
required: Bar

所以，不幸的是，我认为答案是否定的。显然，这不是您所希望的答案，但似乎正确的答案是这是不可能的。

Answer 3

已经指出，既没有解决方案也没有好的解决方法。这就是我最终所做的。它仅适用于我的特殊情况，但如果您遇到类似问题，可以将其作为启发。 （这也解释了为什么我遇到这个问题）

首先，有这个类（仅显示相关接口）：

class Pipe<Input, Output> {

    boolean hasNext();

    Input getNext();

    void setNext(Output o);

}

Foo 接口实际上是

interface Processor<Input, Output> {

    process(Pipe<Input, Output> p);

}

类 Bar应该像这样工作

class JustCopyIt<Input, Output> implements Processor<Input, Output> {

    process(Pipe<Input, Output> p) {
       while (p.hasNext()) p.setNext(p.getNext());
    }

}

最简单的方法是像这样转换值：p.setNext((Output) p.getNext())。
但这很糟糕，因为它允许创建 JustCopyIt的实例。调用该对象会在某个时刻神秘地失败，但不会在实际发生错误的时刻失败。

执行 class JustCopyIt;实现 Processor 在这里也不起作用，因为这样我就无法处理 Pipe。

所以我最终所做的就是将接口更改为：

interface Processor<Input, Output> {

    process(Pipe<? extends Input, ? super Output> p);

}

这样，JustCopyIt就能够处理Pipe。

虽然这在技术上似乎是唯一有效的解决方案，但它仍然很糟糕，因为它 1）仅适用于这种特殊情况，2）要求我更改接口（这并不总是可能的）以及 3）制作其他代码处理器丑陋。

编辑：
再次阅读基思的回答激发了我另一种解决方案：

public abstract class Bar<A, B> implements Foo<A, B> {

    public static <B, A extends B> Bar<A, B> newInstance() {
        return new BarImpl<B, A>();
    }

    private static class BarImpl<B, A extends B> extends Bar<A, B> {
        // code goes here
    }

}

// clean code without visible reversed parameters
Bar<Integer, Object> bar1 = Bar.newInstance();
Bar<Object, Integer> bar2 = Bar.newInstance(); // <- compile error