java - 混合泛型方法和 Java 8 语法的复合表达式无法编译

Question

使用 Java 8 update 20，下面的类无法编译，它失败并出现错误“不兼容的类型:无法推断类型变量”。然而，使用 Eclipse 4.4.0，这确实使用 JDT 编译器编译和运行。要使其使用标准 Java 编译器进行编译，必须单独执行转换 letters.stream().map(l -> l + "1").collect(Collectors.toList()) .有谁知道这是 Java 编译器中的错误还是规范的一部分？如果此行为符合预期，为什么 JDT 和标准编译器会有所不同？

import java.util.Arrays;
import java.util.Collections;
import java.util.List;
import java.util.stream.Collectors;

public class CompileTest {

    public static void main(String[] args) {
        List<String> letters = Arrays.asList("A", "B", "C", "D", "E");
        int pos = Collections.binarySearch(letters.stream().map(l -> l + "1").collect(Collectors.toList()), "C1", (l1, l2) -> l1.compareTo(l2));
        System.out.println(pos);
    }

}

Answer 1

您在当前的 jdk1.8.0_20 中遇到了一个错误。使用 jdk1.8.0_40 的 beta 编译没有错误。

您可以使用 jdk1.8.0_20 的解决方法:

List<String> letters = Arrays.asList("A", "B", "C", "D", "E");
int pos = Collections.<String>binarySearch(
    letters.stream().map(l -> l + "1").collect(Collectors.toList()),
    "C1", (l1, l2) -> l1.compareTo(l2));
System.out.println(pos);

或者您将 Comparator 的 lambda 表达式替换为方法引用。这向编译器提供了有关调用 compareTo 的类型的提示:

List<String> letters = Arrays.asList("A", "B", "C", "D", "E");
int pos = Collections.binarySearch(
    letters.stream().map(l -> l + "1").collect(Collectors.toList()),
    "C1", String::compareTo);
System.out.println(pos);

---

但是你也可以简化你的代码。由于 String 已经实现了 Comparable，因此您无需为 Comparator 指定 lambda 表达式:

List<String> letters = Arrays.asList("A", "B", "C", "D", "E");
int pos = Collections.binarySearch(
    letters.stream().map(l -> l + "1").collect(Collectors.toList()), "C1");
System.out.println(pos);

这种简化具有降低类型推断复杂性的副作用，并且可以毫无问题地使用 jdk1.8.0_20 进行编译。