Comparator.reversed () ne compile pas en utilisant lambda

J'ai une liste avec des objets utilisateur et j'essaie de trier la liste, mais ne fonctionne qu'en utilisant une référence de méthode, avec une expression lambda, le compilateur donne une erreur:

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

Erreur:

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

Il s'agit d'une faiblesse dans le mécanisme d'inférence de type du compilateur. Afin de déduire le type de udans le lambda, le type de cible pour le lambda doit être établi. Ceci est accompli comme suit. userList.sort()attend un argument de type Comparator<User>. Dans la première ligne, Comparator.comparing()doit revenir Comparator<User>. Cela implique qu'il Comparator.comparing()faut un Functionqui prend un Userargument. Ainsi, dans le lambda sur la première ligne, udoit être de type Useret tout fonctionne.

Dans les deuxième et troisième lignes, la saisie de la cible est perturbée par la présence de l'appel à reversed(). Je ne sais pas exactement pourquoi; le récepteur et le type de retour de reversed()sont Comparator<T>donc il semble que le type de cible devrait être propagé vers le récepteur, mais ce n'est pas le cas. (Comme je l'ai dit, c'est une faiblesse.)

Dans la deuxième ligne, la référence de méthode fournit des informations de type supplémentaires qui comblent cette lacune. Cette information est absente de la troisième ligne, donc le compilateur en déduit uêtre Object(le repli d'inférence de dernier recours), qui échoue.

Évidemment, si vous pouvez utiliser une référence de méthode, faites-le et cela fonctionnera. Parfois, vous ne pouvez pas utiliser une référence de méthode, par exemple, si vous souhaitez passer un paramètre supplémentaire, vous devez donc utiliser une expression lambda. Dans ce cas, vous fournirez un type de paramètre explicite dans le lambda:

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

Il est possible que le compilateur soit amélioré pour couvrir ce cas dans une version ultérieure.

Vous pouvez contourner cette limitation en utilisant l'argument Comparator.comparingà deux avec Comparator.reverseOrder()comme deuxième argument:

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