为什么Java说这些类型不兼容？

Question

这是我的代码：

private BiFunction<B,
        BiFunction<B, ? extends Object, B>,
        Function<? extends Object, B>>
        applyPartial = (b, m) -> (v) -> m.apply(b, v);

爪哇说：

File.java：[92,141]不兼容的类型：java.lang.对象不能转换为捕获#1？扩展java.lang.对象

列141是m.apply（b， v）中的v。

为什么这个不会编译？

Answer 1

您有两个不同的？扩展对象，编译器无法确保它们是相同的。您需要为其命名，以确保两个位置的类型相同：

private BiFunction<B, BiFunction<B, C, B>, Function<C, B>> applyPartial =
   (b, m) -> (v) -> m.apply(b, v);

Answer 2

在这种情况下，您必须命名您想要的类型来代替通配符捕获。Java无法确保两个捕获转换是等效的。

因为不能在函数调用中创建泛型类型，所以应该创建一个工厂函数来创建函数：

// Provided B is supplied as a class type
public <C> BiFunction<B, BiFunction<B, C, B>, Function<C, B>> createCurrier() {
    return (b, m) -> v -> m.apply(b, v);
}

// B is an explicit type parameter
public <B, C> BiFunction<B, BiFunction<B, C, B>, Function<C, B>> createCurrier() {
    return (b, m) -> v -> m.apply(b, v);
}