Mengapa Generik Java Bukan Kovarian?

Generik dan Kovarian Java: Memahami Had

Kovarian dalam generik merujuk kepada keupayaan subjenis digantikan dengan superjenisnya tanpa melanggar jenis keselamatan. Walau bagaimanapun, dalam Java, generik bukan kovarian, bermakna subjenis tidak boleh diberikan kepada pembolehubah supertype.

Untuk menggambarkan konsep ini, pertimbangkan coretan kod berikut:

List<Integer> li = new ArrayList<Integer>();
List<Number> ln = li; // illegal
ln.add(new Float(3.1415));

Di sini, ln ialah alias dengan li, yang bermaksud ln merujuk kepada senarai yang sama seperti li. Walau bagaimanapun, ln diisytiharkan sebagai Senarai, menunjukkan ia boleh menyimpan sebarang jenis yang memanjangkan Nombor. Ini termasuk Float, yang bukan Integer.

Jika kovarians dibenarkan, kod di atas adalah sah, tetapi ia akan melanggar keselamatan jenis. Dengan memberikan Senarai (iaitu, li) kepada Senarai (iaitu, ln), kami berpotensi menambah nilai bukan integer pada senarai, yang akan menjejaskan integritinya sebagai senarai integer.

Oleh itu, untuk mengekalkan keselamatan jenis, generik Java bukan kovarian. Pengehadan ini memastikan bahawa subjenis tidak boleh digunakan secara bergantian dengan superjenis dalam konteks generik, mencegah kemungkinan ralat jenis.

Atas ialah kandungan terperinci Mengapa Generik Java Bukan Kovarian?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!