创建不可变实例并以惯用的方式修改副本

Question

我想根据该实例外部的信息有条件地创建对象实例的副本。副本中的大部分信息将与原件相同，但某些信息需要更改。此信息在参与者之间传递，因此我需要对象是不可变的，以避免与并发相关的奇怪行为。以下玩具代码是我想要一些帮助的简单示例。

如果我有以下代码：

case class Container(condition:String,amount:Int,ID:Long)

我可以执行以下操作：

    val a = new Container("Hello",10,1234567890)
    println("a = " + a)
    val b = a.copy(amount = -5)
    println("b = " + b)
    println("amount in b is " + b.amount)

并且输出是

a = Container(Hello,10,1234567890)
b = Container(Hello,-5,1234567890)
amount in b is -5

我还可以执行以下操作有条件地创建对象的副本：

import scala.Math._
val max = 3     
val c = if(abs(b.amount) >= max) b.copy(amount = max,condition="Goodbye") else if(abs(b.amount) < max) b.copy(amount = abs(b.amount))
println("c = " + c)

如果我将 b 对象中的数量设置为 -5，则输出是

c = Container(Goodbye,3,1234567890)

并且如果我将 b 对象中的数量设置为 -2，则输出为

c = Container(Hello,2,1234567890)

但是，当我尝试打印出 c.amount 时，编译器会用以下消息标记它

println("amount in c is " + c.amount)

value amount 不是 Any 的成员

如果我将 c 对象创建行更改为

val c:Container = if(abs(b.amount) >= max) b.copy(amount = max,condition="Goodbye") else if(abs(b.amount) < max) b.copy(amount = abs(b.amount))

我收到编译器错误

类型不匹配；找到： 所需单位： 容器

通过复制现有实例并修改一两个值来有条件创建案例类的不可变实例的最佳惯用方法是什么？

谢谢， 布鲁斯

Answer 1

您没有包含最后的 else 子句。因此，c 的类型是 Any——唯一同时是 Container 和 Unit 超类型的类型，其中Unit 是不包含包罗万象的else 子句的结果。如果您尝试通过编写 c: Container = 强制结果类型为 Container，编译器现在会告诉您缺少的 else 子句Unit 中的内容不可分配给 Container。

这样

val c = if (abs(b.amount) >= max) {
  b.copy(amount = max, condition = "Goodbye")
} else if (abs(b.amount) < max) {
  b.copy(amount = abs(b.amount))
} else b // leave untouched !

就有效了。编译器不够聪明，无法弄清楚最后一个 else 子句在逻辑上无法到达（它需要知道 abs 和 >= 和 < 意味着它们是互斥且详尽的，并且 abs 是纯函数式的，b.amount 也是如此）。

换句话说，由于您知道这两个子句是互斥且详尽的，因此您可以简化

val c = if (abs(b.amount) >= max) {
  b.copy(amount = max, condition = "Goodbye")
} else { // i.e. abs(b.amount) < max
  b.copy(amount = abs(b.amount))
}