Scala 是否有记录更新语法来创建不可变数据结构的修改克隆？

Question

在 Mercury 中，我可以使用：

A = B^some_field := SomeValue

将 A 绑定到 B 的副本，但 some_field 是 SomeValue 而不是 B 中的任何值。我相信 Haskell 的等价物是这样的：

a = b { some_field = some_value }

Scala 是否有类似的东西来“修改”不可变值。另一种选择似乎是有一个构造函数直接设置实例中的每个字段，但这并不总是理想的（如果构造函数应该维护不变量）。另外，如果我必须显式传递我想要修改副本的实例中的所有其他值，那么它会非常笨重且更加脆弱。

我无法通过谷歌搜索找到任何关于此的信息，或者在语言参考手册或“Scala By Example”的简短调查中找不到任何关于此的信息（我已经从头到尾阅读过，但还没有吸收全部内容，所以它可能我们就在那里）。

我可以看到这个功能可能与 Java 风格的访问保护和子类有一些奇怪的交互......

Answer 1

如果将类定义为 case 类，则会生成一个方便的 copy 方法，调用它时您可以使用命名参数为某些字段指定新值。

scala> case class Sample(str: String, int: Int)
defined class Sample

scala> val s = Sample("text", 42)
s: Sample = Sample(text,42)

scala> val s2 = s.copy(str = "newText")
s2: Sample = Sample(newText,42)

它甚至适用于多态案例类：

scala> case class Sample[T](t: T, int: Int)
defined class Sample

scala> val s = Sample("text", 42)
s: Sample[java.lang.String] = Sample(text,42)

scala> val s2 = s.copy(t = List(1,2,3), 42)
s2: Sample[List[Int]] = Sample(List(1, 2, 3),42)

请注意，s2 的类型与 s 不同。

Answer 2

您可以为此使用案例类，但不是必须这样做。案例类并没有什么神奇之处 - 修饰符 case 只是为您节省了大量的打字时间。
复制方法是通过使用命名参数和默认参数来实现的。名称与字段相同，默认值是字段的当前值。这是一个示例：

class ClassWithCopy(val field1:String, val field2:Int) {
    def copy(field1:String = this.field1, field2:Int = this.field2) = {
        new ClassWithCopy(field1,field2);
    }
}

您可以像案例类上的复制方法一样使用它。命名参数和默认参数是一个非常有用的功能，不仅适用于复制方法。

Answer 3

如果您计划修改的对象是案例类，那么您可以使用自动生成的复制方法：

scala> val user = User(2, "Sen")
user: User = User(2,Sen)

scala> val corrected = user.copy(name = "Sean")
corrected: User = User(2,Sean)