Shapeless：使用 Record 批量更新

Question

我需要在没有所有 copy 代码的情况下修改案例 class 的多个字段。看起来 shapeless 是个不错的选择。

根据 example，我可以使用 lens 这种形式：

lensA ~ lensB ~ lensC set(something)(valA, valB, valC)

这很好。然而，就我而言，嵌套字段不是我最关心的问题（我相信它会 :-< ）。所以 lens 解决方案与：

几乎相同

something.copy(a = valA, b = valB, c = valC)

我想指出的一件事是，并非所有的修改都必然发生。在我的伪案例中，我可能会根据上下文中的某些 if/else 更新所有 a,b,c 或其中的一些，或 none。

因此，Record这种用法正是我所需要的：

someHList + ('a ->> valA) + ('b ->> valB) + ('c ->> valC)

甚至最终：

Seq(
  'a ->> valA, 
  'b ->> valB,
  'c ->> valC
).fold(someHList)(_ + _)

根据我的编译器这是不可能的（产生类型不匹配错误）。

我知道这种用法只存在于我的想象中，没有文档。但是，我真的很感激使用 Record 或 lens 或其他任何方法来解决我的问题的正确方法。也欢迎任何其他优雅的方式！

谢谢！

Answer 1

已经有update single field operation + via the Updater operation provider and only thing you need is to apply it via some fold operation

所以你可以写

import shapeless._
import shapeless.ops.hlist.LeftFolder
import shapeless.ops.record.Updater
import syntax.singleton._
import record._

object updateAll extends Poly2 {
  implicit def updateOne[L <: HList, F](implicit update: Updater[L, F]) = at[L, F]((l, f) => update(l, f))
}

implicit class UpdateAllOps[L <: HList](record: L) {
  def ++>[U <: HList](updates: U)(implicit fl: LeftFolder[U, L, updateAll.type]): fl.Out =
    fl(updates, record)
}

现在

val rec = 'x ->> "Old" :: 'y ->> 1 :: HNil
val upd = 'z ->> true :: 'x ->> "New" :: HNil

您可以验证

rec ++> upd

与

相同

'x ->> "New" :: 'y ->> 1 :: 'z ->> true :: HNil

但重要的是

val str = "New".asInstanceOf[String with Serializable]
rec ++> ('x ->> str :: HNil)

将导致类似于

'x ->> "Old" :: y ->> 1 :: 'x -> "New" :: HNil

所以你应该非常小心你的类型，除非你定义你自己的替代 Updater

Shapeless：使用 Record 批量更新

Shapeless: batch update using Record

scala

shapeless

case-class