如何使用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类中成员的名称,则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获得一个特定的密钥,但到目前为止我还没有成功

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,符号文字被隐式转换为a 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

这些不要求您在代码中的任何位置写入成员名称,但如果重新排列成员,则会遇到麻烦.