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

Question

我有一个包含一些用户对象的列表，我正在尝试对列表进行排序，但只能使用方法引用，使用 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());

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