.Min () і .max () потоків Java 8: чому це компілюється?

Примітка: це запитання походить від мертвого посилання, яке було попереднім питанням SO, але тут іде ...

Дивіться цей код ( зауважте: я знаю, що цей код не буде "працювати", і його Integer::compareслід використовувати - я просто витягнув його із пов'язаного питання ):

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());

На думку javadoc .min()та .max(), аргументом обох має бути a Comparator. Однак тут посилання на методи є на статичні методи Integerкласу.

Отже, чому це взагалі складається?

Дозвольте мені пояснити, що тут відбувається, бо це не очевидно!

По-перше, Stream.max()приймає екземпляр, Comparatorщоб елементи в потоці можна порівняти один з одним, щоб знайти мінімум чи максимум, в якомусь оптимальному порядку, про який вам не потрібно занадто хвилюватися.

Тож питання, звичайно, чому це Integer::maxприйнято? Адже це не компаратор!

Відповідь полягає в тому, що нова функціональність лямбда працює в Java 8. Вона спирається на концепцію, яка неофіційно відома як інтерфейси "єдиного абстрактного методу" або інтерфейси "SAM". Ідея полягає в тому, що будь-який інтерфейс з одним абстрактним методом може бути автоматично реалізований будь-якою лямбда - або посиланням на метод - підпис якого методу відповідає одному методу в інтерфейсі. Отже, вивчаючи Comparatorінтерфейс (проста версія):

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

Якщо метод шукає метод Comparator<Integer>, то він по суті шукає цей підпис:

int xxx(Integer o1, Integer o2);

Я використовую "xxx", оскільки ім'я методу не використовується для відповідності .

Тому обидва Integer.min(int a, int b)і Integer.max(int a, int b)досить близькі, що автобоксинг дозволить відображати це як Comparator<Integer>у контексті методу.

Comparatorє функціональним інтерфейсом і Integer::maxвідповідає цьому інтерфейсу (після автобоксингу / розпакування враховується). Він займає два intзначення і повертає int- так само, як ви і очікували Comparator<Integer>(знову, примружившись, щоб ігнорувати різницю Integer / int).

Тим НЕ менше, я б не очікував , що це зробити правильно, враховуючи , що Integer.maxне відповідає з семантикою про Comparator.compare. І справді це взагалі не працює. Наприклад, внесіть одну невелику зміну:

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

... а тепер maxзначення дорівнює -20, а minзначення -1.

Натомість обидва дзвінки повинні використовувати Integer::compare:

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

Це працює, тому що Integer::minдозволена до реалізації Comparator<Integer>інтерфейсу.

Еталонний метод Integer::minвирішує до Integer.min(int a, int b), вирішив IntBinaryOperator, і , імовірно , Autoboxing відбувається де - то робить його BinaryOperator<Integer>.

І методи min()респ. Інтерфейсу запиту, який потрібно реалізувати. Тепер це вирішується до єдиного методу . Який тип .max()Stream<Integer>Comparator<Integer>
Integer compareTo(Integer o1, Integer o2)BinaryOperator<Integer>

І таким чином магія сталася, оскільки обидва способи є BinaryOperator<Integer>.

Окрім інформації, яку надає Девід М. Ллойд, можна додати, що механізм, який дозволяє це, називається типізацією цілей .

Ідея полягає в тому, що тип, який компілятор призначає лямбда-виразам, або посилання методу, не залежить тільки від самого виразу, але і від того, де воно використовується.

Ціль виразу - це змінна, якій присвоюється його результат, або параметр, якому передається його результат.

Ламбда-вирази та посилання методів присвоюються типу, який відповідає типу їх цілі, якщо такий тип можна знайти.

Додаткові відомості див. У розділі «Налаштування типу» у підручнику Java.

У мене виникла помилка, коли масив отримував максимум і хв, тому моє рішення:

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