scala - 如何让 Scala 的不可变集合保存不可变对象(immutable对象)

Question

我正在评估 Scala，但它的不可变集合存在问题。

我想制作不可变的集合，它们是完全不可变的，一直贯穿所有包含的对象，它们引用的对象，无穷无尽。

有没有一种简单的方法可以做到这一点？

http://www.finalcog.com/immutable-containers-scala上的代码说明了我想要实现的目标，以及一个令人讨厌的工作(ImmutablePoint)。

解决方法的问题是，每次我想更改一个对象时，我都必须手动制作一个新副本。我知道运行时必须实现写时复制，但这可以对开发人员透明吗？

我想我正在寻找不可变对象(immutable对象)，其中方法更改当前对象状态，但对对象的所有其他“val”(和所有不可变容器)引用都保留“旧”状态。

Answer 1

除非您遵循所有对象都是不可变的习惯用法，否则通过某些特定的语言结构，这是不可能使用 scala 开箱即用的，在这种情况下，这种行为是免费的!

从可读性的角度来看，在 2.8 中，命名参数使“复制构造函数”非常好用。但你是对的，这就像写时复制。您要求的行为，其中“当前”对象是唯一一个发生突变的行为，这完全违背了 JVM 的工作方式，不幸的是(对您而言)!

实际上，“当前对象”这个短语毫无意义；真的你的意思是“当前引用”!所有其他指向同一个对象的引用(在当前词法范围之外)，erm，指向同一个对象! 只有一个对象 !

因此，从当前词法范围的角度来看，这个对象不可能看起来是可变的，但对其他人来说是不可变的