Java接口方法级泛型：实现类中确定具体类型的方法
Java泛型增强了代码的可重用性。在方法级别使用泛型时，方法的返回类型或参数类型可以是未知的。然而，在实现类中确定这些类型的具体实现有时是必要的。
考虑一个接口Functor，它使用两个泛型参数：T表示输入类型，F表示Functor的实现类型，F扩展了另一个泛型类型参数?，表示未知类型。
<code class="java">interface Functor<T, F extends Functor<T, F, ?>> {
<R> F map(Function<T, R> f);
}</code>
如果我们希望在实现类中确定R的类型，例如将其限定为Boolean，一种方法是将R声明为Functor接口的第三个泛型类型参数：
立即学习“Java免费学习笔记（深入）”；
<code class="java">interface Functor<T, F extends Functor<T, F, ?>, R> {
F map(Function<T, R> f);
}</code>
然后，修改实现类以指定R的具体类型。例如，实现类FunctorImpl将R指定为Boolean：
<code class="java">static class FunctorImpl<T> implements Functor<T, FunctorImpl<T>, Boolean> {
@Override
public FunctorImpl<T> map(Function<T, Boolean> f) {
return null; // 实际实现应在此处添加逻辑
}
}</code>
通过这种方式，我们在实现类中固定了R的类型，而无需在接口中预先定义。这在保持方法级泛型灵活性的同时，提供了实现上的灵活性。 需要注意的是，FunctorImpl的实现需要提供map方法的具体逻辑。 上面的示例中return null;仅仅是一个占位符。
