.Min () et .max () du flux Java 8: pourquoi cela se compile-il?

Remarque: cette question provient d'un lien mort qui était une question SO précédente, mais voici ...

Voir ce code ( note: je sais que ce code ne "fonctionnera" pas et qu'il Integer::comparedevrait être utilisé - je viens de l'extraire de la question liée ):

final ArrayList <Integer> list 
    = IntStream.rangeClosed(1, 20).boxed().collect(Collectors.toList());

System.out.println(list.stream().max(Integer::max).get());
System.out.println(list.stream().min(Integer::min).get());

Selon le javadoc de .min()et .max(), l'argument des deux devrait être a Comparator. Pourtant, ici, les références de méthode sont des méthodes statiques de la Integerclasse.

Alors, pourquoi cela se compile-il?

Permettez-moi d'expliquer ce qui se passe ici, car ce n'est pas évident!

Tout d'abord, Stream.max()accepte une instance de Comparatorsorte que les éléments du flux puissent être comparés les uns aux autres pour trouver le minimum ou le maximum, dans un ordre optimal dont vous n'avez pas trop à vous soucier.

La question est donc, bien sûr, pourquoi est-il Integer::maxaccepté? Après tout, ce n'est pas un comparateur!

La réponse réside dans la façon dont la nouvelle fonctionnalité lambda fonctionne en Java 8. Elle repose sur un concept qui est connu de manière informelle sous le nom d'interfaces «méthode abstraite unique» ou interfaces «SAM». L'idée est que toute interface avec une méthode abstraite peut être implémentée automatiquement par n'importe quelle lambda - ou référence de méthode - dont la signature de méthode correspond à la seule méthode de l'interface. Examinons donc l' Comparatorinterface (version simple):

public Comparator<T> {
    T compare(T o1, T o2);
}

Si une méthode recherche un Comparator<Integer>, elle recherche essentiellement cette signature:

int xxx(Integer o1, Integer o2);

J'utilise "xxx" car le nom de la méthode n'est pas utilisé à des fins de correspondance .

Par conséquent, les deux Integer.min(int a, int b)et Integer.max(int a, int b)sont suffisamment proches pour que l'autoboxing permette que cela apparaisse comme un Comparator<Integer>dans un contexte de méthode.

Comparatorest une interface fonctionnelle , et Integer::maxest conforme à cette interface (après prise en compte de l'autoboxing / unboxing). Il prend deux intvaleurs et renvoie unint - tout comme vous vous attendez à un Comparator<Integer>(encore une fois, loucher pour ignorer la différence Integer / int).

Cependant, je ne m'attendrais pas à ce qu'il fasse la bonne chose, étant donné que Integer.maxcela ne respecte pas la sémantique de Comparator.compare. Et en effet, cela ne fonctionne pas vraiment en général. Par exemple, apportez une petite modification:

for (int i = 1; i <= 20; i++)
    list.add(-i);

... et maintenant la maxvaleur est -20 et lemin valeur est -1.

Au lieu de cela, les deux appels doivent utiliser Integer::compare:

System.out.println(list.stream().max(Integer::compare).get());
System.out.println(list.stream().min(Integer::compare).get());

Cela fonctionne car Integer::minrésout une implémentation de l' Comparator<Integer>interface.

La référence de méthode de Integer::minrésout Integer.min(int a, int b), résolu IntBinaryOperatoret vraisemblablement autoboxe se produit quelque part, ce qui en fait un BinaryOperator<Integer>.

Et les méthodes min()resp max()de Stream<Integer>demander l' Comparator<Integer>interface à implémenter.
Maintenant, cela se résout à la méthode unique Integer compareTo(Integer o1, Integer o2). Qui est de type BinaryOperator<Integer>.

Et donc la magie s'est produite car les deux méthodes sont a BinaryOperator<Integer>.

Outre les informations fournies par David M. Lloyd, on pourrait ajouter que le mécanisme qui permet cela s'appelle le typage cible .

L'idée est que le type que le compilateur assigne à une expression lambda ou à une référence de méthode ne dépend pas seulement de l'expression elle-même, mais aussi de l'endroit où elle est utilisée.

La cible d'une expression est la variable à laquelle son résultat est affecté ou le paramètre auquel son résultat est transmis.

Les expressions lambda et les références de méthode se voient attribuer un type qui correspond au type de leur cible, si un tel type peut être trouvé.

Consultez la section Inférence de type dans le didacticiel Java pour plus d'informations.

J'ai eu une erreur avec un tableau obtenant le max et le min donc ma solution était:

int max = Arrays.stream(arrayWithInts).max().getAsInt();
int min = Arrays.stream(arrayWithInts).min().getAsInt();