Java 8 stream .min () dan .max (): mengapa ini dikompilasi?

Catatan: pertanyaan ini berasal dari tautan mati yang merupakan pertanyaan SO sebelumnya, tetapi begini ...

Lihat kode ini ( catatan: Saya tahu bahwa kode ini tidak akan "berfungsi" dan yang Integer::compareharus digunakan - Saya baru saja mengekstraknya dari pertanyaan yang ditautkan ):

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

Menurut javadoc dari .min()dan .max(), argumen keduanya harus a Comparator. Namun di sini referensi metode adalah metode statis Integerkelas.

Jadi, mengapa ini dikompilasi?

Izinkan saya menjelaskan apa yang terjadi di sini, karena tidak jelas!

Pertama, Stream.max()terima contoh Comparatoragar item dalam aliran dapat dibandingkan satu sama lain untuk menemukan minimum atau maksimum, dalam urutan optimal yang tidak perlu Anda khawatirkan terlalu banyak.

Jadi pertanyaannya, tentu saja, mengapa Integer::maxditerima? Bagaimanapun, ini bukan pembanding!

Jawabannya adalah bagaimana fungsi lambda baru berfungsi di Java 8. Ini bergantung pada konsep yang secara informal dikenal sebagai antarmuka "metode abstrak tunggal", atau antarmuka "SAM". Idenya adalah bahwa setiap antarmuka dengan satu metode abstrak dapat secara otomatis diimplementasikan oleh lambda - atau referensi metode - yang tanda tangannya metode cocok untuk satu metode pada antarmuka. Jadi memeriksa Comparatorantarmuka (versi sederhana):

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

Jika suatu metode mencari Comparator<Integer>, maka pada dasarnya mencari tanda tangan ini:

int xxx(Integer o1, Integer o2);

Saya menggunakan "xxx" karena nama metode tidak digunakan untuk tujuan pencocokan .

Oleh karena itu, keduanya Integer.min(int a, int b)dan Integer.max(int a, int b)cukup dekat sehingga autoboxing akan memungkinkan ini muncul sebagai Comparator<Integer>dalam konteks metode.

Comparatoradalah antarmuka fungsional , dan Integer::maxsesuai dengan antarmuka itu (setelah autoboxing / unboxing dipertimbangkan). Dibutuhkan dua intnilai dan mengembalikan int- seperti yang Anda harapkan Comparator<Integer>untuk (sekali lagi, menyipitkan mata untuk mengabaikan perbedaan Integer / int).

Namun, saya tidak akan mengharapkan untuk melakukan hal yang benar, mengingat bahwa Integer.maxtidak sesuai dengan semantik dari Comparator.compare. Dan memang itu tidak benar-benar bekerja secara umum. Misalnya, buat satu perubahan kecil:

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

... dan sekarang maxnilainya -20 dan minnilainya -1.

Sebaliknya, kedua panggilan harus menggunakan Integer::compare:

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

Ini berfungsi karena Integer::minmemutuskan untuk mengimplementasikan Comparator<Integer>antarmuka.

Referensi metode Integer::minresolves to Integer.min(int a, int b), resolved to IntBinaryOperator, dan mungkin autoboxing terjadi di suatu tempat membuatnya menjadi BinaryOperator<Integer>.

Dan metode min()resp max()dari antarmuka Stream<Integer>meminta Comparator<Integer>untuk diimplementasikan.
Sekarang ini teratasi dengan metode tunggal Integer compareTo(Integer o1, Integer o2). Yang merupakan tipe BinaryOperator<Integer>.

Dan dengan demikian keajaiban telah terjadi karena kedua metode adalah a BinaryOperator<Integer>.

Terlepas dari informasi yang diberikan oleh David M. Lloyd orang dapat menambahkan bahwa mekanisme yang memungkinkan ini disebut pengetikan target .

Idenya adalah bahwa jenis kompiler menetapkan untuk ekspresi lambda atau referensi metode tidak hanya bergantung pada ekspresi itu sendiri, tetapi juga pada di mana ia digunakan.

Target ekspresi adalah variabel yang hasilnya ditetapkan atau parameter yang hasilnya diteruskan.

Ekspresi Lambda dan referensi metode diberikan jenis yang cocok dengan jenis target mereka, jika jenis tersebut dapat ditemukan.

Lihat bagian Ketikkan Inferensi di Tutorial Java untuk informasi lebih lanjut.

Saya mengalami kesalahan dengan array mendapatkan maks dan min jadi solusi saya adalah:

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