Mengapakah `Comparator.reversed()` Java 8 Menyebabkan Konflik Inferens Jenis dengan Ungkapan Lambda?

Konflik Inferens Jenis Menghalang Pembanding Lambda Terbalik

Walaupun penggunaannya meluas, kaedah Comparator.reversed() Java 8 menimbulkan halangan gabungan apabila dengan ungkapan lambda, yang membawa kepada yang berikut ralat:

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

Isu ini berpunca daripada pengehadan dalam mekanisme inferens jenis pengkompil. Apabila ungkapan lambda digunakan dengan Comparator.comparing(), ia memerlukan jenis sasaran untuk membuat kesimpulan jenis parameter. Dalam contoh pertama, u ditentukan untuk menjadi jenis Pengguna kerana jenis sasaran berikut:

Comparator.comparing() -> Function<User, User.getName()> -> User

Walau bagaimanapun, apabila reversed() diperkenalkan, jenis sasaran terganggu dan pengkompil tidak lagi boleh simpulkan jenis yang betul.

Untuk menyelesaikan isu ini, seseorang boleh menggunakan rujukan kaedah, yang menyediakan jenis tambahan maklumat:

userList.sort(Comparator.comparing(User::getName).reversed());

Sebagai alternatif, jenis parameter eksplisit boleh ditentukan dalam lambda:

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

Ia masih harus dilihat sama ada peningkatan pengkompil masa hadapan akan menangani halangan inferens jenis ini.

Atas ialah kandungan terperinci Mengapakah `Comparator.reversed()` Java 8 Menyebabkan Konflik Inferens Jenis dengan Ungkapan Lambda?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!