类型推断冲突阻碍反向 Lambda 比较器
尽管 Java 8 的 Comparator.reversed() 方法被广泛使用,但组合时会带来编译障碍使用 lambda 表达式,导致以下结果错误:
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
此问题源于编译器类型推断机制的限制。当 lambda 表达式与 Comparator.comparing() 一起使用时,它需要目标类型来推断参数的类型。在第一个例子中,由于以下目标类型,u被确定为User类型:
Comparator.comparing() -> Function<User, User.getName()> -> User
但是,当引入reverse()时,目标类型被打乱,编译器无法再推断正确的类型。
要解决此问题,可以求助于使用方法引用,它提供了额外的类型信息:
userList.sort(Comparator.comparing(User::getName).reversed());
或者,可以在 lambda 中指定显式参数类型:
userList.sort(Comparator.comparing((User u) -> u.getName()).reversed());
未来的编译器增强功能是否会解决此类型推断障碍还有待观察。
以上是为什么 Java 8 的 Comparator.reversed() 会导致 Lambda 表达式的类型推断冲突?的详细内容。更多信息请关注PHP中文网其他相关文章!