scala - 如何将通用 HList 转换为列表

Question

我有这些:

trait A[T]
class X
class Y

object B {
   def method[H :< HList](h: H) = h.toList[A[_]]
}

参数 h的 method将始终是 A[T] 的 HList，例如 new A[X]::new A[Y]::HNil。

我想将 HList 转换为 List[A[_]]。

我怎样才能用通用代码得到这个，因为 trait HList 没有 toList 方法()？

Answer 1

编译器错误应该告诉你一些关于想要类型 shapeless.ops.hlist.ToList[H, A[_]] 的隐式值的信息。 .您可以通过向方法签名添加隐式参数列表来提供其中之一:

object B {
  def method[H <: HList](h: H)(implicit ev: ToList[H, A[_]]) = h.toList[A[_]]
}

现在您可以编写以下内容:

val someAs = new A[Int] {} :: new A[String] {} :: HNil

进而:

scala> B.method(someAs)
res0: List[A[_]] = List($anon$1@5dd508ef, $anon$2@4d3db309)

几乎所有对 HList 的操作将需要这种隐性证据。