Mengapa Saya Tidak Boleh Mencipta Tatasusunan Generik di Java, dan Apakah Penyelesaiannya?

Mencipta Tatasusunan Generik: Meneroka Teka-teki

Pengenalan

Walaupun terdapat persamaan dalam sintaks, generik dan tatasusunan berkelakuan berbeza di Jawa. Artikel ini menyelidiki selok-belok mencipta tatasusunan generik, menerangkan sebab asas di sebalik pengehadan mereka dan menawarkan penyelesaian untuk senario tertentu.

Generik dan Tatasusunan: Perbezaan Asas

Tatasusunan diperbaharui, bermakna tatasusunan mereka maklumat jenis tersedia pada masa jalan. Generik, sebaliknya, dipadamkan semasa penyusunan, mengalih keluar maklumat jenis mereka semasa masa jalan. Pembezaan ini membawa kepada peraturan yang berbeza untuk mengendalikan jenis dan tatasusunan generik.

Sekatan pada Penciptaan Tatasusunan Generik

Pemeriksaan Kovarian dan Jenis: Tatasusunan mempamerkan kovarians, membenarkan tugasan seperti Objek[] arr = Rentetan baharu[10]. Walau bagaimanapun, generik tidak mewarisi harta ini, memberikan tugasan seperti Senarai list = ArrayList() baharu tidak sah.

Jenis Ralat Keselamatan dan Masa Jalan: Generik dikuatkuasakan pada masa penyusunan untuk mengelakkan ralat masa jalan. Memandangkan tatasusunan generik tidak mempunyai maklumat jenis semasa masa jalan, penciptaannya boleh membawa kepada gelagat jenis tidak selamat yang tidak disemak.

Contoh Gelagat Jenis-Tidak Selamat:

public <T> T[] getArray(int size) {
    T[] arr = new T[size];  // This would be allowed if generic array creation was permitted.
    return arr;
}

Integer[] arr = getArray(10); // Assigns an Object[] to Integer[] reference, leading to a runtime error.

Mengapa Typecasting Berfungsi untuk Objek baharu[10]

Menghantar Objek baharu[10] ke E[] dalam elemen E[] = (E[]) Objek baharu[10] nampaknya berfungsi, tetapi ini adalah pendekatan yang berbahaya. Pelakon tidak ditandakan, bermakna pengkompil tidak menjamin kesahihannya. Pada masa jalan, tatasusunan yang terhasil akan menjadi Objek[], yang berpotensi menyebabkan ralat masa jalan jika elemen tidak serasi jenis ditambah.

Penciptaan Tatasusunan untuk Jenis Boleh Ditebus

Tatasusunan jenis yang boleh diulang, seperti mentah jenis (cth., Senarai[]) atau jenis kad bebas tanpa had (cth., Senarai[]), boleh dicipta tanpa masalah. Ini kerana jenis reifiable mempunyai maklumat jenis yang tersedia pada masa jalan. Walau bagaimanapun, mencipta tatasusunan jenis yang tidak boleh diperbaharui, seperti jenis tatasusunan generik (cth., E[]), adalah dilarang.

Penyelesaian untuk Mencipta Tatasusunan E[]

Untuk mengatasi pengehadan penciptaan tatasusunan generik, penyelesaian berikut boleh digunakan:

public <E> E[] getArray(Class<E> clazz, int size) {
    @SuppressWarnings("unchecked")
    E[] arr = (E[]) Array.newInstance(clazz, size);
    return arr;
}

Kaedah ini mengambil kesempatan daripada Kaedah Class#newInstance, yang menyediakan cara selamat jenis untuk mencipta tatasusunan jenis yang boleh diperbaharui.

Kesimpulan

Penciptaan tatasusunan generik dihadkan di Java disebabkan oleh keselamatan jenis asas dan gelagat masa jalan pertimbangan. Walaupun penyelesaian wujud untuk mencipta tatasusunan jenis yang boleh diperbaharui, adalah penting untuk mengambil kira pengehadan dan potensi implikasi menggunakan penyelesaian ini semasa mereka bentuk dan melaksanakan kod generik.

Atas ialah kandungan terperinci Mengapa Saya Tidak Boleh Mencipta Tatasusunan Generik di Java, dan Apakah Penyelesaiannya?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!