ケースレットフィールドの名前を文字列/シンボルとして取得するには、シェイプレスを使用してコンパイル時に？

Question

私は何とかコンパイル時に、caseクラスのフィールドの名前をval（おそらくシングルトン型の文字列かシンボルか）で取得したいと考えています。次のような

何か：

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" 

編集：[OK]を、私はgabrieleの質問を見た、と0を使用して、レコードの（タグ付き）キーを含むHListを取得できます。 私が必要とするのは、特定のフィールドを1つだけ取得することです。すべてのフィールドを含むリストではありません。

私は特定のキーを取得するためにselectを使用しようとしているが、私は、[OK]をこれまでのところ、私はそれが働いてしまったトラヴィスのコメントのおかげ

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 

これらは、メンバーNAを書くためにあなたを必要としません私はあなたのコードのどこにでもいますが、メンバーを再配置すると問題に陥ります。

Answer 2

を成功していない：

import shapeless._ 
case class MyClass(field1: String, field2: Int) 

def fieldName[A](fieldKey: Witness.Lt[_ <: Symbol])(implicit mkl: MkFieldLens[A, fieldKey.T]) = { 
    lens[A] >> fieldKey 
    fieldKey.value.name 
} 

println(fieldName[MyClass]('field1))