4

我知道不变性并不总是圣杯。但是,由于我现在学习 Scala 已经有一段时间了,所以我总是首先尝试找到一个不可变的解决方案,尤其是在涉及纯“数据对象”时。我目前正在寻找一种为给定场景创建不可变对象图的方法,但我不确定这是否可能。

我只想创建一次图形,创建不需要更改。

想象以下场景:

  • 只有一种类型:Person.
  • Person对象可以有两种类型的引用:
    • PersonPerson 和潜在的孩子(也是类型)之间存在单向的 1-n 关系。
    • 此外,妻子有丈夫,反之亦然

第一个问题是两个配偶之间的关系是循环的。因为设置引用会产生新对象(由于不变性),所以最终配偶 A 指向配偶 B_old,而配偶 B 指向配偶 A_old。另一个帖子中有人说循环引用和不变性是矛盾的。我认为这并不总是正确的,因为配偶 A 可以在自己的构造函数中创建配偶 B 并通过this- 但即使使用这种不舒服的方法,之后添加子引用也会再次更改 A 和 B。反过来——从孩子开始,然后联系配偶——会导致类似的情况。

目前,我认为没有办法做到这一点。但也许我错了,有一些我不知道的模式或解决方法。如果不是,可变性是唯一的解决方案吗?

4

2 回答 2

4

我可以想象一些技巧如何创建不可变循环,包括但不限于:

  • 私有可变类,从外部实际上是不可变的
  • 反射

但我最喜欢的一个(它是真正的 scala 方式)是仔细混合惰性求值和按名称参数:

object DeferredCycle extends App {

  class C(val name:String, _child: => C) {
    lazy val child = _child
    override def toString: String = name + "->" + child.name
  }

  val a:C = new C("A", b)
  val b:C = new C("B", a)

  println(a)
  println(b)
}

印刷:

A->B
B->A
于 2015-10-22T22:50:55.387 回答
2

要添加另一个视角,您不必总是将关系建模为包含。您可以添加另一个间接级别,例如不透明的标识符。

case class PersonId(id: Int)
case class Person(id: PersonId, name: String, spouse: Option[PersonId], children: Seq[PersonId])

val people: Map[PersonId, Person] = ...

或者,关系甚至不需要是 的成员Person,它们也可以在外部维护:

case class PersonId(id: Int)
case class Person(id: PersonId, name: String)

val people: Map[PersonId, Person] = ...
val spouses: Map[PersonId, PersonId] = ...
val children: Map[PersonId, Seq[PersonId]] = ...
于 2015-10-23T01:30:08.420 回答