如何指定返回泛型类型且支持类型协变的java.util.Function？

你的思路非常准确！我们可以把这个方法完整实现出来，完成“将函数应用到列表所有元素，过滤掉返回空Optional的结果，收集有效元素组成新列表”的功能。

完整方法实现 #

import java.util.List;
import java.util.Optional;
import java.util.function.Function;
import java.util.stream.Collectors;

public class CollectionUtils {
    public <I, O> List<O> transform(List<I> list, Function<? super I, Optional<? extends O>> func) {
        return list.stream()
                .map(func)          // 对每个元素应用传入的转换函数，得到Optional结果
                .filter(Optional::isPresent) // 过滤掉空的Optional
                .map(Optional::get) // 提取非空Optional中的实际值
                .collect(Collectors.toList()); // 收集成目标List
    }
}

泛型设计的细节解释 #

这里的泛型参数设计是关键，咱们拆解下：

• <I, O>：定义两个泛型参数，I代表输入列表元素的类型，O代表输出列表元素的类型。
• Function<? super I, Optional<? extends O>>：
  • ? super I：使用下界通配符，允许传入的Function可以接受I或者I的父类类型。比如你有一个处理Object类型的Function，也能用来处理List<String>，提升了方法的灵活性。
  • Optional<? extends O>：使用上界通配符，允许Function返回Optional<O>或者Optional<O的子类>。比如如果O是Number，那返回Optional<Integer>也是合法的，适配更多场景。

示例用法 #

咱们用一个实际场景测试下：把字符串列表里能转成整数的元素提取出来，无法转换的忽略。

public static void main(String[] args) {
    List<String> inputList = List.of("123", "abc", "45", "xyz");
    CollectionUtils utils = new CollectionUtils();
    
    List<Integer> result = utils.transform(inputList, s -> {
        try {
            return Optional.of(Integer.parseInt(s));
        } catch (NumberFormatException e) {
            return Optional.empty();
        }
    });
    
    System.out.println(result); // 输出结果：[123, 45]
}

这个方法完全利用Java Stream的链式操作实现，逻辑清晰且符合Java的泛型最佳实践，完美匹配你想要的功能~

内容的提问来源于stack exchange，提问作者smf68