Java泛型推理太宽泛？

Question

我有两门课:

class M {
    public <R, A, T extends A> A walk(BiFunction<Widget, Integer, Stream<R>> walker, BiFunction<A, Stream<R>, T> accF, A acc, int level) {
        return accF.apply(acc, walker.apply(this, level));
    }
}

和

class N extends M {

    public Stream<M> getChildren() {return Stream.of(new M()...);}

    @Override
    public <RR, A, T extends A> T walk(BiFunction<Widget, Integer, Stream<RR>> walker, BiFunction<A, Stream<RR>, T> accF, A acc, int level) {
        return accF.apply(accF.apply(acc, walker.apply(this, level)), getChildren().map(o -> o.walk(walker, accF, acc, level + 1)));
    }
}

但是，编译器在 o.walk(walker, accF, acc, level + 1) 中表示，推断变量 T 具有不兼容的边界:等式约束:T 上限:A，对象，RR

为什么会这样以及如何解决这个问题？

Answer 1

这是一些非常复杂的代码，我没有时间真正考虑它，但自从 getChildren()返回任何 M和N#walk使用编译器自己的通用定义，例如A对于 child 来说可能是具有不同边界的不同类型，并且 walk 。

您可能会尝试将通用定义放在类级别，例如

class M <R, A, T extends A> { 
  public  A walk(...) { ... }
}

class N <RR, A, T extends A> extends M< RR, A, T> { 
  public Stream<M<RR, A, T>> getChildren() {...}
  public  A walk(...) { ... }
}