Bagaimanakah Kata Kunci `super` Mempengaruhi Jenis Keselamatan dan Penggunaan dalam Java Generics?

Java Generics: Menyelidiki Kata Kunci 'Super'

Generik membenarkan pembangun menulis kod yang lebih fleksibel dan boleh digunakan semula dengan memperkenalkan parameter jenis. Satu aspek generik ialah penggunaan kata kunci 'super' dalam sempadan jenis.

Pengisytiharan Koleksi Super dalam

Apabila mengisytiharkan koleksi menggunakan kad bebas sempadan dengan 'super ', seperti:

List<? super Number> list = null;

ia menyatakan bahawa koleksi boleh menyimpan elemen yang jenisnya ialah subjenis Nombor. Walau bagaimanapun, ini tidak bermakna ia boleh memegang sebarang superjenis Nombor. Dalam kes ini, tingkah laku berikut diperhatikan:

• list.add(new Integer(0)) menyusun dan berfungsi dengan betul. Integer ialah subjenis Nombor, jadi ia boleh ditambah pada senarai.
• list.add(new Object()) tidak menyusun. Objek ialah superjenis Nombor, tetapi senarai itu tidak diisytiharkan memegang superjenis Nombor.

Kata Kunci dan Jenis Keselamatan 'Super'

Pertimbangkan perkara berikut kod:

static void test(List<? super Number> param) {
  param.add(new Integer(2));
}

public static void main(String[] args) {
  List<String> sList = new ArrayList<String>();
  test(sList);
}

Secara intuitif, nampaknya kod itu harus disusun memandangkan String juga merupakan jenis super Nombor. Walau bagaimanapun, ia tidak dibenarkan kerana keselamatan jenis. Java menguatkuasakan keselamatan jenis untuk mengelakkan ralat masa jalan. Menambah Rentetan pada senarai yang diisytiharkan memegang subjenis Nombor sahaja akan melanggar keselamatan jenis.

Mengapa tidak '' Membina?

Java tidak membenarkan sempadan jenis dengan kata kunci 'super' dan 'lanjutkan' kerana ia akan membawa kepada kekangan jenis bercanggah dan menyukarkan untuk memastikan keselamatan jenis. Contohnya, jika '' telah dibenarkan dan anda mengisytiharkan Senarai, adalah tidak jelas sama ada 'S' ialah subjenis atau superjenis 'T'.

Pertimbangan Utama untuk 'super' dalam Generik

• Kad bebas terikat dengan subjenis tangkapan 'super' bagi yang ditentukan jenis.
• Keselamatan jenis menentukan bahawa elemen yang ditambahkan pada koleksi super-bounded mestilah subjenis jenis yang ditentukan.
• 'super' dan 'extends' tidak boleh digabungkan dalam jenis bounds kerana jenis yang berpotensi. pelanggaran keselamatan.

Atas ialah kandungan terperinci Bagaimanakah Kata Kunci `super` Mempengaruhi Jenis Keselamatan dan Penggunaan dalam Java Generics?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!