Wie man Scalas unveränderliche Sammlungen hält unveränderliche Objekte

Question

Ich bewerte Scala und habe ein Problem mit seinen unveränderlichen Sammlungen.

Ich möchte unveränderliche Sammlungen, die vollständig unveränderlich sind, durch alle enthaltenen Objekte, die Objekte, auf die sie verweisen, ad infinitum machen.

Gibt es eine einfache Möglichkeit, dies zu tun?

Der Code auf http://www.finalcog.com/immutable-containers-scala veranschaulicht, was ich zu erreichen versuche, und eine böse Arbeit (ImmutablePoint).

Das Problem mit der Problemumgehung ist, dass jedes Mal, wenn ich ein Objekt ändern möchte ich manuell eine neue Kopie erstellen muss. Ich verstehe, dass die Laufzeit Copy-on-Write implementieren muss, aber kann dies für den Entwickler transparent gemacht werden?

Ich nehme an, ich mache unwandelbare Objekte, wo Methoden den aktuellen Objektstatus ändern, aber alle anderen 'val' (und alle unveränderlichen Container) Verweise auf das Objekt behalten den 'alten' Status.

Answer 1

Dies ist nicht möglich mit scala über ein bestimmtes Sprachkonstrukt, es sei denn, Sie haben das Idiom alle Ihrer Objekte sind unveränderlich, in diesem Fall kommt dieses Verhalten kostenlos!

Mit 2,8 haben named-Parameter "Copy Constructors" aus Lesbarkeitsgründen recht benutzerfreundlich gemacht. Aber du hast recht, das funktioniert als Copy-on-Write. Das Verhalten, nach dem du fragst, wo das "aktuelle" Objekt das einzige mutierte ist, geht völlig gegen die Art und Weise, wie die JVM funktioniert, leider (für dich)!

Eigentlich macht der Ausdruck "das aktuelle Objekt" keinen Sinn; wirklich meinst du "die aktuelle Referenz"! Alle anderen Referenzen (außerhalb des aktuellen lexikalischen Umfangs), die auf das gleiche Objekt verweisen, äh, zeigen auf das gleiche Objekt! Es gibt nur ein Objekt!

es ist daher einfach nicht möglich, dieses Objekt aus der Sicht des aktuellen lexikalischen Gültigkeitsbereiches änderbar zu sein scheint, aber unveränderlich für andere

Answer 2

Wenn Sie Interesse an etwas mehr allgemeinen Theorie darüber, wie Updates zu unveränderlich zu handhaben Datenstrukturen effizient,

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

könnte interessant erweisen.