Scala：关于将 HList 转换为 List 的无形问题

Question

我是 shapeless 的新手（在 scala 的学习曲线中仍然处于低水平...），我很难使用 shapeless

import shapeless._
case class FooBar[T](foo: String, bar: T)
val hl = 0 :: FooBar("A", "one") :: FooBar("B", 1) :: "0" :: FooBar("C", "two") :: HNil
val l = hl.filter[FooBar[String]].toList
println(l) //List(FooBar(A,one), FooBar(C,two))

效果很好

下一步，我想把它放在函数中，比如

def filter[T](hl: HList): List[FooBar[T]] = ???

所以我可以简化调用

filter[String](hl)
filter[Int](hl)

我天真地测试过

def filter[T](hl: HList): List[FooBar[T]] = {
  hl.filter[FooBar[T]].toList
}

给了

 could not find implicit value for parameter partition: shapeless.ops.hlist.Partition[shapeless.HList,FooBar[T]]

在尝试了一些隐式之后，我仍然没有找到正确的方法

你有什么想法吗？

谢谢！

Answer 1

如果你缺少一些隐式，那么在你的方法中你应该假设它们被提供了。说方法的参数只是HList 类型（而不是一些特定的L <: HList）太粗略了。

由于您可能想指定T 而不是指定L（预计会推断出L）尝试使用类型类+扩展方法

import shapeless._
import shapeless.ops.hlist.{Partition, ToTraversable}

case class FooBar[T](foo: String, bar: T)
val hl = 0 :: FooBar("A", "one") :: FooBar("B", 1) :: "0" :: FooBar("C", "two") :: HNil

trait FilterFooBar[L <: HList, T] {
  def apply(l: L): List[FooBar[T]]
}

object FilterFooBar {
  implicit def mkFilterFooBar[L <: HList, T, Prefix <: HList, Suffix <: HList](implicit
    partition: Partition.Aux[L, FooBar[T], Prefix, Suffix],
    toTraversable: ToTraversable.Aux[Prefix, List, FooBar[T]]
  ): FilterFooBar[L, T] = _.filter.toList    
}

implicit class FilterFooBarOp[L <: HList](l: L) {
  def filterFooBar[T](implicit filterFooBarInstance: FilterFooBar[L, T]): List[FooBar[T]] = 
    filterFooBarInstance(l)
}

println(hl.filterFooBar[String]) // List(FooBar(A,one), FooBar(C,two))
println(hl.filterFooBar[Int]) // List(FooBar(B,1))