函数和谓词参数不明确？

Question

使用Java 8，我得到以下代码的编译器错误：

public class Ambiguous {
    public static void call() {
        SomeDataClass data = new SomeDataClass();
        callee(data, SomeDataClass::getString);
        // compiler errors:
        // 1. at callee method name:
        // The method callee(SomeDataClass, Function<SomeDataClass,String>) is ambiguous for the type Ambiguous
        // 2. at lambda:
        // Type mismatch: cannot convert from boolean to String
        callee(data, d -> d.getRandom() > 0.5);
    }

    public static void callee(SomeDataClass data, Function<SomeDataClass, String> extractString) {
        System.out.println(extractString.apply(data));
    }

    public static void callee(SomeDataClass data, Predicate<SomeDataClass> check) {
        System.out.println(check.test(data));
    }
}

// token data class
final class SomeDataClass {
    public String getString() {
        return "string";
    }

    public final double getRandom() {
        return Math.ranhtml" target="_blank">dom();
    }
}

因此，基本上，编译器会说“我知道您会返回，boolean但您不应该返回，如果不知道，我不确定使用哪种方法”，而不是“哦，您将返回boolean，您必须指Predicate代该方法的版本”
？如何产生这种混乱？

我知道（如果Predicate<T> extends Function<T, Boolean>它们有一个通用的Type），但事实并非如此。

我确实知道如何解决它；如果我这样做很好

callee(data, (Predicate<SomeDataClass>) d -> d.getRandom() > 0.5);

但我很好奇是什么原因造成的。

Answer 1

为了清楚起见，可以对此进行一些简化：

public static void m(Predicate<Integer> predicate){

}

public static void m(Function<Integer, String> function){

}

并调用：

m(i -> "test")

您认为会发生什么？与您的问题相同。

此处的编译器必须知道方法才能找到目标类型，但是为了解析该方法，编译器需要知道目标类型（就像死锁一样）。

当您将强制转换添加到时Predicate...，您正在创建一个 显式目标类型 ，据我所知，方法的重载考虑了该 类型的 返回类型。