0

使用Monocle我可以定义一个镜头来毫无问题地读取案例类成员，

    val md5Lens = GenLens[Message](_.md5)

这可以用来比较md5两个对象之间的值，并在值不同时失败并显示包含字段名称的错误消息。

有没有一种方法可以单独生成一个用户友好的字符串来Lens识别镜头正在读取的字段？我想避免明确提供字段名称

    val md5LensAndName = (GenLens[Message](_.md5), "md5")

如果有一种解决方案也适用于具有多个组件的镜头，那就更好了。对我来说，即使解决方案只工作到一个深度也很好。

4

1 回答 1

1

这基本上是不可能的。从概念上讲，镜头无非是一对函数：一个从对象中获取值，一个使用给定值获取新对象。这些功能可以通过访问或不访问源对象的字段来实现。事实上，即使是GenLens宏也可以使用链式字段访问器_.field1.field2来生成复合镜头到嵌套对象的字段。起初这可能会令人困惑，但此功能有其用途。例如，您可以解耦数据存储和表示的格式：

import monocle._

case class Person private(value: String) {

  import Person._

  private def replace(
    array: Array[String], index: Int, item: String
  ): Array[String] = {
    val copy = Array.ofDim[String](array.length)
    array.copyToArray(copy)
    copy(index) = item
    copy
  }

  def replaceItem(index: Int, item: String): Person = {
    val array = value.split(delimiter)
    val newArray = replace(array, index, item)
    val newValue = newArray.mkString(delimiter)
    Person(newValue)
  }

  def getItem(index: Int): String = {
    val array = value.split(delimiter)
    array(index)
  }
}

object Person {

  private val delimiter: String = ";"

  val nameIndex: Int = 0

  val cityIndex: Int = 1

  def apply(name: String, address: String): Person =
    Person(Array(name, address).mkString(delimiter))
}

val name: Lens[Person, String] =
  Lens[Person, String](
    _.getItem(Person.nameIndex)
  )(
    name => person => person.replaceItem(Person.nameIndex, name)
  )

val city: Lens[Person, String] =
  Lens[Person, String](
    _.getItem(Person.cityIndex)
  )(
    city => person => person.replaceItem(Person.cityIndex, city)
  )

val person = Person("John", "London")
val personAfterMove = city.set("New York")(person)
println(name.get(personAfterMove)) // John
println(city.get(personAfterMove)) // New York

虽然性能不是很好，但该示例说明了这个想法：Person类没有cityoraddress字段，但是通过将数据提取器和字符串重建函数包装到Lens中，我们可以假装它具有它们。对于更复杂的物体，镜头合成照常工作：内部镜头仅对提取的对象进行操作，依靠外部镜头将其打包回来。

于 2017-06-09T11:49:28.833 回答