Mengapa Kita Tidak Boleh Menggunakan Kata Kunci \'super\' untuk Jenis Sempadan Parameter dalam Java Generics?

Generik Mengikat dengan Kata Kunci 'super': Penjelasan Komprehensif

Generik Java membenarkan keselamatan jenis dan kebolehgunaan semula kod. Satu aspek generik ialah terikat jenis, di mana parameter jenis boleh dihadkan kepada perhubungan subjenis tertentu. Walau bagaimanapun, tidak seperti kad bebas, parameter jenis tidak boleh dihadkan menggunakan kata kunci 'super'.

Dalam antara muka Koleksi, kaedah toArray mengambil hujah jenis 'S[]' dengan 'S' sebagai parameter jenis. Timbul persoalan mengapa kaedah itu tidak diisytiharkan sebagai '' bukannya kad bebas ''.

Jawapannya terletak pada tingkah laku 'super' terikat. Walaupun 'super' biasanya digunakan dengan kad bebas (<'? super T'>), menerapkannya untuk menaip parameter (<'' dan bukannya '>) mempunyai akibat yang tidak diingini. Objek ialah kelas super bagi semua jenis rujukan, bermakna 'Objek[]' ialah hujah yang sah kepada '<'S super T>>' pada masa penyusunan. Ini mengalahkan tujuan terikat, kerana sebarang hujah jenis rujukan boleh diluluskan, walaupun yang bukan subkelas 'T'.

Oleh itu, 'super' terikat pada parameter jenis tidak akan memberikan perlindungan yang diharapkan terhadap hujah yang tidak sah. Untuk menggambarkan, kaedah hipotesis '<> S[] toArray(S[] a)' dengan '' kerana 'Integer' masih membenarkan hujah jenis 'String[]', walaupun 'String' bukan kelas super 'Integer'. Memandangkan 'String[]' ialah 'Objek[]', ia akan memenuhi 'super' terikat.

Had ini berpunca daripada interaksi antara generik dan tatasusunan. Generik dan tatasusunan mempunyai peraturan kovarians yang berbeza, yang membawa kepada gelagat yang diperhatikan.

Adalah penting untuk ambil perhatian bahawa pengehadan ini hanya terpakai pada parameter taip. Kad bebas masih boleh diikat menggunakan 'super' untuk menyatakan varians, seperti yang dilihat dalam '<'? super T>' dalam kaedah toArray, membolehkan fleksibiliti yang lebih besar.

Untuk mendapatkan maklumat lanjut tentang generik dan pembatasan jenis, rujuk sumber berikut:

• Tutorial/Generik Java
• Java Generics: Apakah PECS?
• Apakah perbezaan antara super dan extends dalam Java Generics

Atas ialah kandungan terperinci Mengapa Kita Tidak Boleh Menggunakan Kata Kunci \'super\' untuk Jenis Sempadan Parameter dalam Java Generics?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!