具有泛型的 Java F-Bound 类型

Question

有什么方法可以在调用站点返回通用响应的 java 中表达 f 绑定类型？

interface Functor<T extends Functor<T>>
  public <B> T<B> map(Function<A, B> fn); // won't compile because types don't match

如果类型从不改变，我可以使用 f-bound 类型，但在 map 的情况下，我需要一个新类型。有没有办法用java来表达？

即使我知道 javac 不支持更高种类的类型，我真正在寻找的是任何可以获得类似更高种类的东西的方法。

假设我们有一个List<A>，并希望这个接口返回一个List<B>。但是不想让这个接口知道List的任何信息。

Answer 1

阅读 Wikipedia 对 functor 的定义，听起来您想定义一个能够从一个类别（Java 类型）映射到另一个类别的泛型类型。在上面的示例中，从List<A> 映射到List<B>，其中A 和B 类型是通用的。

如果这是您的目标，请考虑使用以下接口来定义Functor 类型：

public interface Functor<CategoryA, CategoryB> {
    public CategoryB map(CategoryA instance);
}

这声明Functor 类型处理两种通用参数类型，CategoryA 和CategoryB，并且对这些参数类型没有任何约束。它还声明必须实现一个方法map，该方法从CategoryA 类型的对象映射到CategoryB 类型的对象。

假设，根据您的示例，您现在要创建一个从 List<Integer> 映射到 List<String> 的 Functor 的具体实例。您可以创建以下类：

public class IntegerListToStringList implements Functor<List<Integer>, List<String>> {
    @Override
    public List<String> map(List<Integer> integerList) {
        List<String> stringList = new ArrayList<>(integerList.size());
        for(Integer intValue : integerList) {
            stringList.add(Integer.toString(intValue));
        }
        return stringList;
    }
}

然后您可以像这样调用这个具体的Functor 实现：

Functor<List<Integer>, List<String>> functor = new IntegerListToStringList();
Integer[] intArray = new Integer[] {2, 3, 5, 7, 11, 13};
List<Integer> intList = Arrays.asList(intArray);
List<String> stringList = functor.map(intList);
System.out.println("String list: " + stringList);

现在任何需要Functor<List<Integer>, List<String>> 类型参数的方法都可以接受IntegerListToStringList 类型的实例。