如何为返回具有泛型的函数的方法声明泛型

Question

我正在尝试在java中使用某种模式匹配，所以我想出了这个方法：

public Function<SimpleEntry<T, R>[], R> matchWith(T match){
        return functions ->  Stream.of(functions)
                .filter(entry -> entry.getKey().equals(match))
                .findFirst()
                .map(Entry::getValue)
                .orElse(null);
    }

这显然行不通，我找不到相关的问题。

想法是使用这样的方法：

final String value = matchWith(Type.B).apply(
        new SimpleEntry<>(Type.A, "Type A matches"),
        new SimpleEntry<>(Type.B, "Type B matches")
)

注意：我可能需要像 Function<Pair<T, R>..., R> 这样声明返回类型才能拥有它..我也不知道该怎么做。

那么如何为一个返回泛型函数的方法声明泛型呢？

Answer 1

您必须提供自己的功能接口：

@FunctionalInterface
interface Matcher<T, R> {
    R apply(Entry<T, R>...entries);
}

private static <T, R> Matcher<T, R> matchWith(T match) {
    return functions ->  Stream.of(functions)
            .filter(entry -> entry.getKey().equals(match))
            .findFirst()
            .map(Entry::getValue)
            .orElse(null);
}

final String value = EnclosingClass.<Type, String>matchWith(Type.B).apply(
        new SimpleEntry<>(Type.A, "Type A matches"), // could also use Map.entry in Java 9
        new SimpleEntry<>(Type.B, "Type B matches")
);

此外，类型推断似乎不够聪明，无法确定它应该返回 Matcher<Type, String>，因此您必须手动提供类型参数（就像我在上面所做的那样，其中 EnclosingClass 是声明matchWith)。

---

可以说效果更好的是直接将条目列表传递给matchWith，这样就不需要接口，它还能够自动计算出正确的返回类型：

private static <T, R> R matchWith(T match, Entry<T, R>...enries) {
    return Stream.of(enries)
            .filter(entry -> entry.getKey().equals(match))
            .findFirst()
            .map(Entry::getValue)
            .orElse(null);
}

String value = matchWith(Type.B,
        new SimpleEntry<>(Type.A, "Type A matches"),
        new SimpleEntry<>(Type.B, "Type B matches")
);

---

有趣的是，将来可能会将您尝试创建的一些类似功能添加到 switch 语句中：JEP draft: Switch Expressions for the Java Language

Answer 2

不仅使用函数式编程，您还可以使用目标类型为方法参数和返回类型定义泛型。

public <T, R> Function<Pair<T, R>[], R> matchWith(T match) {}

参考：https://docs.oracle.com/javase/tutorial/java/generics/genTypeInference.html