Cách tạo các bộ sưu tập bất biến của Scala giữ các vật thể bất biến

Question

Tôi đang đánh giá Scala và đang gặp vấn đề với các bộ sưu tập không thể thay đổi của nó.

Tôi muốn tạo các bộ sưu tập bất biến, hoàn toàn không thay đổi được, phải qua tất cả các đối tượng chứa, đối tượng mà chúng tham chiếu, quảng cáo vô hạn.

Có cách nào đơn giản để thực hiện việc này không?

Mã trên http://www.finalcog.com/immutable-containers-scala minh họa những gì tôi đang cố gắng đạt được và một công việc khó chịu xung quanh (ImmutablePoint).

Sự cố với giải pháp thay thế là mỗi lần tôi muốn thay đổi đối tượng, tôi phải tạo bản sao mới theo cách thủ công. Tôi hiểu rằng thời gian chạy sẽ phải thực hiện copy-on-write, nhưng điều này có thể được thực hiện trong suốt đối với nhà phát triển không?

Tôi cho rằng tôi đang tìm cách tạo các đối tượng bất biến, nơi mà các phương thức thay đổi trạng thái đối tượng hiện tại, nhưng tất cả các tham chiếu 'val' khác (và tất cả không thay đổi) đối tượng vẫn giữ trạng thái 'cũ'.

Answer 1

Điều này không thể xảy ra với scala thông qua một số ngôn ngữ cụ thể, trừ khi bạn đã tuân theo thành ngữ tất cả đối tượng của bạn là không thay đổi, trong trường hợp này, hành vi này miễn phí!

Với 2,8, các tham số được đặt tên đã làm cho "các nhà xây dựng sao chép" khá tốt đẹp để sử dụng, từ một góc độ dễ đọc. Nhưng bạn là chính xác, điều này hoạt động như copy-on-write. Hành vi mà bạn đang yêu cầu, nơi đối tượng "hiện tại" là đối tượng duy nhất bị đột biến hoàn toàn ngược lại với cách mà JVM hoạt động, rất tiếc (đối với bạn)!

Thực tế cụm từ "đối tượng hiện tại" không có ý nghĩa; thực sự bạn có nghĩa là "hiện tại tham chiếu"! Tất cả các tham chiếu khác (ngoài phạm vi từ vựng hiện tại) trỏ đến cùng một đối tượng, erm, trỏ đến cùng một đối tượng! Chỉ có một đối tượng!

Do đó nó chỉ là không thể cho đối tượng này xuất hiện là có thể thay đổi từ quan điểm của phạm vi từ vựng hiện tại nhưng không thể thay đổi cho người khác

Answer 2

Nếu bạn quan tâm đến một số lý thuyết tổng quát hơn về cách xử lý thông tin cập nhật đến bất biến cấu trúc dữ liệu hiệu quả,

http://en.wikipedia.org/wiki/Zipper_%28data_structure%29

có thể chứng minh điều thú vị.