Koleksi yang Tidak Dapat Diubah Java

Dari dokumentasi Java 1.6 Collection Framework :

Koleksi yang tidak mendukung operasi modifikasi apa pun (seperti add, removedan clear) disebut sebagai tidak dapat dimodifikasi . [...] Koleksi yang juga menjamin bahwa tidak ada perubahan pada objek Collection yang akan terlihat disebut sebagai tidak dapat diubah .

Kriteria kedua sedikit membingungkan saya. Mengingat koleksi pertama tidak dapat dimodifikasi, dan dengan asumsi bahwa referensi koleksi asli telah dibuang, apa saja perubahan yang dirujuk pada baris kedua? Apakah ini mengacu pada perubahan elemen yang ada di koleksi, yaitu status elemen?

Pertanyaan kedua:
Agar koleksi tidak dapat diubah, bagaimana cara memberikan jaminan tambahan yang ditentukan? Jika status elemen dalam koleksi diperbarui oleh utas, apakah cukup untuk keabadian bahwa pembaruan dalam keadaan itu tidak terlihat pada utas yang menyimpan koleksi yang tidak bisa diubah?

Agar koleksi tidak dapat diubah, bagaimana cara memberikan jaminan tambahan yang ditentukan?

Koleksi yang tidak dapat dimodifikasi biasanya merupakan tampilan hanya-baca (pembungkus) dari koleksi lain. Anda tidak dapat menambahkan, menghapus, atau menghapusnya, tetapi koleksi yang mendasari dapat berubah.

Koleksi yang tidak dapat diubah tidak dapat diubah sama sekali - mereka tidak membungkus koleksi lain - mereka memiliki elemennya sendiri.

Berikut kutipan dari jambu biji ImmutableList

Tidak seperti Collections.unmodifiableList(java.util.List<? extends T>), yang merupakan tampilan dari kumpulan terpisah yang masih bisa berubah, instance ImmutableListberisi data pribadinya sendiri dan tidak akan pernah berubah.

Jadi, pada dasarnya, untuk mendapatkan koleksi yang tidak bisa diubah dari yang bisa berubah, Anda harus menyalin elemennya ke koleksi baru, dan melarang semua operasi.

Perbedaannya adalah Anda tidak dapat memiliki referensi ke koleksi yang tidak dapat diubah yang memungkinkan perubahan. Koleksi yang tidak dapat dimodifikasi tidak dapat dimodifikasi melalui referensi itu , tetapi beberapa objek lain mungkin menunjuk ke data yang sama yang dapat diubahnya.

misalnya

List<String> strings = new ArrayList<String>();
List<String> unmodifiable = Collections.unmodifiableList(strings);
unmodifiable.add("New string"); // will fail at runtime
strings.add("Aha!"); // will succeed
System.out.println(unmodifiable);

Collection<String> c1 = new ArrayList<String>();
c1.add("foo");
Collection<String> c2 = Collections.unmodifiableList(c1);

c1adalah bisa berubah (yaitu tidak unmodifiable atau berubah ).
c2adalah unmodifiable : tidak dapat diubah sendiri, tetapi jika nanti saya mengubah c1kemudian bahwa perubahan akan terlihat dalam c2.

Ini karena c2ini hanyalah pembungkus c1dan bukan salinan independen. Guava menyediakan ImmutableListantarmuka dan beberapa implementasi. Mereka bekerja dengan benar-benar membuat salinan input (kecuali jika input adalah koleksi yang tidak dapat diubah sendiri).

Mengenai pertanyaan kedua Anda:

Mutabilitas / kekekalan sebuah koleksi tidak bergantung pada mutabilitas / kekekalan objek yang terkandung di dalamnya. Memodifikasi objek yang terdapat dalam koleksi tidak dihitung sebagai "modifikasi koleksi" untuk deskripsi ini. Tentu saja jika Anda membutuhkan koleksi yang tidak dapat diubah, Anda biasanya juga menginginkannya berisi objek yang tidak dapat diubah.

Sekarang java 9 memiliki Metode pabrik untuk Daftar, Set, Peta, dan Peta yang Tidak Dapat Diubah.

Di Java SE 8 dan versi sebelumnya, Kita dapat menggunakan metode utilitas kelas Koleksi seperti unmodifiableXXX untuk membuat objek Koleksi yang Tidak Dapat Diubah.

Namun metode Collections.unmodifiableXXX ini sangat membosankan dan menggunakan pendekatan verbose. Untuk mengatasi kekurangan tersebut, Oracle corp telah menambahkan beberapa metode utilitas ke antarmuka Daftar, Set, dan Peta.

Sekarang di java 9: ​​- Antarmuka List dan Set memiliki metode "of ()" untuk membuat objek List atau Set yang tidak dapat diubah atau tidak kosong seperti yang ditunjukkan di bawah ini:

Contoh Daftar Kosong

List immutableList = List.of();

Contoh Daftar Tidak Kosong

List immutableList = List.of("one","two","three");

Saya percaya intinya di sini adalah bahwa meskipun koleksi tidak dapat dimodifikasi, itu tidak memastikan bahwa itu tidak dapat diubah. Ambil contoh koleksi yang menggusur elemen jika sudah terlalu tua. Tidak dapat dimodifikasi hanya berarti bahwa objek yang memegang referensi tidak dapat mengubahnya, bukan tidak dapat diubah. Contoh nyata dari ini adalah Collections.unmodifiableListmetode. Ini mengembalikan tampilan Daftar yang tidak dapat dimodifikasi. Referensi daftar yang diteruskan ke metode ini masih dapat dimodifikasi sehingga daftar dapat dimodifikasi oleh pemegang referensi yang diteruskan. Hal ini dapat mengakibatkan ConcurrentModificationExceptions dan hal buruk lainnya.

Tidak dapat diubah, artinya koleksi tidak dapat diubah dengan cara apa pun.

Pertanyaan kedua: Koleksi yang tidak dapat diubah tidak berarti bahwa objek yang terdapat dalam koleksi tidak akan berubah, hanya saja koleksi tersebut tidak akan berubah dalam jumlah dan komposisi objek yang dimilikinya. Dengan kata lain, daftar referensi koleksi tidak akan berubah. Itu tidak berarti bahwa bagian dalam dari objek yang direferensikan tidak dapat berubah.

Pure4J mendukung apa yang Anda kejar, dalam dua cara.

Pertama, ini memberikan @ImmutableValueanotasi, sehingga Anda dapat membuat anotasi kelas untuk mengatakan bahwa itu tidak dapat diubah. Ada plugin maven untuk memungkinkan Anda memeriksa apakah kode Anda benar-benar tidak dapat diubah (penggunaan finaldll.).

Kedua, menyediakan koleksi persisten dari Clojure, (dengan generik tambahan) dan memastikan bahwa elemen yang ditambahkan ke koleksi tidak dapat diubah. Performa tersebut rupanya cukup bagus. Semua koleksi tidak dapat diubah, tetapi menerapkan antarmuka koleksi java (dan generik) untuk diperiksa. Mutasi mengembalikan koleksi baru.

Penafian: Saya pengembang ini