scala - 如何在编译时使用 shapeless 将 case 类字段的名称作为字符串/符号获取？

Question

我想在编译时以某种方式获得 val 中 case 类的字段的名称(可能是单例类型的字符串或符号？)。

类似于以下内容:

import shapeless._
case class MyClass(field1: String, field2: Int)
val field1Lens = lens[MyClass] >> 'field1 
// val name = field1Lens.name // it should be "field1", aka 'field1.name

我不一定要使用镜头，任何有效的技术都可以(使用 LabelledGeneric ？)。我想要一些东西，我可以在不单独指定的情况下获取案例类字段的名称。这样，如果我重构 field1 的名称类(class)成员， name相应地改变。

当然，以下不起作用，因为宏在编译时不知道符号的名称:

val name = 'field1
val field1Lens = lens[MyClass] >> name // can't possibly work

我试过 lens[MyClass] >> name.narrow但它也不起作用

这就是我目前正在做的事情，当然我不喜欢它:

// If I change the name of the field, compilation fails 
// and I'm forced to check this line of code so I can change the string in the line below
protected val fieldNameCheck = lens[X].someField
val someField = "someField"

编辑:好的，我看了一下 gabriele的问题，并使用 Keys我能够得到一个包含记录的(标记的)键的 HList。
我需要的是获取一个特定字段，而不是包含所有字段的列表。

我正在尝试使用 select获得特定的 key ，但到目前为止我还没有成功

import shapeless._
import shapeless.syntax.singleton._
import shapeless.ops.record._

case class Foo(bar: String, baz: Boolean)
val labl = LabelledGeneric[Foo]
val keys = Keys[labl.Repr].apply

// the following doesn't work
// val bar = 'bar.narrow
// keys.select[bar.type]
// keys.get('bar)

Answer 1

>> 的参数是 Witness将成员名称捕获为编译时符号。当你写 >> 'bar ，符号文字被隐式转换为 Witness ，这通常是你想要的，但你也可以自己提供一个:

scala> case class Foo(bar: String, baz: Boolean)
defined class Foo

scala> val barKey = shapeless.Witness('bar)
barKey: shapeless.Witness.Aux[shapeless.tag.@@[Symbol,String("bar")]] = ...

scala> shapeless.lens[Foo] >> barKey
res0: shapeless.Lens[Foo,String] = shapeless.Lens$$anon$7@344bfb60

正如我在上面的评论中提到的，您可能还对位置选择器感兴趣:

scala> shapeless.lens[Foo] >> shapeless.nat._1
res1: shapeless.Lens[Foo,Boolean] = shapeless.Lens$$anon$7@16e9d434

或者甚至只是:

scala> shapeless.lens[Foo] >> 1
res2: shapeless.Lens[Foo,Boolean] = shapeless.Lens$$anon$7@4be29007

这些不需要您在代码中的任何位置写入成员名称，尽管如果您重新排列成员会遇到麻烦。