6

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

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

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

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

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

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

4

2 回答 2

9

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

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

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

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

于 2010-02-07T12:03:10.123 回答
2

如果您对有关如何有效处理不可变数据结构更新的更一般的理论感兴趣,

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

可能会很有趣。

于 2010-02-08T02:13:13.337 回答