我有两门课:
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
为什么会这样以及如何解决这个问题?
最佳答案
这是一些非常复杂的代码,我没有时间真正考虑它,但自从 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(...) { ... }
}
关于Java泛型推理太宽泛?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37658020/