假设我有一个案例类，它代表不同社交网络上的人物。该类的实例是完全不可变的，并保存在不可变的集合中，最终由Akka参与者修改。
现在，我有一个带有许多字段的case类，我收到一条消息，说我必须更新其中一个字段，就像这样:
case class Persona(serviceName : String,
serviceId : String,
sentMessages : Set[String])
// Somewhere deep in an actor
val newPersona = Persona(existingPersona.serviceName,
existingPersona.serviceId,
existingPersona.sentMessages + newMessage)
注意，我必须指定所有字段，即使只有一个字段发生了变化。是否有一种方法来克隆现有的persona并只替换一个字段，而不指定所有不更改的字段?我能把它写成一个trait并在我所有的case类中使用它吗?
如果Persona是一个类似map的实例，这将很容易做到。
从2.8开始，Scala case类有了一个复制方法，它利用命名/默认参数来发挥它的魔力:
val newPersona =
existingPersona.copy(sentMessages = existing.sentMessages + newMessage)
你也可以在Persona上创建一个方法来简化使用:
case class Persona(
svcName : String,
svcId : String,
sentMsgs : Set[String]
) {
def plusMsg(msg: String) = this.copy(sentMsgs = this.sentMsgs + msg)
}
then
val newPersona = existingPersona plusMsg newMsg
考虑在Shapeless library中使用镜头:
import shapeless.lens
case class Persona(serviceName : String,
serviceId : String,
sentMessages : Set[String])
// define the lens
val messageLens = lens[Persona] >> 'sentMessages
val existingPersona = Persona("store", "apple", Set("iPhone"))
// When you need the new copy, by setting the value,
val newPersona1 = messageLens.set(existingPersona)(Set.empty)
// or by other operation based on current value.
val newPersona2 = messageLens.modify(existingPersona)(_ + "iPad")
// Results:
// newPersona1: Persona(store,apple,Set())
// newPersona2: Persona(store,apple,Set(iPhone, iPad))
此外，如果您有嵌套的case类，那么组合getter和setter方法可能有点乏味。这将是一个很好的机会来简化使用镜头库。
请同时参阅:
无形状的Github / Boilerplate-free镜头任意案例类
Quicklens Github
scala透镜
我不想包含一个大的库来做复杂的透镜，让您在嵌套的case类中设置值。事实证明，它只是scalaz库中的几行代码:
/** http://stackoverflow.com/a/5597750/329496 */
case class Lens[A, B](get: A => B, set: (A, B) => A) extends ((A) => B) with Immutable {
def apply(whole: A): B = get(whole)
def mod(a: A, f: B => B) = set(a, f(this (a)))
def compose[C](that: Lens[C, A]) = Lens[C, B](
c => this(that(c)),
(c, b) => that.mod(c, set(_, b))
)
def andThen[C](that: Lens[B, C]) = that compose this
}
然后，您可以创建透镜来设置深度嵌套值，这比使用内置的复制特性容易得多。这里有一个链接到一个大的复杂镜头集，我的库使用它来设置大量嵌套的值。
