Comment extraire génériquement des noms de champs avec Shapeless?

Question

Étant donné une affaire classe A je peux extraire ses noms de champs avec Shapeless en utilisant l'extrait suivant:

val fieldNames: List[String] = { 
    import shapeless._ 
    import shapeless.ops.record.Keys 

    val gen = LabelledGeneric[A] 
    val keys = Keys[gen.Repr].apply 
    keys.toList.map(_.name) 
} 

Cela fonctionne tout bien, mais comment puis-je mettre en œuvre cela d'une manière plus générale, pour que je puisse utiliser commodément cette technique pour des classes arbitraires, comme

val fields: List[String] = fieldNames[AnyCaseClass] 

Y at-il une bibliothèque qui fait déjà cela pour moi?

Answer 1

Quelque chose comme cela peut-être, version légèrement modifiée de this example:

import shapeless._ 
import shapeless.ops.record._ 
import shapeless.ops.hlist.ToTraversable 

trait FieldNames[T] { 
    def apply(): List[String] 
} 

implicit def toNames[T, Repr <: HList, KeysRepr <: HList](
    implicit gen: LabelledGeneric.Aux[T, Repr], 
    keys: Keys.Aux[Repr, KeysRepr], 
    traversable: ToTraversable.Aux[KeysRepr, List, Symbol] 
): FieldNames[T] = new FieldNames[T] { 
    def apply() = keys().toList.map(_.name) 
} 

def fieldNames[T](implicit h : FieldNames[T]) = h()