有趣的是,没有人添加任何镜头,因为它们是为这种东西而制造的。因此,这是CS的背景资料,这是一个博客,简要介绍了Scala中的镜头使用,这是Scalaz的镜头实现,这是一些使用它的代码,看起来很像您的问题。而且,为了减少样板,这是一个为案例类生成Scalaz镜头的插件。
对于奖励积分,这是另一个涉及镜片的SO问题,以及Tony Morris 的论文。
镜片的重要之处在于它们是可组合的。因此,它们起初有点麻烦,但是随着您使用它们的增多,它们会不断发展。此外,它们还具有很好的可测性,因为您只需要测试单个镜片,并且可以理会它们的成分。
因此,根据此答案结尾处提供的实现,以下是使用镜头进行操作的方法。首先,声明镜片以更改地址中的邮政编码和人中的地址:
val addressZipCodeLens = Lens(
get = (_: Address).zipCode,
set = (addr: Address, zipCode: Int) => addr.copy(zipCode = zipCode))
val personAddressLens = Lens(
get = (_: Person).address,
set = (p: Person, addr: Address) => p.copy(address = addr))
现在,组成它们以获取可以更改人的邮政编码的镜头:
val personZipCodeLens = personAddressLens andThen addressZipCodeLens
最后,使用该镜头更改raj:
val updatedRaj = personZipCodeLens.set(raj, personZipCodeLens.get(raj) + 1)
或者,使用一些语法糖:
val updatedRaj = personZipCodeLens.set(raj, personZipCodeLens(raj) + 1)
甚至:
val updatedRaj = personZipCodeLens.mod(raj, zip => zip + 1)
这是从Scalaz提取的简单实现,用于此示例:
case class Lens[A,B](get: A => B, set: (A,B) => A) extends Function1[A,B] with Immutable {
def apply(whole: A): B = get(whole)
def updated(whole: A, part: B): A = set(whole, part) // like on immutable maps
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
}