Scala 从HList中提取FieldType键和值

我想使用以下两种方法提取

HList

头部的键和值：

def getFieldName[K, V](value: FieldType[K, V])(implicit witness: Witness.Aux[K]): K = witness.value
def getFieldValue[K, V](value: FieldType[K, V]): V = value

我尝试了该函数的一些变体，但无法使其工作，我认为这可能是最接近正确的解决方案：

def getFieldNameValue[Key <: Symbol, Value <: AnyRef, Y <: HList, A <: Product](a : A)
                       (implicit 
                        gen : LabelledGeneric.Aux[A, FieldType[Key, Value] :: Y],
                        witness: shapeless.Witness.Aux[Key]) = {
    val aGen = gen.to(a).head
    (getFieldName(aGen), getFieldValue(aGen))
  }

我想这样称呼它：

scala> case class Ex(i: Int, ii: Int)
scala> val ex = Ex(1,2)
scala> getFieldNameValue(ex)
res1: (String, Int) = (i,1)

此变体适用于：

  def getFieldNameValue[A <: Product, Repr <: HList,
                        K <: Symbol, V, T <: HList](a: A)(implicit 
    gen: LabelledGeneric.Aux[A, Repr],
    ev: Repr <:< (FieldType[K, V] :: T),
    witness: Witness.Aux[K]): (String, V) = {
    val record: Repr = gen.to(a)
    (witness.value.name, record.head)
  }

  getFieldNameValue(ex) // (i,1)

---

def getFieldNameValue[非常感谢。效果非常好。你能解释一下什么
ev:Repr@jamborta
ev:X吗
  def getFieldNameValue[A <: Product, Repr <: HList,
                        K <: Symbol, V, T <: HList](a: A)(implicit 
    gen: LabelledGeneric.Aux[A, Repr],
    ev: Repr <:< (FieldType[K, V] :: T),
    witness: Witness.Aux[K]): (String, V) = {
    val record: Repr = gen.to(a)
    (witness.value.name, record.head)
  }

  getFieldNameValue(ex) // (i,1)