Mengapa Rujukan Kaedah Java dengan Jenis Pulangan Seolah-olah Padan dengan Antara Muka Pengguna?

Memahami Kaedah Rujukan Keserasian dengan Antara Muka Pengguna

Walaupun tajuknya, "Mengapa rujukan kaedah Java dengan jenis pulangan sepadan dengan Pengguna antara muka?", ungkapan lambda dan rujukan kaedah mempunyai hubungan kompleks yang melangkaui padanan jenis semata-mata. Mari kita mendalami topik ini dan menjelaskan selok-belok yang terlibat.

Apabila mentakrifkan ungkapan lambda dengan jenis pulangan, seperti lambda1 dan lambda2 dalam contoh kod, ia mematuhi jenis tandatangan antara muka berfungsi yang ia laksanakan. Walau bagaimanapun, kes yang mengejutkan berlaku dengan rujukan kaedah.

Pertimbangkan lambda3 dan lambda4, yang merujuk kaedah penggunaan. Secara intuitif, kami mungkin menjangkakan lambda3 gagal disebabkan oleh ketidakpadanan antara jenis pulangan penggunaan (String) dan jenis pulangan batal yang dijangkakan bagi antara muka Pengguna. Walau bagaimanapun, daripada gagal, lambda3 berjaya.

Jawapannya terletak pada prinsip reka bentuk di sebalik rujukan kaedah. Mereka bertujuan untuk membenarkan penyesuaian kaedah kepada antara muka berfungsi, tanpa mengira nilai pulangannya. Dalam kes ini, nilai pulangan kaedah penggunaan (String) nampaknya diabaikan, membolehkannya mematuhi keperluan kekosongan antara muka Pengguna.

Menariknya, prinsip yang sama digunakan pada ungkapan lambda. Borang lambda (args) -> ungkapan adalah nilai serasi hanya jika ungkapan menilai kepada nilai bukan pernyataan. Walau bagaimanapun, jika ungkapan itu adalah pernyataan itu sendiri (cth., penyebutan kaedah, kenaikan/pengurangan), ia menjadi serasi tidak sah. Oleh itu, penggunaan mewakili bentuk serasi void yang sah.

Sebagai pengecualian yang ketara, borang (arg) -> methodReturningVoid(arg) ialah satu-satunya ungkapan yang tidak mempunyai keserasian nilai. Memahami kerumitan ini meningkatkan pemahaman kami tentang ungkapan lambda Java dan rujukan kaedah, membolehkan kami memanfaatkan keupayaannya dengan berkesan.

Atas ialah kandungan terperinci Mengapa Rujukan Kaedah Java dengan Jenis Pulangan Seolah-olah Padan dengan Antara Muka Pengguna?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!