Comparator.reversed () nie kompiluje się przy użyciu lambda

Mam listę z niektórymi obiektami użytkownika i próbuję posortować listę, ale działa tylko przy użyciu odwołania do metody, z wyrażeniem lambda kompilator wyświetla błąd:

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

Błąd:

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

Jest to słabość mechanizmu wnioskowania typu kompilatora. Aby wywnioskować typ ulambda, należy ustalić typ docelowy dla lambda. Jest to realizowane w następujący sposób. userList.sort()oczekuje argumentu typu Comparator<User>. W pierwszym wierszu Comparator.comparing()musi wrócić Comparator<User>. Oznacza to, że Comparator.comparing()potrzebuje Functionże bierze Userargument. Stąd w lambdzie w pierwszym wierszu umusi być typu Useri wszystko działa.

W drugim i trzecim wierszu pisanie docelowe jest zakłócane przez obecność wywołania reversed(). Nie jestem do końca pewien, dlaczego; zarówno odbiornik, jak i zwracany typ reversed()są, Comparator<T>więc wydaje się, że typ docelowy powinien być propagowany z powrotem do odbiorcy, ale tak nie jest. (Jak powiedziałem, to słabość.)

W drugim wierszu odwołanie do metody zawiera dodatkowe informacje o typie, które wypełniają tę lukę. Tych informacji nie ma w trzeciej linii, więc kompilator wnioskuje, uże jest Object(ostatnia deska ratunku), co kończy się niepowodzeniem.

Oczywiście, jeśli możesz użyć odwołania do metody, zrób to i zadziała. Czasami nie możesz użyć odwołania do metody, np. Jeśli chcesz przekazać dodatkowy parametr, więc musisz użyć wyrażenia lambda. W takim przypadku należałoby podać jawny typ parametru w parametrze lambda:

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

Może być możliwe ulepszenie kompilatora, aby uwzględnić ten przypadek w przyszłej wersji.

Można obejść to ograniczenie za pomocą dwu- argumentu Comparator.comparingze Comparator.reverseOrder()jako drugi argument:

users.sort(comparing(User::getName, reverseOrder()));