Mengapa Saya Tidak Boleh Menambahkan Contoh `Ibu Bapa` pada `Senarai

Komplikasi Jenis Generik Wildcard

Generik wildcard Java menyediakan cara untuk mewakili jenis tanpa menggunakan jenis konkrit tertentu. Walaupun fleksibiliti ini boleh berkuasa, ia juga boleh membawa kepada tingkah laku yang tidak dijangka.

Pertimbangkan contoh berikut, di mana senarai Java subjenis yang tidak diketahui antara muka Induk ditakrifkan:

List<? extends Parent> list = ...;

Sistem jenis Java, bagaimanapun, tidak akan membenarkan penambahan contoh Induk ke senarai ini:

Parent p = factory.get();   // returns concrete implementation
list.set(0, p);   // compilation error

Percanggahan yang jelas ini timbul daripada konsep keselamatan jenis. Membenarkan penambahan contoh Induk pada senarai akan menjejaskan integriti jenis generik kad bebas. Inilah sebabnya:

Bayangkan jika penambahan ini dibenarkan. Katakan kita mempunyai senarai kejadian Kanak-kanak, yang merupakan subjenis konkrit Induk:

List<Child> childList = new ArrayList<Child>();
childList.add(new Child());

Jika kami menetapkan childList ini pada senarai kami dengan jenis generik kad bebas, nampaknya kami mempunyai senarai daripada contoh Induk:

List<? extends Parent> parentList = childList;

Walau bagaimanapun, kami kemudiannya berpotensi menambah tika Induk pada ini parentList:

parentList.set(0, new Parent());

Ini akan menyebabkan pelanggaran keselamatan jenis bencana. Apabila mendapatkan semula item pada indeks 0 daripada childList kemudian hari, kami menjangkakan ia adalah tika Anak, tetapi ia sebenarnya adalah tika Induk, yang membawa kepada tingkah laku yang tidak dijangka.

Untuk mengelakkan pelanggaran keselamatan jenis ini, Java menguatkuasakan peraturan bahawa anda hanya boleh menambah kejadian jenis generik kad bebas itu sendiri pada senarai, walaupun anda boleh mendapatkan kejadian superjenisnya. Sekatan ini memastikan integriti parameter jenis dan menghalang kemungkinan pepijat.

Atas ialah kandungan terperinci Mengapa Saya Tidak Boleh Menambahkan Contoh `Ibu Bapa` pada `Senarai. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!