Question

我正在尝试描述案例类包含的类型。

import shapeless._
import shapeless.ops.hlist.LiftAll

trait Desc[T] {
  def description: String
}

case class Foo(f: Int)
object Foo {
  implicit val description: Desc[Foo] = new Desc[Foo] { val description = "foo" }
}

case class SomeCaseClass(f: Foo)

val gen = Generic[SomeCaseClass]
val lifted = implicitly[LiftAll[Desc, gen.Repr]].instances.toList

给我

could not find implicit value for parameter toTraversableAux: shapeless.ops.hlist.ToTraversable.Aux[shapeless.ops.hlist.LiftAll[Playground.this.Desc,Playground.this.gen.Repr]#Out,List,Lub]
not enough arguments for method toList: (implicit toTraversableAux: shapeless.ops.hlist.ToTraversable.Aux[shapeless.ops.hlist.LiftAll[Playground.this.Desc,Playground.this.gen.Repr]#Out,List,Lub])toTraversableAux.Out.
Unspecified value parameter toTraversableAux.

Scastie：https://scastie.scala-lang.org/bXu71pMQQzCqrrsahVBkWA

Answer 1

当您使用implicitly[LiftAll[Desc, gen.Repr]]召唤隐式实例时，Out的依赖类型LiftAll将丢失，因此编译器无法确切知道哪个类型instances将返回

要解决此问题，Shapeless中的大多数类型类在其伴随对象中定义apply方法，该方法会保留所有相关类型信息。这是您在调用gen.Repr后以有意义的方式使用val gen = Generic[SomeCaseClass]的原因。出于某种原因，LiftAll.apply为not implemented in this way。因此，您可以选择实施自己的implicitly，或者因为您无论如何都在使用Shapeless，请使用the，这应该是更好的implicitly。

scala> def impl[T <: AnyRef](implicit ev: T): ev.type = ev
impl: [T <: AnyRef](implicit ev: T)ev.type

scala> impl[LiftAll[Desc, gen.Repr]].instances.toList
res1: List[Desc[Foo]] = List(Foo$$anon$1@40b3708a)

scala> the[LiftAll[Desc, gen.Repr]].instances.toList
res2: List[Desc[Foo]] = List(Foo$$anon$1@40b3708a)

您可以在REPL显示的推断类型中看到差异：

scala> impl[LiftAll[Desc, gen.Repr]]
res3: LiftAll.Aux[Desc,Foo :: HNil,Desc[Foo] :: HNil] = shapeless.ops.hlist$LiftAll$$anon$206@384d060c

scala> implicitly[LiftAll[Desc, gen.Repr]]
res4: LiftAll[Desc,gen.Repr] = shapeless.ops.hlist$LiftAll$$anon$206@30787774

通过LiftAll收集实例

1 个答案: