java - Comparator.reversed() 不使用 lambda 进行编译

Question

我有一个包含一些 User 对象的列表，我正在尝试对列表进行排序，但只能使用方法引用，使用 lambda 表达式，编译器会给出错误:

List<User> userList = Arrays.asList(u1, u2, u3);
userList.sort(Comparator.comparing(u -> u.getName())); // works
userList.sort(Comparator.comparing(User::getName).reversed()); // works
userList.sort(Comparator.comparing(u -> u.getName()).reversed()); // Compiler error

错误:

com\java8\collectionapi\CollectionTest.java:35: error: cannot find symbol
            userList.sort(Comparator.comparing(u -> u.getName()).reversed());
                                                     ^
symbol:   method getName()
location: variable u of type Object
1 error

Answer 1

这是编译器类型推断机制的一个弱点。为了推断u的类型在 lambda 中，需要建立 lambda 的目标类型。这是按如下方式完成的。 userList.sort()需要 Comparator<User> 类型的参数。第一行 Comparator.comparing()需要返回Comparator<User> 。这意味着 Comparator.comparing()需要 Function这需要 User争论。因此，在第一行的 lambda 中， u类型必须为 User一切正常。

在第二行和第三行中，目标输入因对 reversed() 的调用而中断。 。我不太清楚为什么； reversed() 的接收者和返回类型是Comparator<T>所以看起来目标类型应该传播回接收者，但事实并非如此。 (就像我说的，这是一个弱点。)

在第二行中，方法引用提供了填补此空白的附加类型信息。第三行缺少此信息，因此编译器推断 u成为Object (最后手段的推理后备)，失败了。

显然，如果您可以使用方法引用，那么就这样做，它就会起作用。有时您无法使用方法引用，例如，如果您想传递附加参数，则必须使用 lambda 表达式。在这种情况下，您需要在 lambda 中提供显式参数类型:

userList.sort(Comparator.comparing((User u) -> u.getName()).reversed());

编译器可能会得到增强，以在未来的版本中涵盖这种情况。