Mengapa Saya Tidak Boleh Mencipta Tatasusunan Generik di Jawa, dan Apakah Alternatif Selamat?

Mencipta Tatasusunan Generik: Penerokaan Had Tatasusunan Java

Ciri generik Java membenarkan untuk mencipta bekas selamat jenis tetapi menghadapi cabaran apabila berurusan dengan tatasusunan. Memahami had ini adalah penting untuk mengelakkan ralat yang tidak dijangka.

Jenis Kovarians dan Generik

Tasusunan mempamerkan kovarians, bermakna tatasusunan superjenis boleh menyimpan elemen subjenis . Walau bagaimanapun, generik menguatkuasakan semakan jenis yang lebih kuat dan tidak membenarkan tingkah laku ini, memastikan keselamatan jenis pada masa penyusunan.

Pemeriksaan Stor Tatasusunan lwn. Pemadaman Jenis Generik

Tasusunan menguatkuasakan semakan jenis pada masa jalan menggunakan Pemeriksaan Stor Array. Generik, sebaliknya, mengalami pemadaman jenis, bermakna maklumat jenis hilang semasa masa jalan. Perbezaan ini membawa kepada operasi yang berbeza apabila bekerja dengan generik dan tatasusunan.

Melarang Penciptaan Tatasusunan Generik

Mencipta tatasusunan dengan jenis komponen generik adalah dilarang kerana ia sifat jenis-tidak selamat. Pertimbangkan contoh berikut:

public <T> T[] getArray(int size) {
    T[] arr = new T[size];  // Type-unsafe, not allowed
    return arr;
}

Pada masa jalan, tatasusunan ini sebenarnya akan menjadi Objek[], yang tidak akan menaip semak dengan betul apabila ditugaskan kepada rujukan, katakan, Integer[].

Menaip daripada Objek[] kepada Generik Tatasusunan

Kod E[] elemen = (E[]) Objek baharu[10]; berfungsi disebabkan oleh taip yang menindas amaran. Walau bagaimanapun, penyelesaian ini tidak selalunya selamat dan boleh membawa kepada ralat masa jalan, terutamanya apabila berurusan dengan input yang tidak dipercayai.

Susunan Jenis Kad Liar Tidak Terhad

Penciptaan tatasusunan ialah dibenarkan untuk jenis kad bebas tanpa had kerana ia boleh digunakan semula, bermakna ia mempunyai parameter jenis yang tidak ditentukan. Ini selamat kerana tatasusunan boleh menyimpan unsur-unsur dari sebarang jenis.

Alternatif untuk E[]: Array.newInstance()

Untuk mencipta tatasusunan dengan selamat dengan jenis komponen generik, gunakan Array.newInstance(). Kaedah ini mengambil objek Kelas jenis komponen dan saiz tatasusunan yang dikehendaki sebagai parameter.

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

Dengan memahami batasan ini dan menggunakan penyelesaian yang disyorkan, pembangun Java boleh mengendalikan generik dan tatasusunan dengan berkesan sambil memastikan keselamatan jenis.

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