scala – 用Shapeless递归地将案例类转换为异构列表的奇怪行为

在这个最小化的版本中,我只是定义一个类型类,它会将案例类递归转换为heterogeneous列表：

import shapeless._

trait DeepHLister[R <: HList] extends DepFn1[R] { type Out <: HList }

trait LowPriorityDeepHLister {
  type Aux[R <: HList,Out0 <: HList] = DeepHLister[R] { type Out = Out0 }

  implicit def headNotCaseClassDeepHLister[H,T <: HList](implicit
    dht: DeepHLister[T]
  ): Aux[H :: T,H :: dht.Out] = new DeepHLister[H :: T] {
    type Out = H :: dht.Out
    def apply(r: H :: T) = r.head :: dht(r.tail)
  }
}

object DeepHLister extends LowPriorityDeepHLister {
  implicit object hnilDeepHLister extends DeepHLister[HNil] {
    type Out = HNil
    def apply(r: HNil) = HNil
  }

  implicit def headCaseClassDeepHLister[H,R <: HList,T <: HList](implicit
    gen: Generic.Aux[H,R],dhh: DeepHLister[R],dht: DeepHLister[T]
  ): Aux[H :: T,dhh.Out :: dht.Out] = new DeepHLister[H :: T] {
    type Out = dhh.Out :: dht.Out
    def apply(r: H :: T) = dhh(gen.to(r.head)) :: dht(r.tail)
  }

  def apply[R <: HList](implicit dh: DeepHLister[R]): Aux[R,dh.Out] = dh
}

让我们试试吧！首先我们需要一些案例类：

case class A(x: Int,y: String)
case class B(x: A,y: A)
case class C(b: B,a: A)
case class D(a: A,b: B)

然后(注意,我已经清理了类型语法,因为这不是一个完全不可读的混乱)：

scala> DeepHLister[A :: HNil]
res0: DeepHLister[A :: HNil]{
  type Out = (Int :: String :: HNil) :: HNil
} = DeepHLister$$anon$2@634bf0bf

scala> DeepHLister[B :: HNil]
res1: DeepHLister[B :: HNil] {
  type Out = (
    (Int :: String :: HNil) :: (Int :: String :: HNil) :: HNil
  ) :: HNil
} = DeepHLister$$anon$2@69d6b3e1

scala> DeepHLister[C :: HNil]
res2: DeepHLister[C :: HNil] {
  type Out = (
    ((Int :: String :: HNil) :: (Int :: String :: HNil) :: HNil) ::
    (Int :: String :: HNil) ::
    HNil
  ) :: HNil
} = DeepHLister$$anon$2@4d062faa

到现在为止还挺好.但是之后：

scala> DeepHLister[D :: HNil]
res3: DeepHLister[D :: HNil] {
  type Out = ((Int :: String :: HNil) :: B :: HNil) :: HNil
} = DeepHLister$$anon$2@5b2ab49a

B没有被转换.如果我们打开-Xlog-implicits,这是最后一条消息：

<console>:25: this.DeepHLister.headCaseClassDeepHLister is not a valid implicit value for DeepHLister[shapeless.::[B,shapeless.HNil]] because:
hasMatchingSymbol reported error: diverging implicit expansion for type DeepHLister[this.Repr]
starting with method headNotCaseClassDeepHLister in trait LowPriorityDeepHLister
              DeepHLister[D :: HNil]
                         ^

这对我来说没有意义 – headCaseClassDeepHLister应该能够生成DeepHLister [B :: HNil]就好了,如果你直接问它.

这种情况发生在2.10.4和2.11.2上,同时使用2.0.0版本和master.我很确定这必须是一个错误,但我并不排除我做错事的可能性.有没有人看到过这样的事情？我的逻辑有什么问题,还是一般限制我错过了？

好的,谢谢你的听力 – 也许现在我可以去读一本书或者一些东西.