Mengapakah Kad Liar Berbilang pada Kaedah Generik di Jawa Membawa kepada Kekeliruan?

Kad Liar Berbilang pada Kaedah Generik: Teka-teki Pengkompil Java

Pengenalan

Dalam generik Java , kad bebas (*) mewakili jenis yang tidak diketahui. Apabila berbilang kad bebas digunakan pada kaedah generik, ia boleh menyebabkan kekeliruan dan tingkah laku yang tidak dijangka. Artikel ini mengkaji kerumitan berbilang kad bebas dan kesannya terhadap keselamatan jenis Java.

Kekeliruan

Pertimbangkan kod berikut:

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

    public static void main(String[] args) {
        List<String> list1 = null;
        List<Integer> list2 = null;
        doNothing(list1, list2); // compiles fine!
    }
}

Kedua-dua kad bebas dalam doNothing nampaknya tidak berkaitan, membolehkan anda memanggilnya dengan Senarai dan Senarai. Walau bagaimanapun, penambahan berikut pada kaedah memberikan ralat kompilasi:

static void doSomethingIllegal(List<?> list1, List<?> list2) {
    list1.addAll(list2); // DOES NOT COMPILE!!!
}

Ini menunjukkan bahawa walaupun list1 dan list2 boleh menjadi jenis yang berbeza, mereka mungkin mempunyai beberapa sambungan yang menghalang penggunaan langsung.

Kekeliruan Nested Wildcards

Penyiasatan lanjut mendedahkan bahawa kekeliruan bukan terletak pada berbilang kad bebas, tetapi dalam kad bebas bersarang:

public class LOLUnknowns1 {
    static void probablyIllegal(List<List<?>> lol, List<?> list) {
        lol.add(list); // this compiles!! how come???
    }
}

Kod ini disusun tanpa ralat, walaupun senarai mungkin jenis yang berbeza daripada unsur lol. Walau bagaimanapun, adalah penting untuk ambil perhatian bahawa senario ini menimbulkan persoalan tentang keselamatan jenis.

Kebenaran: Penukaran Tangkap

Kekeliruan timbul daripada konsep yang dipanggil penukaran tangkapan. Ia membenarkan kad bebas tertentu menangkap jenis tertentu apabila digunakan dalam kaedah generik. Inilah sebabnya mengapa variasi berikut mungkinIllegal menyusun:

static void probablyIllegalAgain(List<List<? extends Number>> lol, List<? extends Number> list) {
    lol.add(list); // compiles fine!!! how come???
}

Di sini, kad bebas dalam lol boleh menangkap jenis yang memanjangkan Nombor, seperti Senarai atau Senaraikan. Ini bermakna mungkinIllegalAgain boleh menerima hujah yang merupakan kedua-dua senarai nombor.

Memahami Kad Liar Bersarang

Pengambilan utama ialah berbilang kad bebas itu sendiri tidak bermasalah. Kekeliruan timbul apabila cuba menggunakan kad bebas bersarang untuk menangkap jenis yang tidak 'serasi' disebabkan varians jenis.

Dalam kes LOLUnknowns1, kad bebas bersarang dalam List> tidak boleh menangkap jenis tertentu kerana tangkapan tidak akan selamat untuk semua jenis elemen yang mungkin lol. Inilah sebabnya mengapa senarai boleh terdiri daripada sebarang jenis, yang membawa kepada isu keselamatan jenis yang berpotensi.

Kesimpulan

Kad bebas berbilang pada kaedah generik boleh mengelirukan, tetapi memahami penukaran tangkapan dan batasannya adalah penting. Kad bebas bersarang memerlukan pertimbangan yang teliti untuk memastikan keselamatan jenis. Dengan mematuhi prinsip ini, anda boleh menavigasi selok-belok generik Java dan menulis kod yang mantap.

Atas ialah kandungan terperinci Mengapakah Kad Liar Berbilang pada Kaedah Generik di Jawa Membawa kepada Kekeliruan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!