Java 8 + 泛型新特性：Lambda 表达式与泛型的协同使用技巧

一、Lambda 表达式与泛型的天然契合

Java 8 引入的 Lambda 表达式为泛型编程注入新活力。通过类型推断机制，编译器能自动推导泛型参数类型：

// 传统匿名内部类
Comparator<String> oldComparator = new Comparator<>() {
    @Override
    public int compare(String s1, String s2) {
        return s1.length() - s2.length();
    }
};

// Lambda 简化
Comparator<String> newComparator = (s1, s2) -> s1.length() - s2.length();

类型推导过程可表示为： $$T \in \text{泛型类型} \implies \lambda\text{参数类型自动匹配 } T$$

二、泛型函数式接口的进阶应用

1. 自定义泛型函数接口

@FunctionalInterface
interface Transformer<T, R> {
    R transform(T input);
}

// 使用示例
Transformer<String, Integer> strToInt = s -> Integer.parseInt(s);
Integer result = strToInt.transform("123");  // 输出 123

2. 泛型边界约束

通过泛型边界增强类型安全：

<T extends Comparable<T>> void sortList(List<T> list) {
    list.sort((a, b) -> a.compareTo(b));  // Lambda 自动识别 T 类型
}

三、类型推断的魔法

1. 上下文类型推导

// 编译器通过目标类型 List<String> 推断 Lambda 类型
List<String> filtered = filter(list, s -> s.startsWith("A"));

2. 显式类型声明

复杂场景可显式指定参数类型：

Function<Integer, String> intToStr = (Integer x) -> x.toString();

四、实战：泛型集合操作

// 泛型方法 + Lambda
public static <T> List<T> filter(List<T> list, Predicate<T> predicate) {
    return list.stream()
               .filter(predicate)
               .collect(Collectors.toList());
}

// 调用示例
List<Integer> numbers = Arrays.asList(1, 2, 3, 4);
List<Integer> evens = filter(numbers, n -> n % 2 == 0);  // [2, 4]

五、类型擦除的注意事项

虽然泛型在运行时被擦除，但 Lambda 仍保持类型安全：

// 编译时检查
List<String> list = new ArrayList<>();
list.add("text");
// list.add(1);  // 编译错误

// Lambda 配合泛型方法
Consumer<String> printer = s -> System.out.println(s.length());
printer.accept("hello");  // 输出 5

六、最佳实践建议

1. 保持简洁性：避免过度嵌套泛型与 Lambda

   // 不推荐
   Function<Function<String, Integer>, Integer> complex = f -> f.apply("100");
   
   // 推荐拆分
   Function<String, Integer> parser = Integer::parseInt;
   int value = parser.apply("100");
   

2. 善用方法引用：

   // Lambda 写法
   list.forEach(s -> System.out.println(s));
   
   // 方法引用优化
   list.forEach(System.out::println);
   

3. 明确类型边界：当出现编译错误时，显式声明泛型边界

结语

Lambda 与泛型的结合使 Java 类型系统更具表现力。通过本文的：

• 类型推导机制应用
• 泛型函数式接口设计
• 类型安全实践方案

开发者可编写更简洁、安全的泛型代码。建议在复杂泛型场景中结合 IDE 的类型提示功能，充分发挥二者的协同优势。