Bagaimanakah Kad Liar Berbilang Java Mempengaruhi Gelagat Kaedah Generik dan Keserasian Jenis?

Java's Multiple Wildcards: Demystifying the Compiler's Confusion

Walaupun coretan kod dalam soalan pada mulanya mungkin kelihatan mengelirukan, prinsip asasnya agak mudah dan mematuhi jenis generik Java sistem.

Peranan Wildcard

Wildcard (*) mewakili jenis yang tidak diketahui. Dalam coretan, penggunaan berbilang kad bebas mewujudkan ketidakpastian untuk pengkompil:

static void doNothing(List<?> list1, List<?> list2) { }

Memandangkan kad bebas tidak berkaitan, anda boleh menggunakan doNothing dengan senarai jenis yang berbeza, cth., List dan Senaraikan. Walau bagaimanapun, jika anda cuba mengubah suai senarai (cth., list1.addAll(list2)), pengkompil menimbulkan ralat kerana kemungkinan jenis ketidakserasian.

Kad Liar Bersarang dan Penukaran Tangkapan

Kekeliruan timbul terutamanya daripada salah faham peranan bersarang kad bebas:

static void probablyIllegal(List<List<?>> lol, List<?> list) { }

Dalam kes ini, Senarai kad bebas bersarang tidak menangkap jenis seperti Senarai atau Senaraikan. Sebaliknya, ini bermaksud senarai yang unsur-unsurnya boleh menjadi senarai apa-apa jenis. Untuk menangkap jenis tertentu, anda perlu menggunakan kad bebas terhad:

static void nowDefinitelyIllegal(List<? extends List<?>> lol, List<?> list) { }

Sekarang, jika kami cuba menambah senarai (yang mungkin Senarai) ke lol (yang mungkin Senarai>), pengkompil berhak menimbulkan ralat disebabkan jenis yang berpotensi ketidakserasian.

Nota Tambahan

• Pepijat pengkompil yang disyaki dalam soalan tidak wujud; tingkah laku itu sememangnya seperti yang dimaksudkan.
• Kad bebas berbilang pada kaedah generik boleh mengelirukan, tetapi mereka mematuhi peraturan sistem jenis Java, menjadikannya mungkin untuk menulis kod yang fleksibel dan generik.
• Memahami tanggapan tentang penukaran tangkapan adalah penting apabila bekerja dengan kad bebas bersarang untuk mengelakkan ralat penghantaran jenis.

Atas ialah kandungan terperinci Bagaimanakah Kad Liar Berbilang Java Mempengaruhi Gelagat Kaedah Generik dan Keserasian Jenis?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!