返回 Java 8 中的通用函数接口

我想写一种函数工厂。它应该是一个函数，以不同的策略作为参数调用一次。它应该返回一个函数，该函数根据参数选择其中一种策略，该参数将由谓词实现。 嗯，最好看看condition3为了更好的理解。 问题是，它没有编译。我认为因为编译器无法弄清楚函数式接口H可以通过实施来实现。 没有泛型它工作正常。

@FunctionalInterface
public interface Finder<T, S> {

    Stream<S> findBest (T t);

    // Valid code
    static <P, Q> Finder<P, Q> condition1 () {
        return p -> null;
    }

    // Valid code, but selects just one of the H's when the method is invoked
    static <P, Q, H extends Finder<P, Q>> H condition2 (Pair<Predicate<P>, H>... hs) {
        return hs[0].getRight ();
    }

    // Should return a method, which selects the appropiate H 
    // whenever it is invoked with an P
    // Compiler complain: 
    // The target type of this expression must be a functional interface
    static <P, Q, H extends Finder<P, Q>> H condition3 (Pair<Predicate<P>, H>... hs) {
        return p -> stream (hs).filter (pair -> pair.getLeft ().test (p))
                               .findFirst ()
                               .map (Pair::getRight)
                               .map (h -> h.findBest (p))
                               .orElseGet (Stream::empty);
    }
}

那么这里有什么问题呢？我可以解决这个问题吗？如果可以用 Java 解决：如何解决？

查看方法的签名并尝试判断确切的返回类型是什么：

static <P, Q, H extends Finder<P, Q>> H condition3(…

Lambda 只能实现一个interface在编译时已知。但实际的类型参数H编译器不知道。

您的第一个方法有效，因为它返回类型Finder<P, Q>lambda 可以实现，你的第二个可以工作，因为它不使用 lambda 来实现返回类型H extends Finder<P, Q>.

只有第三个方法尝试为类型参数指定 lambda 表达式H extends Finder<P, Q>.

解决方案是不让调用者自由地强制执行特定的子类型Finder作为方法的返回类型：

static <P, Q, H extends Finder<P, Q>>
    Finder<P, Q> condition3(Pair<Predicate<P>, H>... hs) {

为了说明原始方法签名的含义，请查看以下示例：

final class HImpl implements Finder<String,String> {
    public Stream<String> findBest(String t) {
        return null; // just for illustration, we never really use the class
    }
}

…

HImpl x=Finder.<String,String,HImpl>condition3();

考虑到您的原始方法签名，该编译不会出现任何错误。但方法应该怎样condition3提供一个实例HImpl这里使用你的 lambda 表达式？